Branch "master" | Execute test "xmss-acai" (in file "config/tests.config") | See details for EasyCrypt version/branch. #1
ec-ci-hl.yml
on: push
preprocess-merge-x
0s
check-default
/
default
13m 14s
check-custom
/
default
check-merge-x
/
default
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
report.log
Expired
|
563 Bytes |
|