Skip to content

Actions: oscar-system/Singular.jl

Actions

OscarCI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
oscar.yml
433 workflow runs
433 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

keep isGB in map_ideal (https://github.com/oscar-system/Oscar.jl/issu… OscarCI #852: Pull request #820 opened by hannes14
August 20, 2024 09:17 6h 1m 27s hannes14:hs/map_ideal
hannes14:hs/map_ideal
August 20, 2024 09:17 6h 1m 27s
CI: stop testing for invalidations OscarCI #851: Pull request #819 opened by fingolfin
July 26, 2024 14:47 6h 1m 21s fingolfin:mh/rm-invalidations-ci-Singular
fingolfin:mh/rm-invalidations-ci-Singular
July 26, 2024 14:47 6h 1m 21s
chore: tag 0.23.4 (#818) OscarCI #850: Commit b888b27 pushed by thofma
July 20, 2024 07:06 6h 1m 16s master
master
July 20, 2024 07:06 6h 1m 16s
chore: tag 0.23.4 OscarCI #849: Pull request #818 opened by thofma
July 19, 2024 22:46 6h 1m 18s th/bumpbump
th/bumpbump
July 19, 2024 22:46 6h 1m 18s
Bump Nemo compat (#817) OscarCI #848: Commit ed99edd pushed by thofma
July 19, 2024 15:27 6h 1m 18s master
master
July 19, 2024 15:27 6h 1m 18s
Test against Julia 1.11-rc1 (#816) OscarCI #847: Commit ea277c6 pushed by fingolfin
July 19, 2024 13:11 6h 39m 23s master
master
July 19, 2024 13:11 6h 39m 23s
Provide a stale_age to mkpidlock (#815) OscarCI #846: Commit ac6d9d0 pushed by fingolfin
July 19, 2024 13:09 6h 32m 35s master
master
July 19, 2024 13:09 6h 32m 35s
Bump Nemo compat OscarCI #845: Pull request #817 opened by lgoettgens
July 19, 2024 12:53 2h 33m 36s lgoettgens:lg/Nemo-bump
lgoettgens:lg/Nemo-bump
July 19, 2024 12:53 2h 33m 36s
Test against Julia 1.11-rc1 OscarCI #844: Pull request #816 opened by fingolfin
July 5, 2024 10:03 2h 32m 2s fingolfin:mh/CI
fingolfin:mh/CI
July 5, 2024 10:03 2h 32m 2s
Provide a stale_age to mkpidlock OscarCI #843: Pull request #815 opened by fingolfin
July 5, 2024 10:02 2h 26m 38s mh/mkpidlock
mh/mkpidlock
July 5, 2024 10:02 2h 26m 38s
CI: update julia-actions/cache to v2 (#813) OscarCI #842: Commit 5db1914 pushed by fingolfin
July 2, 2024 13:37 2h 50m 55s master
master
July 2, 2024 13:37 2h 50m 55s
CI: update julia-actions/cache to v2 OscarCI #841: Pull request #813 opened by fingolfin
July 2, 2024 13:31 2h 27m 49s fingolfin:mh/CI
fingolfin:mh/CI
July 2, 2024 13:31 2h 27m 49s
Version 0.23.3 (#812) OscarCI #840: Commit 9887809 pushed by fingolfin
July 1, 2024 05:51 2h 29m 8s master
master
July 1, 2024 05:51 2h 29m 8s
Version 0.23.3 OscarCI #839: Pull request #812 opened by fingolfin
June 30, 2024 23:47 2h 21m 45s mh/release
mh/release
June 30, 2024 23:47 2h 21m 45s
option handling, fix #808 (#810) OscarCI #838: Commit 8a4d1d1 pushed by hannes14
June 29, 2024 11:44 2h 17m 10s master
master
June 29, 2024 11:44 2h 17m 10s
option handling, fix #808 OscarCI #837: Pull request #810 synchronize by fingolfin
June 28, 2024 17:07 2h 27m 23s hannes14:hs/options
hannes14:hs/options
June 28, 2024 17:07 2h 27m 23s
option handling, fix #808 OscarCI #836: Pull request #810 synchronize by hannes14
June 28, 2024 13:59 2h 25m 54s hannes14:hs/options
hannes14:hs/options
June 28, 2024 13:59 2h 25m 54s
option handling, fix #808 OscarCI #835: Pull request #810 synchronize by hannes14
June 28, 2024 07:12 2h 20m 7s hannes14:hs/options
hannes14:hs/options
June 28, 2024 07:12 2h 20m 7s
option handling, fix #808 OscarCI #834: Pull request #810 reopened by fingolfin
June 27, 2024 22:39 2h 33m 22s hannes14:hs/options
hannes14:hs/options
June 27, 2024 22:39 2h 33m 22s
extend rQuotientRing to non-commutative quotient rings (#809) OscarCI #833: Commit 31a9b23 pushed by hannes14
June 26, 2024 08:28 2h 26m 1s master
master
June 26, 2024 08:28 2h 26m 1s
option handling, fix #808 OscarCI #832: Pull request #810 synchronize by hannes14
June 17, 2024 14:37 2h 17m 29s hannes14:hs/options
hannes14:hs/options
June 17, 2024 14:37 2h 17m 29s
option handling, fix #808 OscarCI #831: Pull request #810 synchronize by hannes14
June 17, 2024 13:31 10m 7s hannes14:hs/options
hannes14:hs/options
June 17, 2024 13:31 10m 7s
option handling, fix #808 OscarCI #830: Pull request #810 synchronize by hannes14
June 14, 2024 10:08 2h 9m 16s hannes14:hs/options
hannes14:hs/options
June 14, 2024 10:08 2h 9m 16s
option handling, fix #808 OscarCI #829: Pull request #810 synchronize by hannes14
June 14, 2024 08:48 42m 21s hannes14:hs/options
hannes14:hs/options
June 14, 2024 08:48 42m 21s
option handling, fix #808 OscarCI #828: Pull request #810 synchronize by hannes14
June 13, 2024 09:34 37m 49s hannes14:hs/options
hannes14:hs/options
June 13, 2024 09:34 37m 49s