Skip to content

flake: Fix Coq build #2

flake: Fix Coq build

flake: Fix Coq build #2

Triggered via push May 13, 2024 08:00
Status Success
Total duration 6m 25s
Artifacts

flake-build.yml

on: push
Fit to window
Zoom out
Zoom in