Skip to content
Test Workspace

hax-lib: introduce a Prop abstraction #3901

Sign in to view logs

hax-lib: introduce a Prop abstraction

hax-lib: introduce a Prop abstraction #3901

Triggered via pull request February 14, 2025 17:52
@karthikbhargavankarthikbhargavan
synchronize #1301
prop-predicates
Status Cancelled
Total duration 32s
Artifacts –

test.yml

on: pull_request
no-std-lib
12s
no-std-lib
Matrix: test-workspace
Fit to window
Zoom out
Zoom in

Annotations

8 errors
no-std-lib
Canceling since a higher priority waiting request for 'Test Workspace-refs/pull/1301/merge' exists
no-std-lib
The operation was canceled.
test-workspace (windows-latest)
Canceling since a higher priority waiting request for 'Test Workspace-refs/pull/1301/merge' exists
test-workspace (windows-latest)
The operation was canceled.
test-workspace (ubuntu-latest)
Canceling since a higher priority waiting request for 'Test Workspace-refs/pull/1301/merge' exists
test-workspace (ubuntu-latest)
The operation was canceled.
test-workspace (macos-latest)
Canceling since a higher priority waiting request for 'Test Workspace-refs/pull/1301/merge' exists
test-workspace (macos-latest)
The operation was canceled.