Skip to content
Test

additional simplifications to avoid spurious branching on select result #1298

Sign in to view logs

additional simplifications to avoid spurious branching on select result

additional simplifications to avoid spurious branching on select result #1298

Triggered via pull request June 24, 2024 12:24
@jbertholdjberthold
synchronize #158
jb/avoid-if-then-else-on-valstack
Status Cancelled
Total duration 1m 27s
Artifacts –

test.yml

on: pull_request
Code Quality Checks
1m 11s
Code Quality Checks
Version Bump
8s
Version Bump
Kmxwasm integration tests
0s
Kmxwasm integration tests
Kmxwasm booster tests
0s
Kmxwasm booster tests
Kasmer claim generation tests
0s
Kasmer claim generation tests
Build and Test lemmas
0s
Build and Test lemmas
Smoke tests
0s
Smoke tests
Matrix: Nix
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 1 warning
Code Quality Checks
Canceling since a higher priority waiting request for 'Test-refs/pull/158/merge' exists
Code Quality Checks
The operation was canceled.
Version Bump
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.