Skip to content
CI

rocq-equations.1.3.1+9.0 coq-equations.1.3.1+9.0 #1675

Sign in to view logs

rocq-equations.1.3.1+9.0 coq-equations.1.3.1+9.0

rocq-equations.1.3.1+9.0 coq-equations.1.3.1+9.0 #1675

Triggered via pull request January 29, 2025 10:45
@mattam82mattam82
synchronize #3319
mattam82:rocq-equations.1.3.1+9.0
Status Success
Total duration 1m 50s
Artifacts –

ci.yml

on: pull_request
build
1m 39s
build
deploy
0s
deploy
Fit to window
Zoom out
Zoom in