Skip to content

Actions: Nemocas/AbstractAlgebra.jl

Actions

HeckeCI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: make compose do what it says HeckeCI #37: Pull request #1606 opened by thofma
February 13, 2024 09:49 2m 15s th/compose
th/compose
February 13, 2024 09:49 2m 15s
Remove old deprecations HeckeCI #36: Pull request #1605 opened by lgoettgens
February 13, 2024 09:48 2m 13s lgoettgens:lg/deprecations-AA
lgoettgens:lg/deprecations-AA
February 13, 2024 09:48 2m 13s
CI: update to codecov/codecov-action@v4 (#1602) HeckeCI #35: Commit 19dee66 pushed by thofma
February 13, 2024 09:13 2m 15s master
master
February 13, 2024 09:13 2m 15s
chore: bump to 0.38.1 HeckeCI #34: Commit a77cde7 pushed by thofma
February 12, 2024 17:02 2m 13s master
master
February 12, 2024 17:02 2m 13s
Add two exports (#1604) HeckeCI #33: Commit 90fda3b pushed by thofma
February 12, 2024 17:02 2m 12s master
master
February 12, 2024 17:02 2m 12s
Add two exports HeckeCI #32: Pull request #1604 opened by joschmitt
February 12, 2024 16:36 2m 11s joschmitt:js/export
joschmitt:js/export
February 12, 2024 16:36 2m 11s
chore: bump to 0.38.0 (#1603) HeckeCI #31: Commit 416f9f5 pushed by thofma
February 12, 2024 16:19 2m 13s master
master
February 12, 2024 16:19 2m 13s
chore: bump to 0.38.0 HeckeCI #30: Pull request #1603 opened by thofma
February 12, 2024 16:01 2m 20s th/bump
th/bump
February 12, 2024 16:01 2m 20s
feat: Change solving interface (#1601) HeckeCI #29: Commit f8e2306 pushed by thofma
February 12, 2024 16:00 3m 19s master
master
February 12, 2024 16:00 3m 19s
feat: Change solving interface HeckeCI #28: Pull request #1601 synchronize by thofma
February 12, 2024 15:08 3m 23s th/solvesolve
th/solvesolve
February 12, 2024 15:08 3m 23s
CI: update to codecov/codecov-action@v4 HeckeCI #27: Pull request #1602 opened by fingolfin
February 12, 2024 13:25 1h 3m 2s mh/codecov-v4
mh/codecov-v4
February 12, 2024 13:25 1h 3m 2s
feat: Change solving interface HeckeCI #26: Pull request #1601 synchronize by thofma
February 12, 2024 12:12 3m 19s th/solvesolve
th/solvesolve
February 12, 2024 12:12 3m 19s
feat: Change solving interface HeckeCI #25: Pull request #1601 synchronize by thofma
February 12, 2024 12:00 3m 21s th/solvesolve
th/solvesolve
February 12, 2024 12:00 3m 21s
feat: Change solving interface HeckeCI #24: Pull request #1601 synchronize by thofma
February 12, 2024 11:32 3m 25s th/solvesolve
th/solvesolve
February 12, 2024 11:32 3m 25s
feat: Change solving interface HeckeCI #23: Pull request #1601 synchronize by thofma
February 12, 2024 11:19 3m 19s th/solvesolve
th/solvesolve
February 12, 2024 11:19 3m 19s
Hopefully fix unicodes and indented pretty printing HeckeCI #22: Pull request #1581 synchronize by aaruni96
February 12, 2024 11:08 1h 2m 52s aaruni96:ak96/indented_unicodes
aaruni96:ak96/indented_unicodes
February 12, 2024 11:08 1h 2m 52s
feat: Change solving interface HeckeCI #21: Pull request #1601 synchronize by thofma
February 12, 2024 11:08 3m 20s th/solvesolve
th/solvesolve
February 12, 2024 11:08 3m 20s
feat: Change solving interface HeckeCI #20: Pull request #1601 synchronize by thofma
February 12, 2024 10:54 3m 15s th/solvesolve
th/solvesolve
February 12, 2024 10:54 3m 15s
feat: Change solving interface HeckeCI #19: Pull request #1601 synchronize by thofma
February 12, 2024 10:13 3m 17s th/solvesolve
th/solvesolve
February 12, 2024 10:13 3m 17s
feat: Change solving interface HeckeCI #18: Pull request #1601 synchronize by thofma
February 12, 2024 10:12 1m 17s th/solvesolve
th/solvesolve
February 12, 2024 10:12 1m 17s
feat: Change solving interface HeckeCI #17: Pull request #1601 synchronize by thofma
February 12, 2024 10:10 1m 48s th/solvesolve
th/solvesolve
February 12, 2024 10:10 1m 48s
feat: Change solving interface HeckeCI #16: Pull request #1601 synchronize by thofma
February 12, 2024 10:09 1m 15s th/solvesolve
th/solvesolve
February 12, 2024 10:09 1m 15s
feat: Change solving interface HeckeCI #15: Pull request #1601 synchronize by thofma
February 12, 2024 10:08 1m 19s th/solvesolve
th/solvesolve
February 12, 2024 10:08 1m 19s
feat: Change solving interface HeckeCI #14: Pull request #1601 synchronize by thofma
February 12, 2024 10:06 1m 46s th/solvesolve
th/solvesolve
February 12, 2024 10:06 1m 46s
feat: Change solving interface HeckeCI #13: Pull request #1601 synchronize by thofma
February 12, 2024 09:50 3m 11s th/solvesolve
th/solvesolve
February 12, 2024 09:50 3m 11s
ProTip! You can narrow down the results and go further in time using created:<2024-02-12 or the other filters available.