Skip to content

Actions: math-comp/finmap

Actions

Nix CI for bundle 8.17

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-8.17.yml
10 workflow runs
10 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fixes #113 Nix CI for bundle 8.17 #10: Pull request #114 synchronize by affeldt-aist
December 2, 2024 03:22 3m 36s
December 2, 2024 03:22 3m 36s
Add lemmas about imfset Nix CI for bundle 8.17 #9: Pull request #112 synchronize by affeldt-aist
December 2, 2024 03:17 3m 33s
December 2, 2024 03:17 3m 33s
fixes #113 Nix CI for bundle 8.17 #8: Pull request #114 opened by affeldt-aist
December 2, 2024 03:08 4m 8s
December 2, 2024 03:08 4m 8s
Add lemmas about imfset Nix CI for bundle 8.17 #7: Pull request #112 synchronize by ana-borges
May 29, 2024 13:17 4m 25s
May 29, 2024 13:17 4m 25s
Add lemmas about imfset Nix CI for bundle 8.17 #6: Pull request #112 opened by ana-borges
May 29, 2024 13:06 4m 48s
May 29, 2024 13:06 4m 48s
Merge pull request #111 from proux01/coq819 Nix CI for bundle 8.17 #5: Commit a907a9e pushed by thery
January 17, 2024 13:39 15m 27s master
master
January 17, 2024 13:39 15m 27s
[CI] Add Coq 8.19 Nix CI for bundle 8.17 #4: Pull request #111 synchronize by proux01
January 17, 2024 13:09 15m 34s proux01:coq819
proux01:coq819
January 17, 2024 13:09 15m 34s
[CI] Add Coq 8.19 Nix CI for bundle 8.17 #3: Pull request #111 synchronize by proux01
January 17, 2024 12:43 16m 20s proux01:coq819
proux01:coq819
January 17, 2024 12:43 16m 20s
[CI] Add Coq 8.19 Nix CI for bundle 8.17 #2: Pull request #111 synchronize by proux01
January 17, 2024 12:31 15m 27s proux01:coq819
proux01:coq819
January 17, 2024 12:31 15m 27s
[CI] Add Coq 8.19 Nix CI for bundle 8.17 #1: Pull request #111 opened by proux01
January 17, 2024 12:23 3m 0s proux01:coq819
proux01:coq819
January 17, 2024 12:23 3m 0s