Skip to content
Test

run booster with --no-fallback-simplify --no-post-exec-simplify #1412

Sign in to view logs

run booster with --no-fallback-simplify --no-post-exec-simplify

run booster with --no-fallback-simplify --no-post-exec-simplify #1412

Triggered via pull request July 30, 2024 06:44
@jbertholdjberthold
opened #179
HOTFIX-add-booster-no-simplify-options
Status Cancelled
Total duration 25s
Artifacts –

test.yml

on: pull_request
Code Quality Checks
10s
Code Quality Checks
Version Bump
7s
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
Code Quality Checks
Canceling since a higher priority waiting request for 'Test-refs/pull/179/merge' exists
Code Quality Checks
The operation was canceled.