Skip to content

Actions: oscar-system/Singular.jl

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fres for smodule Run tests #1041: Pull request #695 synchronize by hannes14
August 8, 2023 08:45 5m 39s hs/fres_module
hs/fres_module
August 8, 2023 08:45 5m 39s
fres for smodule OscarCI #509: Pull request #695 opened by hannes14
August 8, 2023 08:32 14m 4s hs/fres_module
hs/fres_module
August 8, 2023 08:32 14m 4s
fres for smodule Run tests #1040: Pull request #695 opened by hannes14
August 8, 2023 08:32 7m 57s hs/fres_module
hs/fres_module
August 8, 2023 08:32 7m 57s
fres for smodule Invalidations #63: Pull request #695 opened by hannes14
August 8, 2023 08:32 5m 37s hs/fres_module
hs/fres_module
August 8, 2023 08:32 5m 37s
CompatHelper CompatHelper #1153: Scheduled
August 8, 2023 00:12 3m 42s master
master
August 8, 2023 00:12 3m 42s
Add hilbert_series OscarCI #508: Pull request #694 opened by hannes14
August 7, 2023 12:33 10m 42s hs/hilb
hs/hilb
August 7, 2023 12:33 10m 42s
Add hilbert_series Run tests #1039: Pull request #694 opened by hannes14
August 7, 2023 12:33 2h 16m 50s hs/hilb
hs/hilb
August 7, 2023 12:33 2h 16m 50s
Add hilbert_series Invalidations #62: Pull request #694 opened by hannes14
August 7, 2023 12:33 5m 30s hs/hilb
hs/hilb
August 7, 2023 12:33 5m 30s
Divrem fixes Invalidations #61: Pull request #689 reopened by ederc
August 7, 2023 11:15 5m 47s ederc:divrem-fixes
ederc:divrem-fixes
August 7, 2023 11:15 5m 47s
Divrem fixes OscarCI #507: Pull request #689 reopened by ederc
August 7, 2023 11:15 2h 2m 23s ederc:divrem-fixes
ederc:divrem-fixes
August 7, 2023 11:15 2h 2m 23s
Divrem fixes Run tests #1038: Pull request #689 reopened by ederc
August 7, 2023 11:15 1h 8m 28s ederc:divrem-fixes
ederc:divrem-fixes
August 7, 2023 11:15 1h 8m 28s
Divrem fixes Run tests #1037: Pull request #689 synchronize by ederc
August 7, 2023 09:08 16m 23s ederc:divrem-fixes
ederc:divrem-fixes
August 7, 2023 09:08 16m 23s
Divrem fixes Invalidations #60: Pull request #689 synchronize by ederc
August 7, 2023 09:08 4m 52s ederc:divrem-fixes
ederc:divrem-fixes
August 7, 2023 09:08 4m 52s
Divrem fixes OscarCI #506: Pull request #689 synchronize by ederc
August 7, 2023 09:08 1h 42m 38s ederc:divrem-fixes
ederc:divrem-fixes
August 7, 2023 09:08 1h 42m 38s
CompatHelper CompatHelper #1152: Scheduled
August 7, 2023 00:13 3m 13s master
master
August 7, 2023 00:13 3m 13s
CompatHelper CompatHelper #1151: Scheduled
August 6, 2023 00:12 2m 55s master
master
August 6, 2023 00:12 2m 55s
CompatHelper CompatHelper #1150: Scheduled
August 5, 2023 00:12 3m 21s master
master
August 5, 2023 00:12 3m 21s
Update to latest libsingular_julia/Singular_jll Run tests #1036: Pull request #693 opened by hannes14
August 4, 2023 12:26 19m 58s hs/versions
hs/versions
August 4, 2023 12:26 19m 58s
Update to latest libsingular_julia/Singular_jll OscarCI #505: Pull request #693 opened by hannes14
August 4, 2023 12:26 2h 14m 32s hs/versions
hs/versions
August 4, 2023 12:26 2h 14m 32s
Update to latest libsingular_julia/Singular_jll Invalidations #59: Pull request #693 opened by hannes14
August 4, 2023 12:26 5m 37s hs/versions
hs/versions
August 4, 2023 12:26 5m 37s
CompatHelper CompatHelper #1149: Scheduled
August 4, 2023 00:13 3m 32s master
master
August 4, 2023 00:13 3m 32s
update Singular_jll OscarCI #504: Pull request #690 opened by hannes14
August 3, 2023 13:26 4m 10s hs/Singular_jll
hs/Singular_jll
August 3, 2023 13:26 4m 10s
update Singular_jll Invalidations #58: Pull request #690 opened by hannes14
August 3, 2023 13:26 29s hs/Singular_jll
hs/Singular_jll
August 3, 2023 13:26 29s
update Singular_jll Run tests #1035: Pull request #690 opened by hannes14
August 3, 2023 13:26 2h 32m 50s hs/Singular_jll
hs/Singular_jll
August 3, 2023 13:26 2h 32m 50s
Divrem fixes Run tests #1034: Pull request #689 opened by ederc
August 3, 2023 11:34 6m 24s ederc:divrem-fixes
ederc:divrem-fixes
August 3, 2023 11:34 6m 24s
ProTip! You can narrow down the results and go further in time using created:<2023-08-03 or the other filters available.