Skip to content
Build TypeTheory

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

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 #187

Triggered via pull request February 7, 2024 21:56
@rmatthesrmatthes
opened #244
rmatthes:githubactionsv4
Status Success
Total duration 3m 8s
Artifacts –

build-typetheory.yml

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