Skip to content

Change license and add soundness checks #18

Change license and add soundness checks

Change license and add soundness checks #18

Triggered via pull request April 22, 2024 16:00
Status Cancelled
Total duration 16m 29s
Artifacts

ci.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

3 errors
soundness
Process completed with exit code 100.
tests
Canceling since a higher priority waiting request for 'CI-refs/pull/13/merge' exists
tests
The operation was canceled.