Skip to content

Actions: math-comp/cad

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
255 workflow runs
255 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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.19 #46: Commit deed800 pushed by CohenCyril
December 4, 2024 13:35 1m 38s master
master
December 4, 2024 13:35 1m 38s
Merge pull request #3 from Tragicus/cylinder Nix CI for bundle 8.16 #39: Commit deed800 pushed by CohenCyril
December 4, 2024 13:35 45s master
master
December 4, 2024 13:35 45s
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
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
Merge pull request #3 from Tragicus/cylinder Nix CI for bundle 8.17 #39: Commit deed800 pushed by CohenCyril
December 4, 2024 13:35 50s master
master
December 4, 2024 13:35 50s
Cylindrical decomposition Nix CI for bundle 8.16 #38: Pull request #3 synchronize by Tragicus
December 3, 2024 15:27 1m 18s Tragicus:cylinder
Tragicus:cylinder
December 3, 2024 15:27 1m 18s
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.19 #45: Pull request #3 synchronize by Tragicus
December 3, 2024 15:27 2m 2s Tragicus:cylinder
Tragicus:cylinder
December 3, 2024 15:27 2m 2s
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.17 #38: Pull request #3 synchronize by Tragicus
December 3, 2024 15:27 1m 29s Tragicus:cylinder
Tragicus:cylinder
December 3, 2024 15:27 1m 29s
Cylindrical decomposition Nix CI for bundle 8.16 #37: Pull request #3 synchronize by Tragicus
December 3, 2024 15:27 1m 34s
December 3, 2024 15:27 1m 34s
Cylindrical decomposition Nix CI for bundle 8.19 #44: Pull request #3 synchronize by Tragicus
December 3, 2024 15:27 2m 8s
December 3, 2024 15:27 2m 8s
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.17 #37: Pull request #3 synchronize by Tragicus
December 3, 2024 15:27 1m 10s
December 3, 2024 15:27 1m 10s
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.17 #36: Pull request #3 synchronize by Tragicus
September 16, 2024 12:27 45s Tragicus:cylinder
Tragicus:cylinder
September 16, 2024 12:27 45s
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
Cylindrical decomposition Nix CI for bundle 8.19 #43: Pull request #3 synchronize by Tragicus
September 16, 2024 12:27 5m 33s Tragicus:cylinder
Tragicus:cylinder
September 16, 2024 12:27 5m 33s
Cylindrical decomposition Nix CI for bundle 8.16 #36: Pull request #3 synchronize by Tragicus
September 16, 2024 12:27 51s Tragicus:cylinder
Tragicus:cylinder
September 16, 2024 12:27 51s
Cylindrical decomposition Nix CI for bundle 8.19 #42: Pull request #3 synchronize by Tragicus
September 16, 2024 12:27 5m 41s
September 16, 2024 12:27 5m 41s
Cylindrical decomposition Nix CI for bundle 8.18 #40: Pull request #3 synchronize by Tragicus
September 16, 2024 12:27 5m 58s
September 16, 2024 12:27 5m 58s
Cylindrical decomposition Nix CI for bundle 8.17 #35: Pull request #3 synchronize by Tragicus
September 16, 2024 12:27 49s
September 16, 2024 12:27 49s
Cylindrical decomposition Nix CI for bundle 8.16 #35: Pull request #3 synchronize by Tragicus
September 16, 2024 12:27 53s
September 16, 2024 12:27 53s