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

Triggered via pull request November 26, 2024 17:52

MM45

opened #6

KDF_Binding

Status Success

Total duration 4m 1s

Artifacts 1

ec-ci-hl.yml

on: pull_request

Produced during runtime

Name	Size
report.log	439 Bytes