Erase functions to functions instead of unit. #2
gebnerci.yml
on: push
build
29m 49s
check-stage3-diff
14m 55s
friends
/
test-krml
4m 0s
friends
/
comparse
0s
friends
/
dy-star
0s
friends
/
mls-star
0s
friends
/
test-pulse
17m 29s
friends
/
test-steel
0s
friends
/
test-hacl
6m 27s
friends
/
test-everparse
0s
friends
/
test-merkle-tree
0s
friends
/
test-mitls-fstar
0s
Annotations
7 errors and 7 notices
|
friends / fstar-nix
Process completed with exit code 1.
|
|
friends / build-steel
The process '/usr/bin/git' failed with exit code 1
|
|
friends / build-everparse
The process '/usr/bin/git' failed with exit code 1
|
|
friends / test-krml
Process completed with exit code 2.
|
|
friends / test-pulse
Process completed with exit code 2.
|
|
friends / build-merkle-tree
The process '/usr/bin/git' failed with exit code 1
|
|
friends / test-hacl
Process completed with exit code 2.
|
|
perf-canaries:
DEFS_100#L1
time = 0.15
|
|
perf-canaries:
DEFS_200#L1
time = 0.17
|
|
perf-canaries:
DEFS_400#L1
time = 0.20
|
|
perf-canaries:
DEFS_800#L1
time = 0.25
|
|
perf-canaries:
DEFS_1600#L1
time = 0.47
|
|
perf-canaries:
DEFS_3200#L1
time = 1.11
|
|
perf-canaries:
DEFS_6400#L1
time = 3.34
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
fstar-ci-src.tar.gz
Expired
|
7.5 MB |
|
|
fstar-ci-stage1-src.tar.gz
Expired
|
7.5 MB |
|
|
fstar-ci-stage1.tar.gz
Expired
|
92 MB |
|
|
fstar-ci.tar.gz
Expired
|
92.5 MB |
|
|
hacl-star
Expired
|
361 MB |
|
|
karamel
Expired
|
11.5 MB |
|
|
pulse
Expired
|
224 MB |
|