Skip to content
CI

fixing the menhir dep for cerberus-lib #7

Sign in to view logs

fixing the menhir dep for cerberus-lib

fixing the menhir dep for cerberus-lib #7

Triggered via push July 4, 2023 19:53
@kmemariankmemarian
pushed 785650e
master
Status Success
Total duration 3m 3s
Artifacts –

ci.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in