Skip to content

Actions: miguelmarco/sage

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
157 workflow runs
157 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix imports in doctests Build documentation (PDF) #61: Commit 19ec8c0 pushed by miguelmarco
November 18, 2024 10:47 2h 13m 11s enhance_libbraiding
enhance_libbraiding
November 18, 2024 10:47 2h 13m 11s
Fix doctests Build documentation (PDF) #60: Commit afa6746 pushed by miguelmarco
November 18, 2024 10:25 22m 38s enhance_libbraiding
enhance_libbraiding
November 18, 2024 10:25 22m 38s
Address reviewer's comments Build documentation (PDF) #59: Commit 66b81a0 pushed by miguelmarco
October 30, 2024 08:56 26m 43s enhance_libbraiding
enhance_libbraiding
October 30, 2024 08:56 26m 43s
Fix linting Build documentation (PDF) #58: Commit 72c12ac pushed by miguelmarco
October 29, 2024 19:34 26m 23s enhance_libbraiding
enhance_libbraiding
October 29, 2024 19:34 26m 23s
upgrade to libbraiding v1.3 and add new functions Build documentation (PDF) #57: Commit e412430 pushed by miguelmarco
October 29, 2024 18:44 26m 33s enhance_libbraiding
enhance_libbraiding
October 29, 2024 18:44 26m 33s
Add new functions to libbraiding interface Build documentation (PDF) #56: Commit 7d74a60 pushed by miguelmarco
October 29, 2024 16:49 26m 28s enhance_libbraiding
enhance_libbraiding
October 29, 2024 16:49 26m 28s
Fix bug in covering map with degenerate faces. Build documentation (PDF) #55: Commit 6c3f6c9 pushed by miguelmarco
October 22, 2024 16:49 1h 32m 13s bug-universal-cover
bug-universal-cover
October 22, 2024 16:49 1h 32m 13s
Publish documentation Publish documentation #47: completed by miguelmarco
September 23, 2024 16:02 44s
September 23, 2024 16:02 44s
Updated SageMath version to 10.5.beta5 Build documentation #47: Commit d1f99d1 pushed by miguelmarco
September 23, 2024 15:22 39m 14s develop
develop
September 23, 2024 15:22 39m 14s
Updated SageMath version to 10.5.beta5 Lint #47: Commit d1f99d1 pushed by miguelmarco
September 23, 2024 15:22 4m 42s develop
develop
September 23, 2024 15:22 4m 42s
Updated SageMath version to 10.5.beta5 Static check with Pyright #2: Commit d1f99d1 pushed by miguelmarco
September 23, 2024 15:22 8m 19s develop
develop
September 23, 2024 15:22 8m 19s
Updated SageMath version to 10.5.beta5 Build & Test #47: Commit d1f99d1 pushed by miguelmarco
September 23, 2024 15:22 27m 15s develop
develop
September 23, 2024 15:22 27m 15s
Updated SageMath version to 10.5.beta5 Build documentation (PDF) #54: Commit d1f99d1 pushed by miguelmarco
September 23, 2024 15:22 1h 32m 48s develop
develop
September 23, 2024 15:22 1h 32m 48s
Build Docker images and push to DockerHub Build Docker images and push to DockerHub #17: Scheduled
August 27, 2024 02:03 42s develop
develop
August 27, 2024 02:03 42s
Synchronize labels Synchronize labels #417: Scheduled
August 26, 2024 18:21 3s develop
develop
August 26, 2024 18:21 3s
Synchronize labels Synchronize labels #416: Scheduled
August 26, 2024 06:23 2s develop
develop
August 26, 2024 06:23 2s
Synchronize labels Synchronize labels #415: Scheduled
August 25, 2024 18:19 2s develop
develop
August 25, 2024 18:19 2s
Synchronize labels Synchronize labels #414: Scheduled
August 25, 2024 06:21 2s develop
develop
August 25, 2024 06:21 2s
Synchronize labels Synchronize labels #413: Scheduled
August 24, 2024 18:19 3s develop
develop
August 24, 2024 18:19 3s
Synchronize labels Synchronize labels #412: Scheduled
August 24, 2024 06:21 3s develop
develop
August 24, 2024 06:21 3s
Synchronize labels Synchronize labels #411: Scheduled
August 23, 2024 18:21 2s develop
develop
August 23, 2024 18:21 2s
Synchronize labels Synchronize labels #410: Scheduled
August 23, 2024 06:22 2s develop
develop
August 23, 2024 06:22 2s
Synchronize labels Synchronize labels #409: Scheduled
August 22, 2024 18:21 3s develop
develop
August 22, 2024 18:21 3s
Synchronize labels Synchronize labels #408: Scheduled
August 22, 2024 06:22 3s develop
develop
August 22, 2024 06:22 3s
Build Docker images and push to DockerHub Build Docker images and push to DockerHub #16: Scheduled
August 22, 2024 02:02 1m 30s develop
develop
August 22, 2024 02:02 1m 30s