Update dependency: deps/hs-backend-booster_release #3807
Triggered via pull request
December 11, 2023 12:24
rv-jenkins
Status
Failure
Total duration
1h 12m 42s
Artifacts
1
test-pr.yml
on: pull_request
Version Sync
10s
Matrix: Nix flake
K Tests
57m 43s
Performance Tests
5m 26s
Annotations
1 error
|
Performance Tests
Process completed with exit code 2.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
kframework.deb
Expired
|
157 MB |
|