Skip to content

Actions: math-comp/odd-order

Actions

Nix CI for bundle master

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[CI] Update Nix toolbox Nix CI for bundle master #24: Pull request #53 synchronize by proux01
November 29, 2023 12:33 27m 2s ci_nix
ci_nix
November 29, 2023 12:33 27m 2s
[CI] Update Nix toolbox Nix CI for bundle master #23: Pull request #53 synchronize by proux01
November 29, 2023 12:33 33m 46s
November 29, 2023 12:33 33m 46s
[CI] Update Nix toolbox Nix CI for bundle master #22: Pull request #53 synchronize by proux01
November 29, 2023 12:29 2m 52s ci_nix
ci_nix
November 29, 2023 12:29 2m 52s
[CI] Update Nix toolbox Nix CI for bundle master #21: Pull request #53 synchronize by proux01
November 29, 2023 12:29 2m 58s
November 29, 2023 12:29 2m 58s
[CI] Update Nix toolbox Nix CI for bundle master #20: Pull request #53 opened by proux01
November 29, 2023 12:25 4m 57s ci_nix
ci_nix
November 29, 2023 12:25 4m 57s
[CI] Update Nix toolbox Nix CI for bundle master #19: Pull request #53 opened by proux01
November 29, 2023 12:25 4m 46s
November 29, 2023 12:25 4m 46s
Adapt to https://github.com/math-comp/math-comp/pull/1046 Nix CI for bundle master #18: Pull request #52 opened by proux01
November 29, 2023 10:54 8m 15s
November 29, 2023 10:54 8m 15s
Merge pull request #51 from proux01/coq_18031 Nix CI for bundle master #17: Commit 6fa8ce4 pushed by proux01
September 24, 2023 16:50 2m 52s master
master
September 24, 2023 16:50 2m 52s
Adapt to https://github.com/coq/coq/pull/18031 Nix CI for bundle master #16: Pull request #51 opened by proux01
September 24, 2023 16:10 2m 44s
September 24, 2023 16:10 2m 44s
Merge pull request #50 from proux01/mc_1068 Nix CI for bundle master #15: Commit d8ce762 pushed by proux01
September 23, 2023 22:03 21m 13s master
master
September 23, 2023 22:03 21m 13s
Adapt to https://github.com/math-comp/math-comp/pull/1068 Nix CI for bundle master #14: Pull request #50 opened by proux01
September 23, 2023 21:27 3m 19s
September 23, 2023 21:27 3m 19s
Merge pull request #49 from proux01/mc_1052 Nix CI for bundle master #13: Commit 776346a pushed by proux01
September 23, 2023 14:35 3m 6s master
master
September 23, 2023 14:35 3m 6s
Adapt to https://github.com/math-comp/math-comp/pull/1052 Nix CI for bundle master #12: Pull request #49 opened by proux01
September 23, 2023 13:29 3m 9s
September 23, 2023 13:29 3m 9s