Run dune from the crate root to regenerate .opam files #1570
Triggered via pull request
October 31, 2024 16:17
Nadrieril
Status
Cancelled
Total duration
9m 12s
Artifacts
–
ci.yml
on: pull_request
check_if_skip_duplicate_job
0s
check-version-number
0s
aeneas
0s
kyber
0s
Annotations
2 errors
|
check_if_skip_duplicate_job
The run was canceled by @Nadrieril.
|
|
check-version-number
The run was canceled by @Nadrieril.
|