Branch "main" | Execute test "all" (in file "config/tests.config") | See details for EasyCrypt version/branch. #39
dconnollyec-ci-hl.yml
on: push
preprocess-merge-x
0s
check-default
/
default
3m 20s
check-custom
/
default
check-merge-x
/
default
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
report.log
|
410 Bytes |
|