Skip to content
Nix CI for bundle master

Update opam file following removal of Stdlib dep #41

Sign in to view logs

Update opam file following removal of Stdlib dep

Update opam file following removal of Stdlib dep #41

Triggered via pull request February 25, 2025 09:41
@proux01proux01
opened #122
Status Cancelled
Total duration 4m 22s
Artifacts –

nix-action-master.yml

on: pull_request_target
coq
47s
coq
stdlib
0s
stdlib
coq-elpi
0s
coq-elpi
mathcomp-bigenough
0s
mathcomp-bigenough
mathcomp-finmap
0s
mathcomp-finmap
hierarchy-builder
0s
hierarchy-builder
multinomials
0s
multinomials
mathcomp
0s
mathcomp
Fit to window
Zoom out
Zoom in

Annotations

3 errors
coq-elpi
The run was canceled by @proux01.
stdlib
The run was canceled by @proux01.
mathcomp-bigenough
The run was canceled by @proux01.