Skip to content
CI

multinomials 1.6.0, real-closed 1.1.4 and coqeal 1.1.3 compile with M… #346

Sign in to view logs

multinomials 1.6.0, real-closed 1.1.4 and coqeal 1.1.3 compile with M…

multinomials 1.6.0, real-closed 1.1.4 and coqeal 1.1.3 compile with M… #346

Triggered via pull request November 2, 2023 15:07
@proux01proux01
opened #2815
proux01:multinomials_mc118
Status Success
Total duration 19m 14s
Artifacts –

ci.yml

on: pull_request
build
5m 36s
build
deploy
0s
deploy
Fit to window
Zoom out
Zoom in