Skip to content

Actions: affeldt-aist/math-comp

Actions

Nix CI for bundle coq-master

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-coq-master.yml
2 workflow runs
2 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
fixes #1211 Nix CI for bundle coq-master #4: Commit 90ac58a pushed by affeldt-aist
April 23, 2024 05:59 48m 35s master
master
April 23, 2024 05:59 48m 35s
Merge pull request #1065 from affeldt-aist/fixes_1064 Nix CI for bundle coq-master #3: Commit 0571bd0 pushed by affeldt-aist
September 8, 2023 01:28 13m 9s master
master
September 8, 2023 01:28 13m 9s