Skip to content
Test PR

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

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 #5018

Triggered via pull request November 12, 2024 06:24
@ehildenbehildenb
opened #883
lemmas-in-prove
Status Failure
Total duration 3m 20s
Artifacts –

test-pr.yml

on: pull_request
Code Quality Checks
3m 5s
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/