Skip to content

Change license and add soundness checks #20

Change license and add soundness checks

Change license and add soundness checks #20

Triggered via pull request April 22, 2024 16:17
Status Cancelled
Total duration 4m 7s
Artifacts

ci.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

4 errors
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.