Skip to content

Actions: math-comp/finmap

Actions

Nix CI for bundle master

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-master.yml
20 workflow runs
20 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add lemmas about imfset Nix CI for bundle master #20: Pull request #112 synchronize by CohenCyril
December 20, 2024 16:35 1m 10s
December 20, 2024 16:35 1m 10s
fixes #113 Nix CI for bundle master #19: Pull request #114 synchronize by CohenCyril
December 20, 2024 16:27 1m 9s
December 20, 2024 16:27 1m 9s
Add lemmas about imfset Nix CI for bundle master #18: Pull request #112 synchronize by CohenCyril
December 20, 2024 16:26 1m 8s
December 20, 2024 16:26 1m 8s
Merge pull request #117 from math-comp/nix Nix CI for bundle master #17: Commit a2f06d1 pushed by CohenCyril
December 20, 2024 16:25 1m 10s master
master
December 20, 2024 16:25 1m 10s
update nix action Nix CI for bundle master #16: Pull request #117 synchronize by CohenCyril
December 20, 2024 16:12 1m 16s nix
nix
December 20, 2024 16:12 1m 16s
update nix action Nix CI for bundle master #15: Pull request #117 synchronize by CohenCyril
December 20, 2024 16:12 1m 12s
December 20, 2024 16:12 1m 12s
update nix action Nix CI for bundle master #14: Pull request #117 synchronize by CohenCyril
December 20, 2024 15:59 1m 14s nix
nix
December 20, 2024 15:59 1m 14s
update nix action Nix CI for bundle master #13: Pull request #117 synchronize by CohenCyril
December 20, 2024 15:59 1m 19s
December 20, 2024 15:59 1m 19s
update nix action Nix CI for bundle master #12: Pull request #117 synchronize by CohenCyril
December 20, 2024 15:37 1m 32s nix
nix
December 20, 2024 15:37 1m 32s
update nix action Nix CI for bundle master #11: Pull request #117 synchronize by CohenCyril
December 20, 2024 15:36 1m 19s
December 20, 2024 15:36 1m 19s
update nix action Nix CI for bundle master #10: Pull request #117 opened by CohenCyril
December 20, 2024 15:26 1m 38s nix
nix
December 20, 2024 15:26 1m 38s
update nix action Nix CI for bundle master #9: Pull request #117 opened by CohenCyril
December 20, 2024 15:26 1m 35s
December 20, 2024 15:26 1m 35s
fixes #113 Nix CI for bundle master #8: Pull request #114 synchronize by affeldt-aist
December 2, 2024 03:22 1m 40s
December 2, 2024 03:22 1m 40s
Add lemmas about imfset Nix CI for bundle master #7: Pull request #112 synchronize by affeldt-aist
December 2, 2024 03:17 1m 46s
December 2, 2024 03:17 1m 46s
fixes #113 Nix CI for bundle master #6: Pull request #114 opened by affeldt-aist
December 2, 2024 03:08 5m 51s
December 2, 2024 03:08 5m 51s
Add lemmas about imfset Nix CI for bundle master #5: Pull request #112 synchronize by ana-borges
May 29, 2024 13:17 12m 40s
May 29, 2024 13:17 12m 40s
Add lemmas about imfset Nix CI for bundle master #4: Pull request #112 opened by ana-borges
May 29, 2024 13:06 23m 41s
May 29, 2024 13:06 23m 41s
Merge pull request #111 from proux01/coq819 Nix CI for bundle master #3: Commit a907a9e pushed by thery
January 17, 2024 13:39 16m 3s master
master
January 17, 2024 13:39 16m 3s
[CI] Add Coq 8.19 Nix CI for bundle master #2: Pull request #111 synchronize by proux01
January 17, 2024 13:09 17m 44s proux01:coq819
proux01:coq819
January 17, 2024 13:09 17m 44s
[CI] Add Coq 8.19 Nix CI for bundle master #1: Pull request #111 synchronize by proux01
January 17, 2024 12:43 17m 26s proux01:coq819
proux01:coq819
January 17, 2024 12:43 17m 26s