Skip to content

Actions: math-comp/cad

Actions

Nix CI for bundle 8.20

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-8.20.yml
31 workflow runs
31 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.20 #31: Commit 36caace pushed by CohenCyril
December 11, 2024 16:30 1m 44s master
master
December 11, 2024 16:30 1m 44s
Reshaping the repo + meta + update nix Nix CI for bundle 8.20 #30: Pull request #8 synchronize by CohenCyril
December 11, 2024 15:38 7m 0s meta
meta
December 11, 2024 15:38 7m 0s
Reshaping the repo + meta + update nix Nix CI for bundle 8.20 #29: Pull request #8 synchronize by CohenCyril
December 11, 2024 15:38 7m 3s
December 11, 2024 15:38 7m 3s
Reshaping the repo + meta + update nix Nix CI for bundle 8.20 #28: Pull request #8 synchronize by CohenCyril
December 11, 2024 15:33 6m 58s
December 11, 2024 15:33 6m 58s
Reshaping the repo + meta + update nix Nix CI for bundle 8.20 #27: Pull request #8 synchronize by CohenCyril
December 11, 2024 15:33 7m 20s meta
meta
December 11, 2024 15:33 7m 20s
Reshaping the repo + meta + update nix Nix CI for bundle 8.20 #26: Pull request #8 synchronize by CohenCyril
December 11, 2024 15:01 7m 29s meta
meta
December 11, 2024 15:01 7m 29s
Reshaping the repo + meta + update nix Nix CI for bundle 8.20 #25: Pull request #8 synchronize by CohenCyril
December 11, 2024 15:01 8m 10s
December 11, 2024 15:01 8m 10s
Reshaping the repo + meta + update nix Nix CI for bundle 8.20 #24: Pull request #8 synchronize by CohenCyril
December 11, 2024 14:25 7m 10s meta
meta
December 11, 2024 14:25 7m 10s
Reshaping the repo + meta + update nix Nix CI for bundle 8.20 #23: Pull request #8 synchronize by CohenCyril
December 11, 2024 14:25 7m 10s
December 11, 2024 14:25 7m 10s
Reshaping the repo + meta + update nix Nix CI for bundle 8.20 #22: Pull request #8 synchronize by CohenCyril
December 11, 2024 12:34 4m 9s meta
meta
December 11, 2024 12:34 4m 9s
Reshaping the repo + meta + update nix Nix CI for bundle 8.20 #21: Pull request #8 synchronize by CohenCyril
December 11, 2024 12:34 4m 11s
December 11, 2024 12:34 4m 11s
Reshaping the repo + meta + update nix Nix CI for bundle 8.20 #20: Pull request #8 synchronize by CohenCyril
December 10, 2024 23:34 7m 6s meta
meta
December 10, 2024 23:34 7m 6s
Reshaping the repo + meta + update nix Nix CI for bundle 8.20 #19: Pull request #8 synchronize by CohenCyril
December 10, 2024 23:34 7m 11s
December 10, 2024 23:34 7m 11s
Reshaping the repo + meta + update nix Nix CI for bundle 8.20 #18: Pull request #8 opened by CohenCyril
December 10, 2024 17:29 3m 50s meta
meta
December 10, 2024 17:29 3m 50s
Reshaping the repo + meta + update nix Nix CI for bundle 8.20 #17: Pull request #8 opened by CohenCyril
December 10, 2024 17:29 3m 55s
December 10, 2024 17:29 3m 55s
Merge pull request #7 from Tragicus/readme Nix CI for bundle 8.20 #16: Commit 31d68ee pushed by CohenCyril
December 5, 2024 21:36 7m 20s master
master
December 5, 2024 21:36 7m 20s
Add build instructions to readme Nix CI for bundle 8.20 #15: Pull request #7 opened by Tragicus
December 4, 2024 18:09 7m 46s
December 4, 2024 18:09 7m 46s
Merge pull request #6 from math-comp/fix-ci Nix CI for bundle 8.20 #14: Commit 2bc3c76 pushed by CohenCyril
December 4, 2024 14:27 7m 32s master
master
December 4, 2024 14:27 7m 32s
Rm outdated CI Nix CI for bundle 8.20 #13: Pull request #6 opened by CohenCyril
December 4, 2024 14:03 6m 19s
December 4, 2024 14:03 6m 19s
Merge pull request #5 from Tragicus/cylinder Nix CI for bundle 8.20 #12: Commit 7d0a3f9 pushed by Tragicus
December 4, 2024 14:02 7m 5s master
master
December 4, 2024 14:02 7m 5s
rm admit Nix CI for bundle 8.20 #11: Pull request #5 opened by Tragicus
December 4, 2024 13:40 7m 19s
December 4, 2024 13:40 7m 19s
Merge pull request #3 from Tragicus/cylinder Nix CI for bundle 8.20 #10: Commit deed800 pushed by CohenCyril
December 4, 2024 13:35 6m 34s master
master
December 4, 2024 13:35 6m 34s
Cylindrical decomposition Nix CI for bundle 8.20 #9: Pull request #3 synchronize by Tragicus
December 3, 2024 15:27 7m 3s Tragicus:cylinder
Tragicus:cylinder
December 3, 2024 15:27 7m 3s
Cylindrical decomposition Nix CI for bundle 8.20 #8: Pull request #3 synchronize by Tragicus
September 16, 2024 12:27 6m 53s Tragicus:cylinder
Tragicus:cylinder
September 16, 2024 12:27 6m 53s
Cylindrical decomposition Nix CI for bundle 8.20 #7: Pull request #3 synchronize by Tragicus
August 14, 2024 15:26 7m 24s Tragicus:cylinder
Tragicus:cylinder
August 14, 2024 15:26 7m 24s