Skip to content
Hakyber

Use alt-ergo 2.5 #158

Sign in to view logs

Use alt-ergo 2.5

Use alt-ergo 2.5 #158

Triggered via push March 20, 2024 06:11
@vbglvbgl
pushed 335417e
master
Status Success
Total duration 2h 42m 9s
Artifacts –

ci.yml

on: push
Check Hakyber EasyCrypt Project
2h 42m
Check Hakyber EasyCrypt Project
Fit to window
Zoom out
Zoom in