Branch "main" | Execute test "all" (in file "config/tests.config") | See details for EasyCrypt version/branch. #13

Triggered via push October 22, 2024 12:18

MM45

main

Status Success

Total duration 4m 38s

Billable time 5m

Artifacts 1

ec-ci-hl.yml

on: push

Produced during runtime

Name	Size
report.log Expired	370 Bytes