Skip to content

Actions: Nemocas/AbstractAlgebra.jl

Actions

Invalidations

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
568 workflow run results
568 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Change solving interface Invalidations #564: Pull request #1601 synchronize by thofma
February 12, 2024 10:10 1m 46s th/solvesolve
th/solvesolve
February 12, 2024 10:10 1m 46s
feat: Change solving interface Invalidations #563: Pull request #1601 synchronize by thofma
February 12, 2024 10:09 1m 27s th/solvesolve
th/solvesolve
February 12, 2024 10:09 1m 27s
feat: Change solving interface Invalidations #562: Pull request #1601 synchronize by thofma
February 12, 2024 10:08 1m 31s th/solvesolve
th/solvesolve
February 12, 2024 10:08 1m 31s
feat: Change solving interface Invalidations #561: Pull request #1601 synchronize by thofma
February 12, 2024 10:06 1m 49s th/solvesolve
th/solvesolve
February 12, 2024 10:06 1m 49s
feat: Change solving interface Invalidations #560: Pull request #1601 synchronize by thofma
February 12, 2024 09:50 2m 45s th/solvesolve
th/solvesolve
February 12, 2024 09:50 2m 45s
feat: Change solving interface Invalidations #559: Pull request #1601 synchronize by thofma
February 12, 2024 09:46 2m 47s th/solvesolve
th/solvesolve
February 12, 2024 09:46 2m 47s
feat: Change solving interface Invalidations #558: Pull request #1601 synchronize by thofma
February 12, 2024 09:40 2m 45s th/solvesolve
th/solvesolve
February 12, 2024 09:40 2m 45s
feat: Change solving interface Invalidations #557: Pull request #1601 synchronize by thofma
February 12, 2024 09:34 2m 49s th/solvesolve
th/solvesolve
February 12, 2024 09:34 2m 49s
feat: Change solving interface Invalidations #556: Pull request #1601 opened by thofma
February 12, 2024 09:19 2m 52s th/solvesolve
th/solvesolve
February 12, 2024 09:19 2m 52s
feat: fix generalized indexing Invalidations #555: Pull request #1585 reopened by thofma
February 10, 2024 22:18 2m 45s th/index
th/index
February 10, 2024 22:18 2m 45s
Allow Groups of order > 2^15 in conformance test Invalidations #554: Pull request #1600 opened by lgoettgens
February 10, 2024 21:14 2m 43s lgoettgens:lg/groups-conf
lgoettgens:lg/groups-conf
February 10, 2024 21:14 2m 43s
feat: fix generalized indexing Invalidations #553: Pull request #1585 reopened by thofma
February 10, 2024 12:50 2m 43s th/index
th/index
February 10, 2024 12:50 2m 43s
ci: stage the downstream tests Invalidations #552: Pull request #1599 synchronize by thofma
February 10, 2024 09:25 2m 34s th/citweak
th/citweak
February 10, 2024 09:25 2m 34s
ci: stage the downstream tests Invalidations #551: Pull request #1599 opened by thofma
February 10, 2024 09:16 2m 50s th/citweak
th/citweak
February 10, 2024 09:16 2m 50s
Further solving related adjustments Invalidations #550: Pull request #1598 synchronize by joschmitt
February 9, 2024 18:50 2m 56s joschmitt:js/solve
joschmitt:js/solve
February 9, 2024 18:50 2m 56s
Further solving related adjustments Invalidations #549: Pull request #1598 synchronize by joschmitt
February 9, 2024 18:50 13s joschmitt:js/solve
joschmitt:js/solve
February 9, 2024 18:50 13s
Further solving related adjustments Invalidations #548: Pull request #1598 synchronize by joschmitt
February 9, 2024 16:17 2m 45s joschmitt:js/solve
joschmitt:js/solve
February 9, 2024 16:17 2m 45s
Further solving related adjustments Invalidations #547: Pull request #1598 synchronize by joschmitt
February 9, 2024 15:30 2m 46s joschmitt:js/solve
joschmitt:js/solve
February 9, 2024 15:30 2m 46s
Further solving related adjustments Invalidations #546: Pull request #1598 synchronize by joschmitt
February 9, 2024 15:10 2m 41s joschmitt:js/solve
joschmitt:js/solve
February 9, 2024 15:10 2m 41s
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
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
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
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
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 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