Skip to content

Actions: math-comp/cad

Actions

Nix CI for bundle 8.18

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #8 from math-comp/meta Nix CI for bundle 8.18 #65: Commit 36caace pushed by CohenCyril
December 11, 2024 16:30 1m 42s master
master
December 11, 2024 16:30 1m 42s
Reshaping the repo + meta + update nix Nix CI for bundle 8.18 #64: Pull request #8 synchronize by CohenCyril
December 11, 2024 15:38 6m 49s meta
meta
December 11, 2024 15:38 6m 49s
Reshaping the repo + meta + update nix Nix CI for bundle 8.18 #63: Pull request #8 synchronize by CohenCyril
December 11, 2024 15:38 6m 14s
December 11, 2024 15:38 6m 14s
Reshaping the repo + meta + update nix Nix CI for bundle 8.18 #62: Pull request #8 synchronize by CohenCyril
December 11, 2024 15:33 6m 51s meta
meta
December 11, 2024 15:33 6m 51s
Reshaping the repo + meta + update nix Nix CI for bundle 8.18 #61: Pull request #8 synchronize by CohenCyril
December 11, 2024 15:33 6m 24s
December 11, 2024 15:33 6m 24s
Reshaping the repo + meta + update nix Nix CI for bundle 8.18 #60: Pull request #8 synchronize by CohenCyril
December 11, 2024 15:01 6m 51s meta
meta
December 11, 2024 15:01 6m 51s
Reshaping the repo + meta + update nix Nix CI for bundle 8.18 #59: Pull request #8 synchronize by CohenCyril
December 11, 2024 15:01 6m 9s
December 11, 2024 15:01 6m 9s
Reshaping the repo + meta + update nix Nix CI for bundle 8.18 #58: Pull request #8 synchronize by CohenCyril
December 11, 2024 14:25 6m 9s meta
meta
December 11, 2024 14:25 6m 9s
Reshaping the repo + meta + update nix Nix CI for bundle 8.18 #57: Pull request #8 synchronize by CohenCyril
December 11, 2024 14:25 6m 9s
December 11, 2024 14:25 6m 9s
Reshaping the repo + meta + update nix Nix CI for bundle 8.18 #56: Pull request #8 synchronize by CohenCyril
December 11, 2024 12:34 3m 50s meta
meta
December 11, 2024 12:34 3m 50s
Reshaping the repo + meta + update nix Nix CI for bundle 8.18 #55: Pull request #8 synchronize by CohenCyril
December 11, 2024 12:34 3m 49s
December 11, 2024 12:34 3m 49s
Reshaping the repo + meta + update nix Nix CI for bundle 8.18 #54: Pull request #8 synchronize by CohenCyril
December 10, 2024 23:34 6m 13s meta
meta
December 10, 2024 23:34 6m 13s
Reshaping the repo + meta + update nix Nix CI for bundle 8.18 #53: Pull request #8 synchronize by CohenCyril
December 10, 2024 23:34 6m 10s
December 10, 2024 23:34 6m 10s
Reshaping the repo + meta + update nix Nix CI for bundle 8.18 #52: Pull request #8 opened by CohenCyril
December 10, 2024 17:29 6m 20s
December 10, 2024 17:29 6m 20s
Reshaping the repo + meta + update nix Nix CI for bundle 8.18 #51: Pull request #8 opened by CohenCyril
December 10, 2024 17:29 6m 32s meta
meta
December 10, 2024 17:29 6m 32s
Merge pull request #7 from Tragicus/readme Nix CI for bundle 8.18 #50: Commit 31d68ee pushed by CohenCyril
December 5, 2024 21:36 1m 35s master
master
December 5, 2024 21:36 1m 35s
Add build instructions to readme Nix CI for bundle 8.18 #49: Pull request #7 opened by Tragicus
December 4, 2024 18:09 6m 7s
December 4, 2024 18:09 6m 7s
Merge pull request #6 from math-comp/fix-ci Nix CI for bundle 8.18 #48: Commit 2bc3c76 pushed by CohenCyril
December 4, 2024 14:27 6m 30s master
master
December 4, 2024 14:27 6m 30s
Rm outdated CI Nix CI for bundle 8.18 #47: Pull request #6 opened by CohenCyril
December 4, 2024 14:03 5m 12s
December 4, 2024 14:03 5m 12s
Merge pull request #5 from Tragicus/cylinder Nix CI for bundle 8.18 #46: Commit 7d0a3f9 pushed by Tragicus
December 4, 2024 14:02 1m 37s master
master
December 4, 2024 14:02 1m 37s
rm admit Nix CI for bundle 8.18 #45: Pull request #5 opened by Tragicus
December 4, 2024 13:40 6m 20s
December 4, 2024 13:40 6m 20s
Merge pull request #3 from Tragicus/cylinder Nix CI for bundle 8.18 #44: Commit deed800 pushed by CohenCyril
December 4, 2024 13:35 1m 33s master
master
December 4, 2024 13:35 1m 33s
Cylindrical decomposition Nix CI for bundle 8.18 #43: Pull request #3 synchronize by Tragicus
December 3, 2024 15:27 1m 56s Tragicus:cylinder
Tragicus:cylinder
December 3, 2024 15:27 1m 56s
Cylindrical decomposition Nix CI for bundle 8.18 #42: Pull request #3 synchronize by Tragicus
December 3, 2024 15:27 2m 22s
December 3, 2024 15:27 2m 22s
Cylindrical decomposition Nix CI for bundle 8.18 #41: Pull request #3 synchronize by Tragicus
September 16, 2024 12:27 6m 0s Tragicus:cylinder
Tragicus:cylinder
September 16, 2024 12:27 6m 0s