Skip to content

Actions: oscar-system/GAP.jl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,518 workflow runs
2,518 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

OscarCI OscarCI #921: Scheduled
December 30, 2024 03:14 2m 45s master
master
December 30, 2024 03:14 2m 45s
pages build and deployment pages-build-deployment #412: by fingolfin
December 29, 2024 03:19 43s gh-pages
gh-pages
December 29, 2024 03:19 43s
CI CI #1619: Scheduled
December 29, 2024 03:17 19m 21s master
master
December 29, 2024 03:17 19m 21s
CI with GAP CI with GAP #439: Scheduled
December 29, 2024 03:16 32m 51s master
master
December 29, 2024 03:16 32m 51s
OscarCI OscarCI #920: Scheduled
December 29, 2024 03:16 2m 40s master
master
December 29, 2024 03:16 2m 40s
pages build and deployment pages-build-deployment #411: by fingolfin
December 28, 2024 03:16 40s gh-pages
gh-pages
December 28, 2024 03:16 40s
CI CI #1618: Scheduled
December 28, 2024 03:14 14m 26s master
master
December 28, 2024 03:14 14m 26s
CI with GAP CI with GAP #438: Scheduled
December 28, 2024 03:13 29m 52s master
master
December 28, 2024 03:13 29m 52s
OscarCI OscarCI #919: Scheduled
December 28, 2024 03:11 2m 49s master
master
December 28, 2024 03:11 2m 49s
pages build and deployment pages-build-deployment #410: by fingolfin
December 27, 2024 03:17 42s gh-pages
gh-pages
December 27, 2024 03:17 42s
CI CI #1617: Scheduled
December 27, 2024 03:15 15m 53s master
master
December 27, 2024 03:15 15m 53s
CI with GAP CI with GAP #437: Scheduled
December 27, 2024 03:14 30m 45s master
master
December 27, 2024 03:14 30m 45s
OscarCI OscarCI #918: Scheduled
December 27, 2024 03:12 3m 5s master
master
December 27, 2024 03:12 3m 5s
pages build and deployment pages-build-deployment #409: by fingolfin
December 26, 2024 03:17 37s gh-pages
gh-pages
December 26, 2024 03:17 37s
CI CI #1616: Scheduled
December 26, 2024 03:15 16m 49s master
master
December 26, 2024 03:15 16m 49s
CI with GAP CI with GAP #436: Scheduled
December 26, 2024 03:14 32m 4s master
master
December 26, 2024 03:14 32m 4s
OscarCI OscarCI #917: Scheduled
December 26, 2024 03:12 2m 51s master
master
December 26, 2024 03:12 2m 51s
pages build and deployment pages-build-deployment #408: by fingolfin
December 25, 2024 03:17 41s gh-pages
gh-pages
December 25, 2024 03:17 41s
CI CI #1615: Scheduled
December 25, 2024 03:14 19m 42s master
master
December 25, 2024 03:14 19m 42s
CI with GAP CI with GAP #435: Scheduled
December 25, 2024 03:14 29m 43s master
master
December 25, 2024 03:14 29m 43s
OscarCI OscarCI #916: Scheduled
December 25, 2024 03:11 2m 41s master
master
December 25, 2024 03:11 2m 41s
pages build and deployment pages-build-deployment #407: by fingolfin
December 24, 2024 03:26 37s gh-pages
gh-pages
December 24, 2024 03:26 37s
CI CI #1614: Scheduled
December 24, 2024 03:15 27m 3s master
master
December 24, 2024 03:15 27m 3s
CI with GAP CI with GAP #434: Scheduled
December 24, 2024 03:14 32m 14s master
master
December 24, 2024 03:14 32m 14s
OscarCI OscarCI #915: Scheduled
December 24, 2024 03:12 2m 50s master
master
December 24, 2024 03:12 2m 50s