Builds, tests & co

➕ Add menhir dependency #15

Sign in to view logs

Triggered via push July 5, 2024 06:12

Zeta611

main

Status Success

Total duration 3m 41s

Artifacts –

ci.yml

on: push

Matrix: build