Skip to content
Build TypeTheory

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

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

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

build-typetheory.yml

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