Skip to content
CI

multinomials.2.3.0 and real-closed.2.0.2 compile with Rocq 9.0+rc1 #1690

Sign in to view logs

multinomials.2.3.0 and real-closed.2.0.2 compile with Rocq 9.0+rc1

multinomials.2.3.0 and real-closed.2.0.2 compile with Rocq 9.0+rc1 #1690

Triggered via pull request February 3, 2025 10:15
@proux01proux01
opened #3328
proux01:multinomials-rocq9
Status Success
Total duration 1m 37s
Artifacts 1

ci.yml

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

Artifacts

Produced during runtime
Name Size
github-pages Expired
1.72 MB