Skip to content

Actions: oscar-system/Oscar.jl

Actions

TagBot

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
TagBot.yml
5,647 workflow runs
5,647 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Minimal associated primes TagBot #17296: Issue comment #3705 (comment) created by simonbrandhorst
November 1, 2024 13:45 1s
November 1, 2024 13:45 1s
Add isomorphism(::Type{PermGroup}, ::WeylGroup) for some cases TagBot #17295: Issue comment #4264 (comment) created by codecov bot
November 1, 2024 10:56 2s
November 1, 2024 10:56 2s
add stabilizer for G-sets w.r.t. derived actions TagBot #17294: Issue comment #4265 (comment) created by codecov bot
October 31, 2024 19:30 2s
October 31, 2024 19:30 2s
QuadFormAndIsom: add a missing check and remove some unnecessary @req TagBot #17293: Issue comment #4262 (comment) created by codecov bot
October 31, 2024 16:47 2s
October 31, 2024 16:47 2s
Bug in primary decomposition & does not terminate on a principal ideal TagBot #17292: Issue comment #3905 (comment) created by fieker
October 31, 2024 14:43 2s
October 31, 2024 14:43 2s
Bug in primary decomposition & does not terminate on a principal ideal TagBot #17291: Issue comment #3905 (comment) created by fieker
October 31, 2024 14:42 2s
October 31, 2024 14:42 2s
Bug in primary decomposition & does not terminate on a principal ideal TagBot #17290: Issue comment #3905 (comment) created by hannes14
October 31, 2024 14:19 2s
October 31, 2024 14:19 2s
move Weyl groups into OSCAR core TagBot #17289: Issue comment #4263 (comment) created by lgoettgens
October 31, 2024 14:03 2s
October 31, 2024 14:03 2s
BoundsError thrown by weight(hook_lengths(partition([4,2,1]))) TagBot #17288: Issue comment #4230 (comment) created by JohnAAbbott
October 31, 2024 13:29 2s
October 31, 2024 13:29 2s
Replace all uses of FlintQQ and FlintZZ TagBot #17287: Issue comment #4261 (comment) created by codecov bot
October 31, 2024 12:13 2s
October 31, 2024 12:13 2s
Replace all uses of FlintQQ and FlintZZ TagBot #17286: Issue comment #4261 (comment) created by lgoettgens
October 31, 2024 12:06 3s
October 31, 2024 12:06 3s
Replace all uses of FlintQQ and FlintZZ TagBot #17285: Issue comment #4261 (comment) created by joschmitt
October 31, 2024 12:00 2s
October 31, 2024 12:00 2s
monomial basis for MPolyQuoLocRing TagBot #17284: Issue comment #4235 (comment) created by wdecker
October 31, 2024 10:28 2s
October 31, 2024 10:28 2s
Tweak Betti table printing TagBot #17283: Issue comment #4256 (comment) created by fingolfin
October 31, 2024 09:51 1s
October 31, 2024 09:51 1s
monomial basis for MPolyQuoLocRing TagBot #17282: Issue comment #4235 (comment) created by afkafkafk13
October 31, 2024 09:47 2s
October 31, 2024 09:47 2s
monomial basis for MPolyQuoLocRing TagBot #17281: Issue comment #4235 (comment) created by jankoboehm
October 31, 2024 09:39 2s
October 31, 2024 09:39 2s
Limit the number of global objects TagBot #17280: Issue comment #1379 (comment) created by fieker
October 31, 2024 07:26 2s
October 31, 2024 07:26 2s
Update license TagBot #17279: Issue comment #4257 (comment) created by thofma
October 30, 2024 21:06 2s
October 30, 2024 21:06 2s
Add letters function for PcGroupElem TagBot #17278: Issue comment #4202 (comment) created by fingolfin
October 30, 2024 20:36 2s
October 30, 2024 20:36 2s
Update license TagBot #17277: Issue comment #4257 (comment) created by fingolfin
October 30, 2024 20:20 3s
October 30, 2024 20:20 3s
Tweak Betti table printing TagBot #17276: Issue comment #4256 (comment) created by fingolfin
October 30, 2024 17:03 1s
October 30, 2024 17:03 1s
add argument check to G-set constructor TagBot #17275: Issue comment #4259 (comment) created by codecov bot
October 30, 2024 16:53 2s
October 30, 2024 16:53 2s
Invalidations TagBot #17274: Issue comment #2525 (comment) created by lgoettgens
October 30, 2024 16:21 2s
October 30, 2024 16:21 2s
Tweak Betti table printing TagBot #17273: Issue comment #4256 (comment) created by wdecker
October 30, 2024 16:13 2s
October 30, 2024 16:13 2s
Groups: G-sets TagBot #17272: Issue comment #108 (comment) created by lgoettgens
October 30, 2024 16:11 2s
October 30, 2024 16:11 2s