Skip to content

Actions: Nemocas/AbstractAlgebra.jl

Actions

HeckeCI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
hecke.yml
1,277 workflow runs
1,277 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix all uses of Val HeckeCI #202: Pull request #1664 synchronize by lgoettgens
April 11, 2024 16:00 50m 1s lgoettgens:lg/Val
lgoettgens:lg/Val
April 11, 2024 16:00 50m 1s
Adapt @show_special to fallback to the dispatch without mime-type... HeckeCI #201: Pull request #1663 synchronize by lgoettgens
April 11, 2024 15:26 1h 8m 50s lgoettgens:lg/print-macros
lgoettgens:lg/print-macros
April 11, 2024 15:26 1h 8m 50s
Credit GroupsCore.jl for origin of groups interface (#1641) HeckeCI #200: Commit 7da1c96 pushed by fingolfin
April 11, 2024 12:20 1h 3m 38s master
master
April 11, 2024 12:20 1h 3m 38s
Blockwise setindex in vcat etc. HeckeCI #199: Pull request #1662 reopened by lgoettgens
April 11, 2024 11:55 1h 5m 53s joschmitt:js/vcat
joschmitt:js/vcat
April 11, 2024 11:55 1h 5m 53s
Banner hiding in Oscar.jl, Polymake.jl, etc (#1643) HeckeCI #198: Commit 1d9eef1 pushed by thofma
April 11, 2024 10:34 1h 5m 56s master
master
April 11, 2024 10:34 1h 5m 56s
Banner hiding in Oscar.jl, Polymake.jl, etc HeckeCI #197: Pull request #1643 synchronize by benlorenz
April 10, 2024 17:26 1h 22m 34s lkastner:lk/banners
lkastner:lk/banners
April 10, 2024 17:26 1h 22m 34s
Banner hiding in Oscar.jl, Polymake.jl, etc HeckeCI #196: Pull request #1643 synchronize by benlorenz
April 10, 2024 17:11 15m 22s lkastner:lk/banners
lkastner:lk/banners
April 10, 2024 17:11 15m 22s
Banner hiding in Oscar.jl, Polymake.jl, etc HeckeCI #195: Pull request #1643 synchronize by benlorenz
April 10, 2024 16:39 32m 39s lkastner:lk/banners
lkastner:lk/banners
April 10, 2024 16:39 32m 39s
Banner hiding in Oscar.jl, Polymake.jl, etc HeckeCI #194: Pull request #1643 synchronize by lgoettgens
April 10, 2024 15:48 51m 50s lkastner:lk/banners
lkastner:lk/banners
April 10, 2024 15:48 51m 50s
Banner hiding in Oscar.jl, Polymake.jl, etc HeckeCI #193: Pull request #1643 synchronize by lkastner
April 10, 2024 15:21 25m 26s lkastner:lk/banners
lkastner:lk/banners
April 10, 2024 15:21 25m 26s
Fix all uses of Val HeckeCI #192: Pull request #1664 opened by lgoettgens
April 10, 2024 14:56 52m 26s lgoettgens:lg/Val
lgoettgens:lg/Val
April 10, 2024 14:56 52m 26s
Blockwise setindex in vcat etc. HeckeCI #191: Pull request #1662 reopened by joschmitt
April 10, 2024 13:54 1h 4m 17s joschmitt:js/vcat
joschmitt:js/vcat
April 10, 2024 13:54 1h 4m 17s
Banner hiding in Oscar.jl, Polymake.jl, etc HeckeCI #190: Pull request #1643 synchronize by lkastner
April 10, 2024 13:35 1h 6m 25s lkastner:lk/banners
lkastner:lk/banners
April 10, 2024 13:35 1h 6m 25s
Banner hiding in Oscar.jl, Polymake.jl, etc HeckeCI #189: Pull request #1643 synchronize by lkastner
April 10, 2024 13:23 8m 30s lkastner:lk/banners
lkastner:lk/banners
April 10, 2024 13:23 8m 30s
Adapt @show_special to fallback to the dispatch without mime-type... HeckeCI #188: Pull request #1663 synchronize by lgoettgens
April 10, 2024 13:06 1h 4m 31s lgoettgens:lg/print-macros
lgoettgens:lg/print-macros
April 10, 2024 13:06 1h 4m 31s
Adapt @show_special to fallback to the dispatch without mime-type... HeckeCI #187: Pull request #1663 opened by lgoettgens
April 10, 2024 13:03 3m 14s lgoettgens:lg/print-macros
lgoettgens:lg/print-macros
April 10, 2024 13:03 3m 14s
Blockwise setindex in vcat etc. HeckeCI #186: Pull request #1662 reopened by joschmitt
April 10, 2024 12:00 48m 5s joschmitt:js/vcat
joschmitt:js/vcat
April 10, 2024 12:00 48m 5s
Blockwise setindex in vcat etc. HeckeCI #185: Pull request #1662 synchronize by joschmitt
April 10, 2024 11:18 42m 36s joschmitt:js/vcat
joschmitt:js/vcat
April 10, 2024 11:18 42m 36s
Blockwise setindex in vcat etc. HeckeCI #184: Pull request #1662 opened by joschmitt
April 10, 2024 10:46 31m 59s joschmitt:js/vcat
joschmitt:js/vcat
April 10, 2024 10:46 31m 59s
Remove solve_triu and solve_triu_left for RingElem HeckeCI #183: Pull request #1661 opened by joschmitt
April 10, 2024 10:26 1h 6m 40s joschmitt:js/triu
joschmitt:js/triu
April 10, 2024 10:26 1h 6m 40s
InjProjMat and other improvements to the module code (#1653) HeckeCI #182: Commit a49b43f pushed by thofma
April 10, 2024 09:35 1h 5m 53s master
master
April 10, 2024 09:35 1h 5m 53s
Banner hiding in Oscar.jl, Polymake.jl, etc HeckeCI #181: Pull request #1643 synchronize by lkastner
April 10, 2024 09:05 1h 5m 26s lkastner:lk/banners
lkastner:lk/banners
April 10, 2024 09:05 1h 5m 26s
Copy the formatting configs from Oscar.jl HeckeCI #180: Pull request #1658 synchronize by lgoettgens
April 9, 2024 13:09 1h 9m 55s lgoettgens:lg/formatting
lgoettgens:lg/formatting
April 9, 2024 13:09 1h 9m 55s
Banner hiding in Oscar.jl, Polymake.jl, etc HeckeCI #179: Pull request #1643 synchronize by lkastner
April 9, 2024 09:29 1h 4m 39s lkastner:lk/banners
lkastner:lk/banners
April 9, 2024 09:29 1h 4m 39s
Banner hiding in Oscar.jl, Polymake.jl, etc HeckeCI #178: Pull request #1643 synchronize by lkastner
April 8, 2024 12:33 1h 7m 27s lkastner:lk/banners
lkastner:lk/banners
April 8, 2024 12:33 1h 7m 27s
ProTip! You can narrow down the results and go further in time using created:<2024-04-08 or the other filters available.