Option --extra-module for including lemmas modules dynamically in kontrol prove
#5068
Triggered via pull request
November 27, 2024 14:03
palinatolmach
Status
Failure
Total duration
36m 42s
Artifacts
–
test-pr.yml
on: pull_request
Code Quality Checks
3m 9s
Unit Tests
3m 4s
CSE Tests
33m 16s
End to End Sanity Tests
12m 4s
Docker Tests
12m 21s
Matrix: Integration Tests
Matrix: Nix Tests
Matrix: Profiling
Annotations
3 errors
|
Integration Tests (booster)
The runner has received a shutdown signal. This can happen when the runner service is stopped, or a manually started runner is canceled.
|
|
Integration Tests (booster)
Process completed with exit code 137.
|
|
Integration Tests (booster)
The operation was canceled.
|