Skip to content

Actions: Nemocas/AbstractAlgebra.jl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,927 workflow run results
2,927 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Hopefully fix unicodes and indented pretty printing Run tests #2723: Pull request #1581 synchronize by aaruni96
February 8, 2024 13:58 41m 15s aaruni96:ak96/indented_unicodes
aaruni96:ak96/indented_unicodes
February 8, 2024 13:58 41m 15s
Hopefully fix unicodes and indented pretty printing Invalidations #545: Pull request #1581 synchronize by aaruni96
February 8, 2024 13:58 2m 46s aaruni96:ak96/indented_unicodes
aaruni96:ak96/indented_unicodes
February 8, 2024 13:58 2m 46s
Hopefully fix unicodes and indented pretty printing OscarCI #1926: Pull request #1581 synchronize by aaruni96
February 8, 2024 13:58 1h 58m 41s aaruni96:ak96/indented_unicodes
aaruni96:ak96/indented_unicodes
February 8, 2024 13:58 1h 58m 41s
Further solving related adjustments Run tests #2722: Pull request #1598 synchronize by joschmitt
February 8, 2024 13:57 50m 4s joschmitt:js/solve
joschmitt:js/solve
February 8, 2024 13:57 50m 4s
Further solving related adjustments Invalidations #544: Pull request #1598 synchronize by joschmitt
February 8, 2024 13:57 2m 49s joschmitt:js/solve
joschmitt:js/solve
February 8, 2024 13:57 2m 49s
Further solving related adjustments OscarCI #1925: Pull request #1598 synchronize by joschmitt
February 8, 2024 13:57 1h 55m 15s joschmitt:js/solve
joschmitt:js/solve
February 8, 2024 13:57 1h 55m 15s
Further solving related adjustments TagBot #5457: Issue comment #1598 (comment) created by joschmitt
February 8, 2024 13:07 3s
February 8, 2024 13:07 3s
Hopefully fix unicodes and indented pretty printing Invalidations #543: Pull request #1581 synchronize by aaruni96
February 8, 2024 09:57 2m 49s aaruni96:ak96/indented_unicodes
aaruni96:ak96/indented_unicodes
February 8, 2024 09:57 2m 49s
Hopefully fix unicodes and indented pretty printing Run tests #2721: Pull request #1581 synchronize by aaruni96
February 8, 2024 09:57 54m 18s aaruni96:ak96/indented_unicodes
aaruni96:ak96/indented_unicodes
February 8, 2024 09:57 54m 18s
Hopefully fix unicodes and indented pretty printing OscarCI #1924: Pull request #1581 synchronize by aaruni96
February 8, 2024 09:57 1h 58m 31s aaruni96:ak96/indented_unicodes
aaruni96:ak96/indented_unicodes
February 8, 2024 09:57 1h 58m 31s
Hide ordering a bit TagBot #5456: Issue comment #1597 (comment) created by YueRen
February 8, 2024 05:36 3s
February 8, 2024 05:36 3s
CompatHelper CompatHelper #467: Scheduled
February 8, 2024 00:04 2m 1s master
master
February 8, 2024 00:04 2m 1s
Further solving related adjustments TagBot #5455: Issue comment #1598 (comment) created by codecov bot
February 7, 2024 16:50 2s
February 7, 2024 16:50 2s
Further solving related adjustments Invalidations #542: Pull request #1598 opened by joschmitt
February 7, 2024 16:33 2m 49s joschmitt:js/solve
joschmitt:js/solve
February 7, 2024 16:33 2m 49s
Further solving related adjustments OscarCI #1923: Pull request #1598 opened by joschmitt
February 7, 2024 16:33 1h 58m 36s joschmitt:js/solve
joschmitt:js/solve
February 7, 2024 16:33 1h 58m 36s
Further solving related adjustments Run tests #2720: Pull request #1598 opened by joschmitt
February 7, 2024 16:33 47m 59s joschmitt:js/solve
joschmitt:js/solve
February 7, 2024 16:33 47m 59s
Hopefully fix unicodes and indented pretty printing TagBot #5454: Issue comment #1581 (comment) created by aaruni96
February 7, 2024 15:29 3s
February 7, 2024 15:29 3s
Hopefully fix unicodes and indented pretty printing Run tests #2719: Pull request #1581 synchronize by aaruni96
February 7, 2024 15:24 22m 4s aaruni96:ak96/indented_unicodes
aaruni96:ak96/indented_unicodes
February 7, 2024 15:24 22m 4s
Hopefully fix unicodes and indented pretty printing OscarCI #1922: Pull request #1581 synchronize by aaruni96
February 7, 2024 15:24 1h 59m 16s aaruni96:ak96/indented_unicodes
aaruni96:ak96/indented_unicodes
February 7, 2024 15:24 1h 59m 16s
Hopefully fix unicodes and indented pretty printing Invalidations #541: Pull request #1581 synchronize by aaruni96
February 7, 2024 15:24 2m 49s aaruni96:ak96/indented_unicodes
aaruni96:ak96/indented_unicodes
February 7, 2024 15:24 2m 49s
Hide ordering a bit OscarCI #1921: Pull request #1597 synchronize by joschmitt
February 7, 2024 13:46 10m 24s joschmitt:js/ordering
joschmitt:js/ordering
February 7, 2024 13:46 10m 24s
Hide ordering a bit Invalidations #540: Pull request #1597 synchronize by joschmitt
February 7, 2024 13:46 2m 46s joschmitt:js/ordering
joschmitt:js/ordering
February 7, 2024 13:46 2m 46s
Hide ordering a bit Run tests #2718: Pull request #1597 synchronize by joschmitt
February 7, 2024 13:46 50m 46s joschmitt:js/ordering
joschmitt:js/ordering
February 7, 2024 13:46 50m 46s
CompatHelper CompatHelper #466: Scheduled
February 7, 2024 00:04 1m 43s master
master
February 7, 2024 00:04 1m 43s
pages build and deployment pages-build-deployment #493: by thofma
February 6, 2024 19:58 1m 4s
February 6, 2024 19:58 1m 4s