Skip to content
Test PR

Option --extra-module for including lemmas modules dynamically in kontrol prove #5050

Sign in to view logs

Option --extra-module for including lemmas modules dynamically in kontrol prove

Option --extra-module for including lemmas modules dynamically in kontrol prove #5050

Triggered via pull request November 21, 2024 13:48
@palinatolmachpalinatolmach
synchronize #883
lemmas-in-prove
Status Failure
Total duration 3m 10s
Artifacts –

test-pr.yml

on: pull_request
Code Quality Checks
2m 55s
Code Quality Checks
Unit Tests
0s
Unit Tests
CSE Tests
0s
CSE Tests
End to End Sanity Tests
0s
End to End Sanity Tests
Docker Tests
0s
Docker Tests
Matrix: Integration Tests
Matrix: Nix Tests
Matrix: Profiling
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
Code Quality Checks
Process completed with exit code 2.
Code Quality Checks
The following actions use a deprecated Node.js version and will be forced to run on node20: Gr1N/setup-poetry@v8. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/