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