Adding msys2-based windows workflow #523
Triggered via pull request
January 15, 2025 07:52
pthierry-ledger
Status
Cancelled
Total duration
6m 12s
Artifacts
–
Annotations
2 errors
|
run_framac
Canceling since a higher priority waiting request for 'Sentry kernel proof with Frama-C-refs/pull/118/merge' exists
|
|
run_framac
The operation was canceled.
|