Skip to content

Change license and add soundness checks #12

Change license and add soundness checks

Change license and add soundness checks #12

Triggered via pull request April 22, 2024 15:13
Status Cancelled
Total duration 1m 32s
Artifacts

ci.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

6 errors
soundness
Canceling since a higher priority waiting request for 'CI-refs/pull/13/merge' exists
soundness
The operation was canceled.
tests
Canceling since a higher priority waiting request for 'CI-refs/pull/13/merge' exists
tests
The operation was canceled.
api-breakage
Canceling since a higher priority waiting request for 'CI-refs/pull/13/merge' exists
api-breakage
The operation was canceled.