Make bison parser enabled by default #3117
Triggered via pull request
October 17, 2023 18:21
rv-jenkins
Status
Failure
Total duration
2h 54m 34s
Artifacts
1
test-pr.yml
on: pull_request
Version Sync
2m 14s
K Tests
27m 10s
Matrix: Nix flake
Performace Tests
1h 58m
Annotations
3 errors
|
Nix flake (MacM1, self-macos-12)
Process completed with exit code 1.
|
|
K Tests
Process completed with exit code 1.
|
|
Performace Tests
Process completed with exit code 2.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
kframework.deb
Expired
|
140 MB |
|