Skip to content
CI

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

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

Triggered via pull request January 29, 2025 09:57
@mattam82mattam82
opened #3319
mattam82:rocq-equations.1.3.1+9.0
Status Success
Total duration 1m 38s
Artifacts –

ci.yml

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