Add more tests for the ADTs with borrows #1539
sonmarchoci.yml
on: push
check_if_skip_duplicate_job
6s
charon-pin-is-forward
18s
charon-pin-is-merged
42s
userdocs
4s
Annotations
3 errors and 1 warning
|
charon-pin-is-forward
Process completed with exit code 1.
|
|
lean
The run was canceled by @github-actions[bot].
|
|
lean
The operation was canceled.
|
|
charon-pin-is-forward
This job failure may be caused by using an out of date self-hosted runner. You are currently using runner version 2.320.0. Please update to the latest version 2.321.0
|