fix(engine/fstar): fix c_trait_goal and always use it for traits
#2373
W95Psptest.yml
on: pull_request
no-std-lib
31s
Matrix: test-workspace
Annotations
6 errors
|
test-workspace (ubuntu-latest)
Canceling since a higher priority waiting request for 'Test Workspace-refs/pull/738/merge' exists
|
|
test-workspace (ubuntu-latest)
The operation was canceled.
|
|
test-workspace (windows-latest)
Canceling since a higher priority waiting request for 'Test Workspace-refs/pull/738/merge' exists
|
|
test-workspace (windows-latest)
The operation was canceled.
|
|
test-workspace (macos-latest)
Canceling since a higher priority waiting request for 'Test Workspace-refs/pull/738/merge' exists
|
|
test-workspace (macos-latest)
The operation was canceled.
|