Skip to content
Build largecatmodules

GitHub action v3 -> v4, Dune language 3.5 -> 3.8, Coq language 0.6 -> 0.8 #83

Sign in to view logs

GitHub action v3 -> v4, Dune language 3.5 -> 3.8, Coq language 0.6 -> 0.8

GitHub action v3 -> v4, Dune language 3.5 -> 3.8, Coq language 0.6 -> 0.8 #83

Triggered via pull request February 7, 2024 22:02
@rmatthesrmatthes
opened #153
rmatthes:githubactionsv4
Status Success
Total duration 1m 41s
Artifacts –

blank.yml

on: pull_request
Matrix: build-largecatmodules
Fit to window
Zoom out
Zoom in