Skip to content

Actions: math-comp/odd-order

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
490 workflow runs
490 workflow runs

Filter by Workflow

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #83 from proux01/mc1577
Nix CI for bundle 9.1 #29: Commit 6afa795 pushed by proux01
19m 17s master
Merge pull request #83 from proux01/mc1577
Nix CI for bundle master #149: Commit 6afa795 pushed by proux01
30m 43s master
Merge pull request #81 from proux01/upd-warnings
Nix CI for bundle master #147: Commit e039c3c pushed by proux01
11m 14s master
Update warnings
Nix CI for bundle 9.1 #26: Pull request #81 synchronize by proux01
11m 34s
Update warnings
Nix CI for bundle master #146: Pull request #81 synchronize by proux01
11m 38s
Merge pull request #82 from proux01/ci-update
Nix CI for bundle master #145: Commit ba61c45 pushed by proux01
11m 27s master
Merge pull request #82 from proux01/ci-update
Nix CI for bundle 9.1 #25: Commit ba61c45 pushed by proux01
11m 38s master
[CI] Update Nix toolbox
Nix CI for bundle master #144: Pull request #82 synchronize by proux01
19s
[CI] Update Nix toolbox
Nix CI for bundle 9.1 #23: Pull request #82 synchronize by proux01
33s
[CI] Update Nix toolbox
Nix CI for bundle master #143: Pull request #82 synchronize by proux01
[CI] Update Nix toolbox
Nix CI for bundle 9.2 #2: Pull request #82 synchronize by proux01
[CI] Update Nix toolbox
Nix CI for bundle master #142: Pull request #82 synchronize by proux01
[CI] Update Nix toolbox
Nix CI for bundle 9.1 #22: Pull request #82 synchronize by proux01
[CI] Update Nix toolbox
Nix CI for bundle master #141: Pull request #82 synchronize by proux01
24m 46s
[CI] Update Nix toolbox
Nix CI for bundle 9.1 #21: Pull request #82 synchronize by proux01
11m 27s
[CI] Update Nix toolbox
Nix CI for bundle master #140: Pull request #82 opened by proux01
[CI] Update Nix toolbox
Nix CI for bundle 9.1 #20: Pull request #82 opened by proux01
[CI] Update Nix toolbox
Nix CI for bundle master #139: Pull request #82 opened by proux01
5m 5s
[CI] Update Nix toolbox
Nix CI for bundle 9.1 #19: Pull request #82 opened by proux01
5m 4s
Update warnings
Nix CI for bundle master #138: Pull request #81 opened by proux01
6m 57s