Skip to content
EasyCrypt CI

fix: remove misleading comment #42

Sign in to view logs

fix: remove misleading comment

fix: remove misleading comment #42

Triggered via push October 21, 2025 17:01
@jjankujjanku
pushed 3c46dd1
master
Status Success
Total duration 4m 36s
Artifacts –

ci.yaml

on: push
test
4m 25s
test
Fit to window
Zoom out
Zoom in