Skip to content

Actions: thofma/Hecke.jl

Actions

OscarCI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
oscar.yml
71 workflow run results
71 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Change residue_field for local fields OscarCI #2232: Pull request #1268 synchronize by thofma
November 2, 2023 22:08 4m 41s th/localocal
th/localocal
November 2, 2023 22:08 4m 41s
Change residue_field for local fields OscarCI #2231: Pull request #1268 synchronize by thofma
November 2, 2023 18:42 2h 40m 40s th/localocal
th/localocal
November 2, 2023 18:42 2h 40m 40s
Change residue_field for local fields OscarCI #2230: Pull request #1268 synchronize by thofma
November 2, 2023 15:46 1h 33m 30s th/localocal
th/localocal
November 2, 2023 15:46 1h 33m 30s
Random lines in LineEnumCtx OscarCI #2229: Pull request #1271 opened by StevellM
November 2, 2023 14:57 4h 40m 42s StevellM:sm/preparation_oscar
StevellM:sm/preparation_oscar
November 2, 2023 14:57 4h 40m 42s
Replace more uses of isFOO by is_foo OscarCI #2228: Pull request #1270 opened by fingolfin
November 1, 2023 16:55 1h 32m 4s fingolfin:mh/rename
fingolfin:mh/rename
November 1, 2023 16:55 1h 32m 4s
Revert unwanted renamings OscarCI #2227: Pull request #1269 opened by StevellM
November 1, 2023 11:11 2h 54m 36s StevellM:sm/fix_io_to_magma
StevellM:sm/fix_io_to_magma
November 1, 2023 11:11 2h 54m 36s
Change residue_field for local fields OscarCI #2226: Pull request #1268 opened by thofma
October 31, 2023 18:39 1h 10m 32s th/localocal
th/localocal
October 31, 2023 18:39 1h 10m 32s
Kaiser OscarCI #2225: Pull request #1267 synchronize by fieker
October 31, 2023 10:10 3h 31m 7s Kaiser
Kaiser
October 31, 2023 10:10 3h 31m 7s
Kaiser OscarCI #2224: Pull request #1267 opened by fieker
October 31, 2023 10:06 4m 29s Kaiser
Kaiser
October 31, 2023 10:06 4m 29s
Fix stupid mistake OscarCI #2223: Pull request #1266 opened by joschmitt
October 31, 2023 08:50 3h 50m 14s joschmitt:order
joschmitt:order
October 31, 2023 08:50 3h 50m 14s
isupper_triangular -> is_upper_triangular, isunit -> is_unit OscarCI #2222: Pull request #1265 synchronize by fingolfin
October 31, 2023 01:19 1h 24m 40s fingolfin:mh/rename
fingolfin:mh/rename
October 31, 2023 01:19 1h 24m 40s
isupper_triangular -> is_upper_triangular, isunit -> is_unit OscarCI #2221: Pull request #1265 opened by fingolfin
October 30, 2023 21:04 6m 50s fingolfin:mh/rename
fingolfin:mh/rename
October 30, 2023 21:04 6m 50s
add dot(x, A, y) for sparse matrices OscarCI #2220: Pull request #1263 synchronize by felix-roehrich
October 28, 2023 09:21 3h 55m 52s felix-roehrich:fr/sparse-dot-3arg
felix-roehrich:fr/sparse-dot-3arg
October 28, 2023 09:21 3h 55m 52s
add dot(x, A, y) for sparse matrices OscarCI #2219: Pull request #1263 synchronize by felix-roehrich
October 28, 2023 08:21 59m 45s felix-roehrich:fr/sparse-dot-3arg
felix-roehrich:fr/sparse-dot-3arg
October 28, 2023 08:21 59m 45s
add dot(x, A, y) for sparse matrices OscarCI #2218: Pull request #1263 synchronize by felix-roehrich
October 27, 2023 23:18 2h 35m 4s felix-roehrich:fr/sparse-dot-3arg
felix-roehrich:fr/sparse-dot-3arg
October 27, 2023 23:18 2h 35m 4s
add dot(x, A, y) for sparse matrices OscarCI #2217: Pull request #1263 opened by felix-roehrich
October 27, 2023 22:20 58m 16s felix-roehrich:fr/sparse-dot-3arg
felix-roehrich:fr/sparse-dot-3arg
October 27, 2023 22:20 58m 16s
Fix kronecker_product(::SMat, ::SMat) OscarCI #2216: Pull request #1262 synchronize by lgoettgens
October 27, 2023 14:41 2h 51m 38s lgoettgens:lg/kron
lgoettgens:lg/kron
October 27, 2023 14:41 2h 51m 38s
Fix kronecker_product(::SMat, ::SMat) OscarCI #2215: Pull request #1262 opened by lgoettgens
October 27, 2023 14:35 6m 22s lgoettgens:lg/kron
lgoettgens:lg/kron
October 27, 2023 14:35 6m 22s
Attempt to improve some codes in QuadForm OscarCI #2214: Pull request #1254 synchronize by StevellM
October 27, 2023 08:02 2h 35m 34s StevellM:sm/some_improvements
StevellM:sm/some_improvements
October 27, 2023 08:02 2h 35m 34s
Coverage tweaks OscarCI #2213: Pull request #1260 synchronize by thofma
October 26, 2023 21:41 2h 20m 9s th/cov
th/cov
October 26, 2023 21:41 2h 20m 9s
Coverage tweaks OscarCI #2212: Pull request #1260 opened by thofma
October 25, 2023 17:01 5h 13m 1s th/cov
th/cov
October 25, 2023 17:01 5h 13m 1s
Fixes for trivial non-simple fields OscarCI #2211: Pull request #1259 opened by thofma
October 24, 2023 19:12 3h 21m 27s th/1257
th/1257
October 24, 2023 19:12 3h 21m 27s
Improve class group proof OscarCI #2210: Pull request #1258 synchronize by thofma
October 24, 2023 16:18 3h 16m 59s th/proofpara
th/proofpara
October 24, 2023 16:18 3h 16m 59s
Improve class group proof OscarCI #2209: Pull request #1258 synchronize by thofma
October 24, 2023 15:13 1h 5m 32s th/proofpara
th/proofpara
October 24, 2023 15:13 1h 5m 32s
Improve class group proof OscarCI #2208: Pull request #1258 synchronize by thofma
October 23, 2023 13:52 3h 10m 16s th/proofpara
th/proofpara
October 23, 2023 13:52 3h 10m 16s