Skip to content
Latest

"oldest" CI test: use the oldest supported Menhir version #11

Sign in to view logs

"oldest" CI test: use the oldest supported Menhir version

"oldest" CI test: use the oldest supported Menhir version #11

Triggered via push July 24, 2024 13:31
@xavierleroyxavierleroy
pushed e9f4e15
master
Status Success
Total duration 6m 3s
Artifacts –

latest.yml

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