Skip to content

Actions: proux01/math-comp

Actions

Nix CI for bundle coq-8.20

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-coq-8.20.yml
1 workflow run
1 workflow run

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[CI] Update Nix toolbox Nix CI for bundle coq-8.20 #1: Commit d966300 pushed by proux01
October 24, 2024 15:22 1h 12m 59s master
master
October 24, 2024 15:22 1h 12m 59s