Skip to content

Actions: math-comp/finmap

Actions

Nix CI for bundle 8.18

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-8.18.yml
44 workflow runs
44 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #122 from proux01/opam Nix CI for bundle 8.18 #44: Commit 02bf0e8 pushed by proux01
February 25, 2025 09:51 8m 13s master
master
February 25, 2025 09:51 8m 13s
Update opam file following removal of Stdlib dep Nix CI for bundle 8.18 #43: Pull request #122 opened by proux01
February 25, 2025 09:41 4m 32s
February 25, 2025 09:41 4m 32s
Merge pull request #121 from proux01/fix-macos Nix CI for bundle 8.18 #42: Commit e395fc1 pushed by proux01
February 24, 2025 13:55 7m 6s master
master
February 24, 2025 13:55 7m 6s
Fix sed commands on MacOS Nix CI for bundle 8.18 #41: Pull request #121 opened by proux01
February 24, 2025 13:54 48s
February 24, 2025 13:54 48s
Merge pull request #119 from proux01/no-stdlib Nix CI for bundle 8.18 #40: Commit 94c371b pushed by proux01
February 21, 2025 18:35 12m 48s master
master
February 21, 2025 18:35 12m 48s
Remove Stdlib dependency Nix CI for bundle 8.18 #39: Pull request #119 synchronize by proux01
February 21, 2025 18:28 5m 10s
February 21, 2025 18:28 5m 10s
Remove Stdlib dependency Nix CI for bundle 8.18 #38: Pull request #119 synchronize by proux01
February 21, 2025 18:09 6m 55s
February 21, 2025 18:09 6m 55s
Merge pull request #120 from proux01/ci-update Nix CI for bundle 8.18 #37: Commit 1cbf1fd pushed by proux01
February 21, 2025 18:07 3m 23s master
master
February 21, 2025 18:07 3m 23s
[CI] Update NIx toolbox Nix CI for bundle 8.18 #36: Pull request #120 synchronize by proux01
February 21, 2025 08:43 9m 23s proux01:ci-update
proux01:ci-update
February 21, 2025 08:43 9m 23s
[CI] Update NIx toolbox Nix CI for bundle 8.18 #35: Pull request #120 synchronize by proux01
February 21, 2025 08:43 9m 2s
February 21, 2025 08:43 9m 2s
[CI] Update NIx toolbox Nix CI for bundle 8.18 #34: Pull request #120 synchronize by proux01
February 21, 2025 07:31 13m 5s proux01:ci-update
proux01:ci-update
February 21, 2025 07:31 13m 5s
[CI] Update NIx toolbox Nix CI for bundle 8.18 #33: Pull request #120 synchronize by proux01
February 21, 2025 07:31 12m 33s
February 21, 2025 07:31 12m 33s
[CI] Update NIx toolbox Nix CI for bundle 8.18 #32: Pull request #120 synchronize by proux01
February 20, 2025 16:41 5m 34s proux01:ci-update
proux01:ci-update
February 20, 2025 16:41 5m 34s
[CI] Update NIx toolbox Nix CI for bundle 8.18 #31: Pull request #120 synchronize by proux01
February 20, 2025 16:41 6m 10s
February 20, 2025 16:41 6m 10s
[CI] Update NIx toolbox Nix CI for bundle 8.18 #30: Pull request #120 synchronize by proux01
February 19, 2025 08:51 51s
February 19, 2025 08:51 51s
[CI] Update NIx toolbox Nix CI for bundle 8.18 #29: Pull request #120 synchronize by proux01
February 19, 2025 08:51 1m 0s proux01:ci-update
proux01:ci-update
February 19, 2025 08:51 1m 0s
[CI] Update NIx toolbox Nix CI for bundle 8.18 #28: Pull request #120 opened by proux01
February 18, 2025 20:01 53m 18s proux01:ci-update
proux01:ci-update
February 18, 2025 20:01 53m 18s
[CI] Update NIx toolbox Nix CI for bundle 8.18 #27: Pull request #120 opened by proux01
February 18, 2025 20:01 51m 51s
February 18, 2025 20:01 51m 51s
Remove Stdlib dependency Nix CI for bundle 8.18 #26: Pull request #119 opened by proux01
February 17, 2025 12:42 5m 24s
February 17, 2025 12:42 5m 24s
Merge pull request #118 from proux01/mc1343 Nix CI for bundle 8.18 #25: Commit 09fe297 pushed by proux01
February 14, 2025 08:20 22m 44s master
master
February 14, 2025 08:20 22m 44s
Adapt to https://github.com/math-comp/math-comp/pull/1343 Nix CI for bundle 8.18 #24: Pull request #118 opened by proux01
February 14, 2025 07:31 32m 26s
February 14, 2025 07:31 32m 26s
Merge pull request #112 from ana-borges/fset_additions Nix CI for bundle 8.18 #23: Commit 48cffea pushed by CohenCyril
January 16, 2025 18:58 3m 13s master
master
January 16, 2025 18:58 3m 13s
Add lemmas about imfset Nix CI for bundle 8.18 #22: Pull request #112 synchronize by CohenCyril
December 20, 2024 16:35 4m 48s
December 20, 2024 16:35 4m 48s
fixes #113 Nix CI for bundle 8.18 #21: Pull request #114 synchronize by CohenCyril
December 20, 2024 16:27 4m 59s
December 20, 2024 16:27 4m 59s
Add lemmas about imfset Nix CI for bundle 8.18 #20: Pull request #112 synchronize by CohenCyril
December 20, 2024 16:26 4m 40s
December 20, 2024 16:26 4m 40s