Skip to content
CI

Merge pull request #3322 from mattam82/metacoq-1.3.4-rocq-9.0 #1680

Sign in to view logs

Merge pull request #3322 from mattam82/metacoq-1.3.4-rocq-9.0

Merge pull request #3322 from mattam82/metacoq-1.3.4-rocq-9.0 #1680

Triggered via push January 29, 2025 18:16
@mattam82mattam82
pushed f73cede
master
Status Success
Total duration 3m 16s
Artifacts –

ci.yml

on: push
build
2m 48s
build
deploy
8s
deploy
Fit to window
Zoom out
Zoom in