Skip to content

Actions: oscar-system/Singular.jl

OscarCI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
454 workflow runs
454 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

OscarCI
OscarCI #910: Scheduled
October 7, 2024 03:13 6h 1m 21s master
October 7, 2024 03:13 6h 1m 21s
OscarCI
OscarCI #909: Scheduled
October 6, 2024 03:13 3h 0m 44s master
October 6, 2024 03:13 3h 0m 44s
OscarCI
OscarCI #908: Scheduled
October 5, 2024 03:09 6h 1m 19s master
October 5, 2024 03:09 6h 1m 19s
OscarCI
OscarCI #907: Scheduled
October 4, 2024 03:10 3h 3m 25s master
October 4, 2024 03:10 3h 3m 25s
OscarCI
OscarCI #906: Scheduled
October 3, 2024 03:11 2h 59m 33s master
October 3, 2024 03:11 2h 59m 33s
OscarCI
OscarCI #905: Scheduled
October 2, 2024 03:10 3h 2m 59s master
October 2, 2024 03:10 3h 2m 59s
fix quotient /saturation for smodule (#835)
OscarCI #904: Commit 14c4df2 pushed by hannes14
October 1, 2024 12:55 6h 1m 19s master
October 1, 2024 12:55 6h 1m 19s
OscarCI
OscarCI #903: Scheduled
October 1, 2024 03:17 3h 6m 36s master
October 1, 2024 03:17 3h 6m 36s
fix quotient /saturation for smodule
OscarCI #902: Pull request #835 opened by hannes14
September 30, 2024 13:17 3h 2m 15s hannes14:hs/quotient
September 30, 2024 13:17 3h 2m 15s
OscarCI
OscarCI #901: Scheduled
September 30, 2024 03:14 2h 55m 57s master
September 30, 2024 03:14 2h 55m 57s
OscarCI
OscarCI #900: Scheduled
September 29, 2024 03:13 2h 59m 1s master
September 29, 2024 03:13 2h 59m 1s
OscarCI
OscarCI #899: Scheduled
September 28, 2024 03:09 3h 5m 25s master
September 28, 2024 03:09 3h 5m 25s
Update to 0.23.8 (#834)
OscarCI #898: Commit aa9bb52 pushed by fingolfin
September 27, 2024 14:46 6h 1m 19s master
September 27, 2024 14:46 6h 1m 19s
Update to 0.23.8
OscarCI #897: Pull request #834 opened by hannes14
September 27, 2024 11:48 2h 57m 23s hannes14:hs/singular
September 27, 2024 11:48 2h 57m 23s
OscarCI
OscarCI #896: Scheduled
September 27, 2024 03:11 2h 59m 17s master
September 27, 2024 03:11 2h 59m 17s
add length for svector (#833)
OscarCI #895: Commit 77d0943 pushed by hannes14
September 26, 2024 07:38 3h 4m 39s master
September 26, 2024 07:38 3h 4m 39s
OscarCI
OscarCI #894: Scheduled
September 26, 2024 03:10 6h 1m 23s master
September 26, 2024 03:10 6h 1m 23s
add length for svector
OscarCI #893: Pull request #833 opened by hannes14
September 25, 2024 11:47 3h 4m 5s hannes14:hs/length_svector
September 25, 2024 11:47 3h 4m 5s
OscarCI
OscarCI #892: Scheduled
September 25, 2024 03:12 2h 59m 30s master
September 25, 2024 03:12 2h 59m 30s
OscarCI
OscarCI #891: Scheduled
September 24, 2024 03:10 6h 1m 17s master
September 24, 2024 03:10 6h 1m 17s
OscarCI
OscarCI #890: Scheduled
September 23, 2024 03:10 3h 5m 3s master
September 23, 2024 03:10 3h 5m 3s
OscarCI
OscarCI #889: Scheduled
September 22, 2024 03:12 3h 3m 36s master
September 22, 2024 03:12 3h 3m 36s
OscarCI
OscarCI #888: Scheduled
September 21, 2024 03:07 2h 57m 36s master
September 21, 2024 03:07 2h 57m 36s
OscarCI
OscarCI #887: Scheduled
September 20, 2024 03:08 4m 11s master
September 20, 2024 03:08 4m 11s
Version 0.23.7 (#832)
OscarCI #886: Commit 89c0757 pushed by fingolfin
September 19, 2024 13:26 35m 19s master
September 19, 2024 13:26 35m 19s