Skip to content

Actions: math-comp/cad

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
99 workflow runs
99 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #9 from Tragicus/sat_mpoly Nix CI for bundle 8.18 #67: Commit 52e6b88 pushed by Tragicus
6m 24s master
master
6m 24s
Merge pull request #9 from Tragicus/sat_mpoly Nix CI for bundle 8.19 #69: Commit 52e6b88 pushed by Tragicus
6m 54s master
master
6m 54s
Merge pull request #9 from Tragicus/sat_mpoly Nix CI for bundle 8.20 #33: Commit 52e6b88 pushed by Tragicus
7m 12s master
master
7m 12s
Merge pull request #9 from Tragicus/sat_mpoly Docker CI #10: Commit 52e6b88 pushed by Tragicus
39m 23s master
master
39m 23s
sat_mpoly_system Docker CI #9: Pull request #9 opened by Tragicus
40m 27s Tragicus:sat_mpoly
Tragicus:sat_mpoly
40m 27s
sat_mpoly_system Nix CI for bundle 8.20 #32: Pull request #9 opened by Tragicus
7m 21s
7m 21s
sat_mpoly_system Nix CI for bundle 8.19 #68: Pull request #9 opened by Tragicus
6m 59s
6m 59s
sat_mpoly_system Nix CI for bundle 8.18 #66: Pull request #9 opened by Tragicus
6m 39s
6m 39s
Merge pull request #8 from math-comp/meta Nix CI for bundle 8.20 #31: Commit 36caace pushed by CohenCyril
1m 44s master
master
1m 44s
Merge pull request #8 from math-comp/meta Docker CI #8: Commit 36caace pushed by CohenCyril
29m 36s master
master
29m 36s
Merge pull request #8 from math-comp/meta Nix CI for bundle 8.19 #67: Commit 36caace pushed by CohenCyril
1m 41s master
master
1m 41s
Merge pull request #8 from math-comp/meta Nix CI for bundle 8.18 #65: Commit 36caace pushed by CohenCyril
1m 42s master
master
1m 42s
Reshaping the repo + meta + update nix Docker CI #7: Pull request #8 synchronize by CohenCyril
29m 34s meta
meta
29m 34s
Reshaping the repo + meta + update nix Nix CI for bundle 8.18 #64: Pull request #8 synchronize by CohenCyril
6m 49s meta
meta
6m 49s
Reshaping the repo + meta + update nix Nix CI for bundle 8.19 #66: Pull request #8 synchronize by CohenCyril
6m 38s meta
meta
6m 38s
Reshaping the repo + meta + update nix Nix CI for bundle 8.20 #30: Pull request #8 synchronize by CohenCyril
7m 0s meta
meta
7m 0s
Reshaping the repo + meta + update nix Nix CI for bundle 8.18 #63: Pull request #8 synchronize by CohenCyril
6m 14s
6m 14s
Reshaping the repo + meta + update nix Nix CI for bundle 8.19 #65: Pull request #8 synchronize by CohenCyril
6m 40s
6m 40s
Reshaping the repo + meta + update nix Nix CI for bundle 8.20 #29: Pull request #8 synchronize by CohenCyril
7m 3s
7m 3s
Reshaping the repo + meta + update nix Nix CI for bundle 8.19 #64: Pull request #8 synchronize by CohenCyril
6m 27s
6m 27s
Reshaping the repo + meta + update nix Nix CI for bundle 8.20 #28: Pull request #8 synchronize by CohenCyril
6m 58s
6m 58s
Reshaping the repo + meta + update nix Nix CI for bundle 8.20 #27: Pull request #8 synchronize by CohenCyril
7m 20s meta
meta
7m 20s
Reshaping the repo + meta + update nix Nix CI for bundle 8.18 #62: Pull request #8 synchronize by CohenCyril
6m 51s meta
meta
6m 51s
Reshaping the repo + meta + update nix Nix CI for bundle 8.19 #63: Pull request #8 synchronize by CohenCyril
6m 16s meta
meta
6m 16s
Reshaping the repo + meta + update nix Nix CI for bundle 8.18 #61: Pull request #8 synchronize by CohenCyril
6m 24s
6m 24s