Skip to content

Actions: oscar-system/Singular.jl

Actions

Run tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CI.yml
503 workflow runs
503 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add some type assertions Run tests #1444: Pull request #831 opened by fingolfin
September 19, 2024 10:10 2m 5s fingolfin:mh/type-assertions
fingolfin:mh/type-assertions
September 19, 2024 10:10 2m 5s
Delete unused Singular.NCRing Run tests #1443: Pull request #830 opened by fingolfin
September 19, 2024 10:08 4m 2s fingolfin:mh/no-Singular.NCRing
fingolfin:mh/no-Singular.NCRing
September 19, 2024 10:08 4m 2s
Bump Nemo and AA compat (#829) Run tests #1442: Commit 4d42ee1 pushed by thofma
September 19, 2024 09:34 3m 5s v0.23.6
v0.23.6
September 19, 2024 09:34 3m 5s
Merge pull request #826 from ederc/quotient-module Run tests #1441: Commit eb1d59d pushed by wdecker
September 19, 2024 09:17 7m 34s master
master
September 19, 2024 09:17 7m 34s
Bump Nemo and AA compat (#829) Run tests #1440: Commit 4d42ee1 pushed by thofma
September 19, 2024 09:10 4m 36s master
master
September 19, 2024 09:10 4m 36s
Bump Nemo and AA compat Run tests #1439: Pull request #829 synchronize by lgoettgens
September 19, 2024 08:29 3m 51s lgoettgens:lg/bump-deps
lgoettgens:lg/bump-deps
September 19, 2024 08:29 3m 51s
Bump Nemo and AA compat Run tests #1438: Pull request #829 opened by lgoettgens
September 19, 2024 08:22 3m 56s lgoettgens:lg/bump-deps
lgoettgens:lg/bump-deps
September 19, 2024 08:22 3m 56s
Run tests Run tests #1437: Scheduled
September 19, 2024 03:08 3m 41s master
master
September 19, 2024 03:08 3m 41s
Bump Nemo and AA compat Run tests #1436: Pull request #828 opened by lgoettgens
September 18, 2024 15:42 3m 45s lgoettgens:patch-2
lgoettgens:patch-2
September 18, 2024 15:42 3m 45s
Extending GB for modules to non-commutative Run tests #1435: Pull request #827 opened by Lax202
September 18, 2024 12:54 3m 49s Lax202:lr/dev
Lax202:lr/dev
September 18, 2024 12:54 3m 49s
Quotients of modules Run tests #1434: Pull request #826 synchronize by ederc
September 18, 2024 12:50 3m 15s ederc:quotient-module
ederc:quotient-module
September 18, 2024 12:50 3m 15s
Quotients of modules Run tests #1433: Pull request #826 synchronize by ederc
September 18, 2024 12:39 3m 14s ederc:quotient-module
ederc:quotient-module
September 18, 2024 12:39 3m 14s
Quotients of modules Run tests #1432: Pull request #826 opened by ederc
September 18, 2024 11:43 3m 7s ederc:quotient-module
ederc:quotient-module
September 18, 2024 11:43 3m 7s
Run tests Run tests #1431: Scheduled
September 18, 2024 03:07 3m 53s master
master
September 18, 2024 03:07 3m 53s
Run tests Run tests #1430: Scheduled
September 17, 2024 03:07 3m 48s master
master
September 17, 2024 03:07 3m 48s
Run relevant jobs daily at 3:00AM UTC (#825) Run tests #1429: Commit 91cb5d4 pushed by hannes14
September 16, 2024 11:41 17m 52s master
master
September 16, 2024 11:41 17m 52s
Run tests jobs daily at 3:00AM UTC Run tests #1428: Pull request #825 opened by HereAround
September 13, 2024 12:39 3m 54s HereAround:DailyCIjobs
HereAround:DailyCIjobs
September 13, 2024 12:39 3m 54s
Version 0.23.5 (#824) Run tests #1427: Commit 11c22b7 pushed by thofma
September 12, 2024 13:15 3m 11s v0.23.5
v0.23.5
September 12, 2024 13:15 3m 11s
Version 0.23.5 (#824) Run tests #1426: Commit 11c22b7 pushed by fingolfin
September 12, 2024 12:52 3m 43s master
master
September 12, 2024 12:52 3m 43s
Version 0.23.5 Run tests #1425: Pull request #824 opened by fingolfin
September 10, 2024 10:05 13m 8s fingolfin:mh/v0.23.5
fingolfin:mh/v0.23.5
September 10, 2024 10:05 13m 8s
also check for equal orderings in map_ideal (#823) Run tests #1424: Commit eb4cb9f pushed by hannes14
September 8, 2024 14:10 3m 58s master
master
September 8, 2024 14:10 3m 58s
also check for equal orderings in map_ideal Run tests #1423: Pull request #823 synchronize by hannes14
September 6, 2024 13:26 4m 3s hannes14:hs/map_ideal_ordering
hannes14:hs/map_ideal_ordering
September 6, 2024 13:26 4m 3s
also check for equal orderings in map_ideal Run tests #1422: Pull request #823 synchronize by hannes14
September 6, 2024 12:04 3m 25s hannes14:hs/map_ideal_ordering
hannes14:hs/map_ideal_ordering
September 6, 2024 12:04 3m 25s
also check for equal orderings in map_ideal Run tests #1421: Pull request #823 opened by hannes14
September 6, 2024 08:40 3m 21s hannes14:hs/map_ideal_ordering
hannes14:hs/map_ideal_ordering
September 6, 2024 08:40 3m 21s
CI: stop testing for invalidations (#819) Run tests #1420: Commit 830740b pushed by fingolfin
September 4, 2024 11:16 3m 17s master
master
September 4, 2024 11:16 3m 17s