GITHUB_WORKSPACE? #39
mtzguidoci.yml
on: push
build
/
build
2s
nix
/
fstar-nix
0s
tests
/
check-stage3
tests
/
perf-canaries
tests
/
test-local
Matrix: tests / binary-smoke
Waiting for pending jobs
Matrix: tests / ocaml-smoke
Waiting for pending jobs
Annotations
4 errors
|
build / build
The run was canceled by @mtzguido.
|
|
build / build
A task was canceled.
|
|
nix / fstar-nix
The run was canceled by @mtzguido.
|
|
nix / fstar-nix
A task was canceled.
|