Actions: oscar-system/Singular.jl
OscarCI
OscarCI
#935:
Scheduled
October 27, 2024 03:14
2h 56m 39s
master
October 27, 2024 03:14
2h 56m 39s
OscarCI
OscarCI
#934:
Scheduled
October 26, 2024 03:09
2h 50m 50s
master
October 26, 2024 03:09
2h 50m 50s
OscarCI
OscarCI
#933:
Scheduled
October 25, 2024 03:12
2h 56m 2s
master
October 25, 2024 03:12
2h 56m 2s
OscarCI
OscarCI
#932:
Scheduled
October 24, 2024 03:10
2h 54m 7s
master
October 24, 2024 03:10
2h 54m 7s
OscarCI
OscarCI
#931:
Scheduled
October 23, 2024 03:11
2h 54m 56s
master
October 23, 2024 03:11
2h 54m 56s
OscarCI
OscarCI
#930:
Scheduled
October 22, 2024 03:11
2h 55m 48s
master
October 22, 2024 03:11
2h 55m 48s
OscarCI
OscarCI
#929:
Scheduled
October 21, 2024 03:14
3h 0m 50s
master
October 21, 2024 03:14
3h 0m 50s
OscarCI
OscarCI
#928:
Scheduled
October 20, 2024 03:14
2h 55m 44s
master
October 20, 2024 03:14
2h 55m 44s
OscarCI
OscarCI
#927:
Scheduled
October 19, 2024 03:10
3h 7m 40s
master
October 19, 2024 03:10
3h 7m 40s
OscarCI
OscarCI
#926:
Scheduled
October 18, 2024 03:11
2h 59m 49s
master
October 18, 2024 03:11
2h 59m 49s
OscarCI
OscarCI
#925:
Scheduled
October 17, 2024 03:11
6h 1m 17s
master
October 17, 2024 03:11
6h 1m 17s
OscarCI
OscarCI
#924:
Scheduled
October 16, 2024 03:13
2h 52m 35s
master
October 16, 2024 03:13
2h 52m 35s
October 15, 2024 15:26
3h 20m 19s
October 15, 2024 14:38
3h 4m 19s
October 15, 2024 08:29
3h 5m 25s
OscarCI
OscarCI
#920:
Scheduled
October 15, 2024 03:12
3h 15m 30s
master
October 15, 2024 03:12
3h 15m 30s
OscarCI
OscarCI
#919:
Scheduled
October 14, 2024 03:13
2h 56m 30s
master
October 14, 2024 03:13
2h 56m 30s
OscarCI
OscarCI
#918:
Scheduled
October 13, 2024 03:13
6h 1m 14s
master
October 13, 2024 03:13
6h 1m 14s
October 12, 2024 14:02
2h 58m 56s
OscarCI
OscarCI
#916:
Scheduled
October 12, 2024 03:08
2h 57m 8s
master
October 12, 2024 03:08
2h 57m 8s
October 11, 2024 12:52
22m 59s
OscarCI
OscarCI
#914:
Scheduled
October 11, 2024 03:10
2h 54m 12s
master
October 11, 2024 03:10
2h 54m 12s
OscarCI
OscarCI
#913:
Scheduled
October 10, 2024 03:10
3h 1m 29s
master
October 10, 2024 03:10
3h 1m 29s
OscarCI
OscarCI
#912:
Scheduled
October 9, 2024 03:10
6h 1m 23s
master
October 9, 2024 03:10
6h 1m 23s
OscarCI
OscarCI
#911:
Scheduled
October 8, 2024 03:13
3h 5m 43s
master
October 8, 2024 03:13
3h 5m 43s
You can’t perform that action at this time.