Skip to content
Nix CI for bundle 8.20

Update Docker/Nix CI #102

Sign in to view logs

Update Docker/Nix CI

Update Docker/Nix CI #102

Triggered via pull request February 25, 2026 18:05
@pi8027pi8027
synchronize #151
ci
Status Cancelled
Total duration 14m 28s
Artifacts –

nix-action-8.20.yml

on: pull_request
coq
38s
coq
mathcomp-finmap
53s
mathcomp-finmap
multinomials
4s
multinomials
Fit to window
Zoom out
Zoom in

Annotations

4 errors
multinomials
The run was canceled by @pi8027.
multinomials
A task was canceled.
mathcomp-finmap
The run was canceled by @pi8027.
Nix CI for bundle 8.20
The run was canceled by @pi8027.