Skip to content

Actions: Nemocas/AbstractAlgebra.jl

Actions

OscarCI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
oscar.yml
756 workflow run results
756 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Change solving interface OscarCI #1945: Pull request #1601 synchronize by thofma
February 12, 2024 09:50 7m 33s th/solvesolve
th/solvesolve
February 12, 2024 09:50 7m 33s
feat: Change solving interface OscarCI #1944: Pull request #1601 synchronize by thofma
February 12, 2024 09:46 4m 35s th/solvesolve
th/solvesolve
February 12, 2024 09:46 4m 35s
feat: Change solving interface OscarCI #1943: Pull request #1601 synchronize by thofma
February 12, 2024 09:40 6m 19s th/solvesolve
th/solvesolve
February 12, 2024 09:40 6m 19s
feat: fix generalized indexing (#1585) OscarCI #1942: Commit cf05e04 pushed by thofma
February 12, 2024 09:35 1h 42m 30s master
master
February 12, 2024 09:35 1h 42m 30s
feat: Change solving interface OscarCI #1941: Pull request #1601 synchronize by thofma
February 12, 2024 09:34 6m 43s th/solvesolve
th/solvesolve
February 12, 2024 09:34 6m 43s
feat: Change solving interface OscarCI #1940: Pull request #1601 opened by thofma
February 12, 2024 09:19 7m 1s th/solvesolve
th/solvesolve
February 12, 2024 09:19 7m 1s
Allow Groups of order > 2^15 in conformance test (#1600) OscarCI #1939: Commit 196795d pushed by lgoettgens
February 11, 2024 15:32 1h 42m 55s master
master
February 11, 2024 15:32 1h 42m 55s
feat: fix generalized indexing OscarCI #1938: Pull request #1585 reopened by thofma
February 10, 2024 22:18 2h 2m 50s th/index
th/index
February 10, 2024 22:18 2h 2m 50s
Allow Groups of order > 2^15 in conformance test OscarCI #1937: Pull request #1600 opened by lgoettgens
February 10, 2024 21:14 1h 47m 27s lgoettgens:lg/groups-conf
lgoettgens:lg/groups-conf
February 10, 2024 21:14 1h 47m 27s
feat: fix generalized indexing OscarCI #1936: Pull request #1585 reopened by thofma
February 10, 2024 12:50 2m 57s th/index
th/index
February 10, 2024 12:50 2m 57s
ci: stage the downstream tests (#1599) OscarCI #1935: Commit d6e0bc1 pushed by thofma
February 10, 2024 12:49 1h 42m 49s master
master
February 10, 2024 12:49 1h 42m 49s
ci: stage the downstream tests OscarCI #1934: Pull request #1599 synchronize by thofma
February 10, 2024 09:25 1h 46m 42s th/citweak
th/citweak
February 10, 2024 09:25 1h 46m 42s
ci: stage the downstream tests OscarCI #1933: Pull request #1599 opened by thofma
February 10, 2024 09:16 2s th/citweak
th/citweak
February 10, 2024 09:16 2s
Further solving related adjustments (#1598) OscarCI #1932: Commit 343ce65 pushed by thofma
February 9, 2024 20:28 8m 43s master
master
February 9, 2024 20:28 8m 43s
Further solving related adjustments OscarCI #1931: Pull request #1598 synchronize by joschmitt
February 9, 2024 18:50 20m 36s joschmitt:js/solve
joschmitt:js/solve
February 9, 2024 18:50 20m 36s
Further solving related adjustments OscarCI #1930: Pull request #1598 synchronize by joschmitt
February 9, 2024 18:50 15s joschmitt:js/solve
joschmitt:js/solve
February 9, 2024 18:50 15s
Further solving related adjustments OscarCI #1929: Pull request #1598 synchronize by joschmitt
February 9, 2024 16:17 9m 4s joschmitt:js/solve
joschmitt:js/solve
February 9, 2024 16:17 9m 4s
Further solving related adjustments OscarCI #1928: Pull request #1598 synchronize by joschmitt
February 9, 2024 15:30 19m 18s joschmitt:js/solve
joschmitt:js/solve
February 9, 2024 15:30 19m 18s
Further solving related adjustments OscarCI #1927: Pull request #1598 synchronize by joschmitt
February 9, 2024 15:10 20m 28s joschmitt:js/solve
joschmitt:js/solve
February 9, 2024 15:10 20m 28s
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 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
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
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
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
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