Skip to content
CI

Add paramcoq.1.1.3+rocq9.0 #1761

Sign in to view logs

Add paramcoq.1.1.3+rocq9.0

Add paramcoq.1.1.3+rocq9.0 #1761

Triggered via pull request February 25, 2025 12:05
@proux01proux01
synchronize #3355
proux01:paramcoq9
Status Success
Total duration 1m 27s
Artifacts 1

ci.yml

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

Artifacts

Produced during runtime
Name Size
github-pages Expired
1.74 MB