Skip to content

|CI] Update Nix toolbox #31

|CI] Update Nix toolbox

|CI] Update Nix toolbox #31

Triggered via pull request February 18, 2025 20:17
@proux01proux01
opened #69
Status Failure
Total duration 59s
Artifacts

nix-action-8.18+2.0.yml

on: pull_request_target
fourcolor
0s
fourcolor
mathcomp-finmap
0s
mathcomp-finmap
graph-theory
0s
graph-theory
Fit to window
Zoom out
Zoom in

Annotations

1 error
coq
Process completed with exit code 1.