Skip to content

Actions: MatteoCati/sage

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
410 workflow runs
410 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Move conference matrix construction to new function Build documentation (PDF) #15: Commit e8c35de pushed by MatteoCati
August 10, 2024 11:51 1m 0s dimpase/gen_paleyII_confmat
dimpase/gen_paleyII_confmat
August 10, 2024 11:51 1m 0s
Publish documentation Publish documentation #43: completed by MatteoCati
July 30, 2024 09:59 2s
July 30, 2024 09:59 2s
Updated SageMath version to 10.5.beta0 Build documentation #45: Commit 79c047c pushed by MatteoCati
July 30, 2024 09:57 1m 10s develop
develop
July 30, 2024 09:57 1m 10s
Updated SageMath version to 10.5.beta0 Build documentation (PDF) #14: Commit 79c047c pushed by MatteoCati
July 30, 2024 09:57 1m 7s develop
develop
July 30, 2024 09:57 1m 7s
Updated SageMath version to 10.5.beta0 Lint #45: Commit 79c047c pushed by MatteoCati
July 30, 2024 09:57 4m 26s develop
develop
July 30, 2024 09:57 4m 26s
Updated SageMath version to 10.5.beta0 Static check with Pyright #2: Commit 79c047c pushed by MatteoCati
July 30, 2024 09:57 8m 31s develop
develop
July 30, 2024 09:57 8m 31s
Updated SageMath version to 10.5.beta0 Build & Test #45: Commit 79c047c pushed by MatteoCati
July 30, 2024 09:57 4m 37s develop
develop
July 30, 2024 09:57 4m 37s
Build Docker images and push to DockerHub Build Docker images and push to DockerHub #19: Scheduled
July 30, 2024 02:02 5m 58s develop
develop
July 30, 2024 02:02 5m 58s
Synchronize labels Synchronize labels #447: Scheduled
July 26, 2024 18:11 3s develop
develop
July 26, 2024 18:11 3s
Synchronize labels Synchronize labels #446: Scheduled
July 26, 2024 06:13 3s develop
develop
July 26, 2024 06:13 3s
Synchronize labels Synchronize labels #445: Scheduled
July 25, 2024 18:11 2s develop
develop
July 25, 2024 18:11 2s
Synchronize labels Synchronize labels #444: Scheduled
July 25, 2024 06:13 3s develop
develop
July 25, 2024 06:13 3s
Build Docker images and push to DockerHub Build Docker images and push to DockerHub #18: Scheduled
July 25, 2024 02:02 2m 30s develop
develop
July 25, 2024 02:02 2m 30s
Synchronize labels Synchronize labels #443: Scheduled
July 24, 2024 18:12 3s develop
develop
July 24, 2024 18:12 3s
Synchronize labels Synchronize labels #442: Scheduled
July 24, 2024 06:12 2s develop
develop
July 24, 2024 06:12 2s
Synchronize labels Synchronize labels #441: Scheduled
July 23, 2024 18:11 3s develop
develop
July 23, 2024 18:11 3s
Synchronize labels Synchronize labels #440: Scheduled
July 23, 2024 06:12 2s develop
develop
July 23, 2024 06:12 2s
Build Docker images and push to DockerHub Build Docker images and push to DockerHub #17: Scheduled
July 23, 2024 02:02 42s develop
develop
July 23, 2024 02:02 42s
Synchronize labels Synchronize labels #439: Scheduled
July 22, 2024 18:11 2s develop
develop
July 22, 2024 18:11 2s
Synchronize labels Synchronize labels #438: Scheduled
July 22, 2024 06:12 2s develop
develop
July 22, 2024 06:12 2s
Synchronize labels Synchronize labels #437: Scheduled
July 21, 2024 18:10 2s develop
develop
July 21, 2024 18:10 2s
Synchronize labels Synchronize labels #436: Scheduled
July 21, 2024 06:11 2s develop
develop
July 21, 2024 06:11 2s
Synchronize labels Synchronize labels #435: Scheduled
July 20, 2024 18:10 2s develop
develop
July 20, 2024 18:10 2s
Synchronize labels Synchronize labels #434: Scheduled
July 20, 2024 06:13 3s develop
develop
July 20, 2024 06:13 3s
Synchronize labels Synchronize labels #433: Scheduled
July 19, 2024 18:11 3s develop
develop
July 19, 2024 18:11 3s