Merge pull request #3553 from mtzguido/github_errs #112
github-merge-queue[bot]ci.yml
on: push
build
/
build
19m 49s
nix
/
fstar-nix
18m 0s
stale-hints
/
check_stale_hints
8s
Matrix: tests / binary-smoke
Matrix: tests / ocaml-smoke
tests
/
check-stage3
6m 5s
tests
/
test-local
16m 3s
tests
/
perf-canaries
16s
ciok
0s
Annotations
7 warnings and 7 notices
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
fstar-repo
|
311 MB |
|
|
fstar-src.tar.gz
|
4.97 MB |
|
|
fstar.tar.gz
|
137 MB |
|