Skip to content

Actions: Nemocas/AbstractAlgebra.jl

OscarCI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
510 workflow run results
510 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Restrict VarNames union type (#1513)
OscarCI #1656: Commit 9cfcc42 pushed by thofma
December 1, 2023 11:23 3m 12s master
December 1, 2023 11:23 3m 12s
add some triangular ring solver and asymptotically fast generics
OscarCI #1655: Pull request #1490 synchronize by fieker
December 1, 2023 10:03 3m 13s solve_triu
December 1, 2023 10:03 3m 13s
Restrict VarNames union type
OscarCI #1654: Pull request #1513 synchronize by fingolfin
December 1, 2023 09:58 3m 22s fingolfin:mh/polyring-tweaks
December 1, 2023 09:58 3m 22s
Restrict VarNames union type
OscarCI #1653: Pull request #1513 synchronize by fingolfin
December 1, 2023 01:30 3m 26s fingolfin:mh/polyring-tweaks
December 1, 2023 01:30 3m 26s
Restrict VarNames union type
OscarCI #1652: Pull request #1513 synchronize by fingolfin
December 1, 2023 01:28 2m 55s fingolfin:mh/polyring-tweaks
December 1, 2023 01:28 2m 55s
Restrict VarNames union type
OscarCI #1651: Pull request #1513 synchronize by fingolfin
December 1, 2023 01:17 3m 12s fingolfin:mh/polyring-tweaks
December 1, 2023 01:17 3m 12s
README.md: corrected developers list (#1512)
OscarCI #1650: Commit c0ec6a9 pushed by thofma
November 30, 2023 15:35 3m 10s master
November 30, 2023 15:35 3m 10s
Restrict VarNames union type
OscarCI #1649: Pull request #1513 opened by fingolfin
November 29, 2023 17:29 4m 44s fingolfin:mh/polyring-tweaks
November 29, 2023 17:29 4m 44s
README.md: corrected developers list
OscarCI #1648: Pull request #1512 opened by fingolfin
November 28, 2023 15:02 3m 23s mh/authors
November 28, 2023 15:02 3m 23s
add some triangular ring solver and asymptotically fast generics
OscarCI #1647: Pull request #1490 synchronize by fieker
November 27, 2023 09:37 3m 32s solve_triu
November 27, 2023 09:37 3m 32s
ProTip! You can narrow down the results and go further in time using created:<2023-11-27 or the other filters available.