Skip to content

Actions: Nemocas/AbstractAlgebra.jl

Actions

NemoCI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nemo.yml
916 workflow runs
916 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use @show_name, @show_special for (M)PolyRing NemoCI #91: Pull request #1628 opened by fingolfin
February 28, 2024 01:48 11m 27s fingolfin:mh/show_name-MPolyRing
fingolfin:mh/show_name-MPolyRing
February 28, 2024 01:48 11m 27s
Use supercompact on field/ring in show method for FreeModule NemoCI #90: Pull request #1627 opened by fingolfin
February 28, 2024 01:44 11m 11s mh/supercompact-free-module-vector-space
mh/supercompact-free-module-vector-space
February 28, 2024 01:44 11m 11s
FreeModule -> free_module; VectorSpace -> vector_space NemoCI #89: Pull request #1626 opened by fingolfin
February 28, 2024 01:07 11m 0s mh/FreeModule
mh/FreeModule
February 28, 2024 01:07 11m 0s
Consolidate some using statements and make them explicit (#1623) NemoCI #88: Commit 3f467d6 pushed by fingolfin
February 27, 2024 22:30 11m 15s master
master
February 27, 2024 22:30 11m 15s
Rename UniversalPolynomialRing to universal_polynomial_ring NemoCI #87: Pull request #1625 opened by lgoettgens
February 27, 2024 15:06 11m 27s lgoettgens:lg/univpoly
lgoettgens:lg/univpoly
February 27, 2024 15:06 11m 27s
Consolidate some using statements and make them explicit NemoCI #86: Pull request #1623 opened by lgoettgens
February 26, 2024 14:50 11m 17s lgoettgens:lg/imports2
lgoettgens:lg/imports2
February 26, 2024 14:50 11m 17s
Consolidate some using statements and make them explicit NemoCI #85: Pull request #1622 reopened by lgoettgens
February 26, 2024 13:22 10m 59s lgoettgens:lg/imports
lgoettgens:lg/imports
February 26, 2024 13:22 10m 59s
Consolidate some using statements and make them explicit NemoCI #84: Pull request #1622 opened by lgoettgens
February 26, 2024 10:59 10m 58s lgoettgens:lg/imports
lgoettgens:lg/imports
February 26, 2024 10:59 10m 58s
fix: make type inference happier (#1621) NemoCI #83: Commit 7837669 pushed by thofma
February 23, 2024 12:37 11m 29s master
master
February 23, 2024 12:37 11m 29s
fix: make type inference happier NemoCI #82: Pull request #1621 synchronize by thofma
February 23, 2024 09:33 12m 6s th/fixinfinf
th/fixinfinf
February 23, 2024 09:33 12m 6s
fix: make type inference happier NemoCI #81: Pull request #1621 synchronize by thofma
February 23, 2024 09:33 34s th/fixinfinf
th/fixinfinf
February 23, 2024 09:33 34s
fix: make type inference happier NemoCI #80: Pull request #1621 synchronize by thofma
February 23, 2024 09:06 10m 42s th/fixinfinf
th/fixinfinf
February 23, 2024 09:06 10m 42s
fix: make type inference happier NemoCI #79: Pull request #1621 opened by thofma
February 22, 2024 20:35 10m 48s th/fixinfinf
th/fixinfinf
February 22, 2024 20:35 10m 48s
add most of the direct_sum new stuff (#1620) NemoCI #78: Commit fc5b3c9 pushed by fieker
February 22, 2024 12:48 10m 51s master
master
February 22, 2024 12:48 10m 51s
add most of the direct_sum new stuff NemoCI #77: Pull request #1620 opened by fieker
February 22, 2024 08:40 10m 57s fieker:DirectSum
fieker:DirectSum
February 22, 2024 08:40 10m 57s
Update RationalFunctionField.jl, fixes #1619 NemoCI #76: Commit f90718f pushed by fieker
February 21, 2024 07:30 10m 54s master
master
February 21, 2024 07:30 10m 54s
chore: bump to 0.40.0 (#1618) NemoCI #75: Commit d449b7f pushed by thofma
February 19, 2024 20:34 1m 56s master
master
February 19, 2024 20:34 1m 56s
chore: bump to 0.40.0 NemoCI #74: Pull request #1618 opened by thofma
February 19, 2024 19:42 1m 57s th/bump
th/bump
February 19, 2024 19:42 1m 57s
fix: remove some unncessary kernel method (#1617) NemoCI #73: Commit d6b502f pushed by thofma
February 19, 2024 19:41 1m 56s master
master
February 19, 2024 19:41 1m 56s
Hide ordering a bit (#1597) NemoCI #72: Commit 41749cf pushed by thofma
February 19, 2024 19:32 1m 58s master
master
February 19, 2024 19:32 1m 58s
Hide ordering a bit NemoCI #71: Pull request #1597 synchronize by thofma
February 19, 2024 17:10 2m 25s joschmitt:js/ordering
joschmitt:js/ordering
February 19, 2024 17:10 2m 25s
chore: Bump to 0.40.0-DEV (#1615) NemoCI #70: Commit e87be00 pushed by thofma
February 19, 2024 17:10 2m 0s master
master
February 19, 2024 17:10 2m 0s
fix: remove some unncessary kernel method NemoCI #69: Pull request #1617 opened by thofma
February 19, 2024 17:09 10m 57s th/rmkernel
th/rmkernel
February 19, 2024 17:09 10m 57s
Rename one further kernel method NemoCI #68: Pull request #1616 opened by lgoettgens
February 19, 2024 14:13 11m 3s lgoettgens:lg/kernel
lgoettgens:lg/kernel
February 19, 2024 14:13 11m 3s
chore: Bump to 0.40.0-DEV NemoCI #67: Pull request #1615 opened by lgoettgens
February 19, 2024 13:16 2m 2s lgoettgens:lg/chore
lgoettgens:lg/chore
February 19, 2024 13:16 2m 2s
ProTip! You can narrow down the results and go further in time using created:<2024-02-19 or the other filters available.