Actions: Nemocas/AbstractAlgebra.jl
Actions
Showing runs from all workflows
10,269 workflow runs
10,269 workflow runs
UniversalPolyRing
with variables
Run tests
#4132:
Pull request #1993
opened
by
SoongNoonien
UniversalPolyRing
with variables
HeckeCI
#1349:
Pull request #1993
opened
by
SoongNoonien
UniversalPolyRing
with variables
NemoCI
#1348:
Pull request #1993
opened
by
SoongNoonien
UniversalPolyRing
with variables
OscarCI
#3280:
Pull request #1993
opened
by
SoongNoonien
UniversalPolyRing
with variables
SingularCI
#1348:
Pull request #1993
opened
by
SoongNoonien
mpoly_ring
in UniversalPolyRing
instead of the who…
TagBot
#6529:
Issue comment #1992 (comment)
created
by
codecov
bot
mpoly_ring
in UniversalPolyRing
instead of the who…
HeckeCI
#1348:
Pull request #1992
synchronize
by
SoongNoonien
mpoly_ring
in UniversalPolyRing
instead of the who…
NemoCI
#1347:
Pull request #1992
synchronize
by
SoongNoonien
mpoly_ring
in UniversalPolyRing
instead of the who…
OscarCI
#3279:
Pull request #1992
synchronize
by
SoongNoonien
mpoly_ring
in UniversalPolyRing
instead of the who…
Run tests
#4131:
Pull request #1992
synchronize
by
SoongNoonien
mpoly_ring
in UniversalPolyRing
instead of the who…
SingularCI
#1347:
Pull request #1992
synchronize
by
SoongNoonien
is_zero(::NCRing)
as an alias of is_trivial
TagBot
#6527:
Issue comment #1991 (comment)
created
by
codecov
bot
mpoly_ring
in UniversalPolyRing
instead of the who…
NemoCI
#1346:
Pull request #1992
synchronize
by
SoongNoonien
mpoly_ring
in UniversalPolyRing
instead of the who…
SingularCI
#1346:
Pull request #1992
synchronize
by
SoongNoonien
mpoly_ring
in UniversalPolyRing
instead of the who…
HeckeCI
#1347:
Pull request #1992
synchronize
by
SoongNoonien
mpoly_ring
in UniversalPolyRing
instead of the who…
Run tests
#4130:
Pull request #1992
synchronize
by
SoongNoonien
mpoly_ring
in UniversalPolyRing
instead of the who…
OscarCI
#3278:
Pull request #1992
synchronize
by
SoongNoonien
mpoly_ring
in UniversalPolyRing
instead of the who…
SingularCI
#1345:
Pull request #1992
opened
by
SoongNoonien
mpoly_ring
in UniversalPolyRing
instead of the who…
HeckeCI
#1346:
Pull request #1992
opened
by
SoongNoonien
mpoly_ring
in UniversalPolyRing
instead of the who…
NemoCI
#1345:
Pull request #1992
opened
by
SoongNoonien
mpoly_ring
in UniversalPolyRing
instead of the who…
OscarCI
#3277:
Pull request #1992
opened
by
SoongNoonien
mpoly_ring
in UniversalPolyRing
instead of the who…
Run tests
#4129:
Pull request #1992
opened
by
SoongNoonien