Fix some bugs and improve the handling of copyable symbolic values with borrows #1694
sonmarchoci.yml
on: pull_request
diff_lean_files
0s
nix
0s
charon-pin-is-forward
0s
charon-pin-is-merged
0s
userdocs
0s
lean
0s
Annotations
7 errors
|
diff_lean_files
Canceling since a higher priority waiting request for '.github/workflows/ci.yml-414' exists
|
|
userdocs
Canceling since a higher priority waiting request for '.github/workflows/ci.yml-414' exists
|
|
nix
Canceling since a higher priority waiting request for '.github/workflows/ci.yml-414' exists
|
|
charon-pin-is-merged
Canceling since a higher priority waiting request for '.github/workflows/ci.yml-414' exists
|
|
charon-pin-is-merged
The operation was canceled.
|
|
charon-pin-is-forward
Canceling since a higher priority waiting request for '.github/workflows/ci.yml-414' exists
|
|
charon-pin-is-forward
The operation was canceled.
|