Skip to content

Actions: flatsurf/veerer

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
582 workflow runs
582 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Test with more versions of SageMath
Documentation #116: Pull request #27 synchronize by saraedum
November 8, 2023 18:27 3m 39s saraedum:test-sage
November 8, 2023 18:27 3m 39s
Add zenodo configuration
Documentation #115: Pull request #31 synchronize by saraedum
November 8, 2023 18:27 1m 40s saraedum:zenode
November 8, 2023 18:27 1m 40s
Add zenodo configuration
Test #115: Pull request #31 synchronize by saraedum
November 8, 2023 18:27 1m 40s saraedum:zenode
November 8, 2023 18:27 1m 40s
Add zenodo configuration
Documentation #114: Pull request #31 synchronize by saraedum
November 8, 2023 18:27 31s saraedum:zenode
November 8, 2023 18:27 31s
Add zenodo configuration
Test #114: Pull request #31 synchronize by saraedum
November 8, 2023 18:27 43s saraedum:zenode
November 8, 2023 18:27 43s
Add zenodo configuration
Documentation #113: Pull request #31 opened by saraedum
November 8, 2023 18:27 11s saraedum:zenode
November 8, 2023 18:27 11s
Add zenodo configuration
Test #113: Pull request #31 opened by saraedum
November 8, 2023 18:27 9s saraedum:zenode
November 8, 2023 18:27 9s
Fix README
Test #112: Pull request #30 synchronize by saraedum
November 8, 2023 18:27 4m 12s saraedum:readme
November 8, 2023 18:27 4m 12s
Fix README
Documentation #112: Pull request #30 synchronize by saraedum
November 8, 2023 18:27 2m 44s saraedum:readme
November 8, 2023 18:27 2m 44s
Fix README
Test #111: Pull request #30 opened by saraedum
November 8, 2023 18:26 45s saraedum:readme
November 8, 2023 18:26 45s
Fix README
Documentation #111: Pull request #30 opened by saraedum
November 8, 2023 18:26 42s saraedum:readme
November 8, 2023 18:26 42s
pages build and deployment
pages-build-deployment #10: by github-pages bot
November 8, 2023 18:26 34s
November 8, 2023 18:26 34s
Merge pull request #28 from videlec/copyright
Documentation #110: Commit 3050c74 pushed by saraedum
November 8, 2023 18:22 4m 2s master
November 8, 2023 18:22 4m 2s
Merge pull request #28 from videlec/copyright
Test #110: Commit 3050c74 pushed by saraedum
November 8, 2023 18:22 5m 17s master
November 8, 2023 18:22 5m 17s
Switch to GLP v3
Documentation #109: Pull request #28 synchronize by saraedum
November 8, 2023 18:15 3m 33s videlec:copyright
November 8, 2023 18:15 3m 33s
Switch to GLP v3
Test #109: Pull request #28 synchronize by saraedum
November 8, 2023 18:15 6m 34s videlec:copyright
November 8, 2023 18:15 6m 34s
pages build and deployment
pages-build-deployment #9: by github-pages bot
November 7, 2023 16:39 32s
November 7, 2023 16:39 32s
Merge pull request #29 from videlec/zippered-rectangles
Documentation #108: Commit 17e93fe pushed by videlec
November 7, 2023 16:36 3m 39s master
November 7, 2023 16:36 3m 39s
Merge pull request #29 from videlec/zippered-rectangles
Test #108: Commit 17e93fe pushed by videlec
November 7, 2023 16:36 3m 55s master
November 7, 2023 16:36 3m 55s
pages build and deployment
pages-build-deployment #8: by github-pages bot
November 7, 2023 16:32 36s
November 7, 2023 16:32 36s
zippered rectangles construction
Documentation #107: Pull request #29 synchronize by videlec
November 7, 2023 16:31 2m 38s videlec:zippered-rectangles
November 7, 2023 16:31 2m 38s
zippered rectangles construction
Test #107: Pull request #29 synchronize by videlec
November 7, 2023 16:31 3m 53s videlec:zippered-rectangles
November 7, 2023 16:31 3m 53s
Merge pull request #26 from saraedum/rever
Test #106: Commit 19d86ab pushed by videlec
November 7, 2023 16:30 6m 15s master
November 7, 2023 16:30 6m 15s
Merge pull request #26 from saraedum/rever
Documentation #106: Commit 19d86ab pushed by videlec
November 7, 2023 16:30 2m 41s master
November 7, 2023 16:30 2m 41s
zippered rectangles construction
Test #105: Pull request #29 synchronize by videlec
November 7, 2023 14:11 5m 49s videlec:zippered-rectangles
November 7, 2023 14:11 5m 49s
ProTip! You can narrow down the results and go further in time using created:<2023-11-07 or the other filters available.