Skip to content

Actions: Nemocas/AbstractAlgebra.jl

Actions

HeckeCI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
hecke.yml
63 workflow run results
63 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Cleanup after name printing changes HeckeCI #63: Pull request #1613 reopened by lgoettgens
February 16, 2024 21:55 1h 0m 26s lgoettgens:lg/name-printing
lgoettgens:lg/name-printing
February 16, 2024 21:55 1h 0m 26s
Hide ordering a bit HeckeCI #62: Pull request #1597 synchronize by joschmitt
February 16, 2024 21:54 2m 16s joschmitt:js/ordering
joschmitt:js/ordering
February 16, 2024 21:54 2m 16s
Fix @alias test on nightly (#1612) HeckeCI #61: Commit b4d4de5 pushed by thofma
February 16, 2024 16:48 59m 59s master
master
February 16, 2024 16:48 59m 59s
Cleanup after name printing changes HeckeCI #60: Pull request #1613 opened by lgoettgens
February 16, 2024 15:16 1h 0m 39s lgoettgens:lg/name-printing
lgoettgens:lg/name-printing
February 16, 2024 15:16 1h 0m 39s
Fix @alias test on nightly HeckeCI #59: Pull request #1612 opened by lgoettgens
February 16, 2024 14:54 1h 0m 30s lgoettgens:lg/alias-nightly
lgoettgens:lg/alias-nightly
February 16, 2024 14:54 1h 0m 30s
Fix unicodes and indented pretty printing (#1581) HeckeCI #58: Commit 3246a27 pushed by fingolfin
February 16, 2024 14:42 1h 0m 23s master
master
February 16, 2024 14:42 1h 0m 23s
Hide ordering a bit HeckeCI #57: Pull request #1597 synchronize by thofma
February 16, 2024 14:41 2m 26s joschmitt:js/ordering
joschmitt:js/ordering
February 16, 2024 14:41 2m 26s
fix: make compiler happy (#1611) HeckeCI #56: Commit 0b5e698 pushed by thofma
February 16, 2024 13:49 1h 1m 27s master
master
February 16, 2024 13:49 1h 1m 27s
fix: make compiler happy HeckeCI #55: Pull request #1611 opened by thofma
February 16, 2024 13:04 1h 1m 0s th/fixinf
th/fixinf
February 16, 2024 13:04 1h 1m 0s
Hopefully fix unicodes and indented pretty printing HeckeCI #54: Pull request #1581 synchronize by aaruni96
February 16, 2024 12:39 1h 0m 10s aaruni96:ak96/indented_unicodes
aaruni96:ak96/indented_unicodes
February 16, 2024 12:39 1h 0m 10s
fix a typo (#1609) HeckeCI #53: Commit 952c816 pushed by fingolfin
February 16, 2024 12:36 58m 23s master
master
February 16, 2024 12:36 58m 23s
Fixed jldoctest of groebner_basis section in free_associative_algebra… HeckeCI #52: Commit 8465903 pushed by lgoettgens
February 15, 2024 10:54 57m 49s master
master
February 15, 2024 10:54 57m 49s
Fixed jldoctest of groebner_basis section in free_associative_algebra.md HeckeCI #51: Pull request #1610 opened by Sequenzer
February 15, 2024 09:55 59m 25s Sequenzer:patch-1
Sequenzer:patch-1
February 15, 2024 09:55 59m 25s
fix a typo HeckeCI #50: Pull request #1609 opened by fingolfin
February 15, 2024 09:23 2m 17s fingolfin:mh/typo
fingolfin:mh/typo
February 15, 2024 09:23 2m 17s
Hide ordering a bit HeckeCI #49: Pull request #1597 reopened by joschmitt
February 14, 2024 20:11 2m 14s joschmitt:js/ordering
joschmitt:js/ordering
February 14, 2024 20:11 2m 14s
Hide ordering a bit HeckeCI #48: Pull request #1597 synchronize by joschmitt
February 14, 2024 11:45 2m 18s joschmitt:js/ordering
joschmitt:js/ordering
February 14, 2024 11:45 2m 18s
fix: make compose do what it says (#1606) HeckeCI #47: Commit d65c125 pushed by thofma
February 13, 2024 18:59 2m 12s master
master
February 13, 2024 18:59 2m 12s
fix: make compose do what it says HeckeCI #46: Pull request #1606 synchronize by thofma
February 13, 2024 17:59 2m 22s th/compose
th/compose
February 13, 2024 17:59 2m 22s
fix: make compose do what it says HeckeCI #45: Pull request #1606 synchronize by thofma
February 13, 2024 17:58 1m 1s th/compose
th/compose
February 13, 2024 17:58 1m 1s
Remove old deprecations (#1605) HeckeCI #44: Commit e2292c2 pushed by thofma
February 13, 2024 15:52 2m 9s master
master
February 13, 2024 15:52 2m 9s
fix: make compose do what it says HeckeCI #43: Pull request #1606 synchronize by thofma
February 13, 2024 15:44 2m 17s th/compose
th/compose
February 13, 2024 15:44 2m 17s
Remove old deprecations HeckeCI #42: Pull request #1605 synchronize by lgoettgens
February 13, 2024 13:50 2m 16s lgoettgens:lg/deprecations-AA
lgoettgens:lg/deprecations-AA
February 13, 2024 13:50 2m 16s
fix: make compose do what it says HeckeCI #41: Pull request #1606 synchronize by thofma
February 13, 2024 11:41 2m 18s th/compose
th/compose
February 13, 2024 11:41 2m 18s
fix: make compose do what it says HeckeCI #40: Pull request #1606 synchronize by thofma
February 13, 2024 11:40 12s th/compose
th/compose
February 13, 2024 11:40 12s
Remove old deprecations HeckeCI #39: Pull request #1605 synchronize by lgoettgens
February 13, 2024 09:59 2m 15s lgoettgens:lg/deprecations-AA
lgoettgens:lg/deprecations-AA
February 13, 2024 09:59 2m 15s