Skip to content

Actions: Nemocas/Nemo.jl

OscarCI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,358 workflow runs
1,358 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

OscarCI
OscarCI #2336: Scheduled
November 30, 2024 03:22 2h 50m 8s master
November 30, 2024 03:22 2h 50m 8s
Add div and divrem with rounding argument
OscarCI #2334: Pull request #1955 synchronize by paemurru
November 29, 2024 18:53 2h 54m 4s paemurru:ep/add_div_with_rounding
November 29, 2024 18:53 2h 54m 4s
Add div and divrem with rounding argument
OscarCI #2333: Pull request #1955 synchronize by paemurru
November 29, 2024 17:09 Action required paemurru:ep/add_div_with_rounding
November 29, 2024 17:09 Action required
Add div and divrem with rounding argument
OscarCI #2332: Pull request #1955 opened by paemurru
November 29, 2024 15:58 Action required paemurru:ep/add_div_with_rounding
November 29, 2024 15:58 Action required
Add dummy hash functions for arb types
OscarCI #2330: Pull request #1954 opened by lgoettgens
November 29, 2024 14:55 3h 1m 10s lgoettgens:lg/arb-hash
November 29, 2024 14:55 3h 1m 10s
OscarCI
OscarCI #2325: Scheduled
November 29, 2024 03:23 2h 47m 57s master
November 29, 2024 03:23 2h 47m 57s
fix: wrong caching in relative FqField construction (#1952)
OscarCI #2324: Commit 2ead31a pushed by fingolfin
November 28, 2024 23:08 2h 52m 20s master
November 28, 2024 23:08 2h 52m 20s
Make factor work for Int128, UInt128, BigInt (#1951)
OscarCI #2323: Commit c77cb33 pushed by thofma
November 28, 2024 19:18 3h 0m 3s master
November 28, 2024 19:18 3h 0m 3s
fix: wrong caching in relative FqField construction
OscarCI #2322: Pull request #1952 synchronize by thofma
November 28, 2024 19:07 2h 51m 1s th/fqfq
November 28, 2024 19:07 2h 51m 1s
fix: wrong caching in relative FqField construction
OscarCI #2321: Pull request #1952 synchronize by thofma
November 28, 2024 19:04 3m 14s th/fqfq
November 28, 2024 19:04 3m 14s
fix: wrong caching in relative FqField construction
OscarCI #2320: Pull request #1952 opened by thofma
November 28, 2024 19:04 51s th/fqfq
November 28, 2024 19:04 51s
Make factor work for Int128, UInt128, BigInt
OscarCI #2319: Pull request #1951 synchronize by JohnAAbbott
November 28, 2024 14:51 2h 53m 35s JohnAAbbott:JAA/FactorInt128
November 28, 2024 14:51 2h 53m 35s
Make factor work for Int128, UInt128, BigInt
OscarCI #2318: Pull request #1951 synchronize by JohnAAbbott
November 28, 2024 13:37 1h 14m 1s JohnAAbbott:JAA/FactorInt128
November 28, 2024 13:37 1h 14m 1s
Make factor work for Int128, UInt128, BigInt
OscarCI #2317: Pull request #1951 opened by JohnAAbbott
November 28, 2024 13:20 17m 30s JohnAAbbott:JAA/FactorInt128
November 28, 2024 13:20 17m 30s
Replace Random.GLOBAL_RNG by Random.default_rng() (#1950)
OscarCI #2316: Commit ab12693 pushed by joschmitt
November 28, 2024 09:37 2h 48m 35s master
November 28, 2024 09:37 2h 48m 35s
OscarCI
OscarCI #2315: Scheduled
November 28, 2024 03:23 2h 59m 14s master
November 28, 2024 03:23 2h 59m 14s
Replace Random.GLOBAL_RNG by Random.default_rng()
OscarCI #2314: Pull request #1950 opened by fingolfin
November 27, 2024 22:49 2h 54m 43s mh/default_rng
November 27, 2024 22:49 2h 54m 43s
OscarCI
OscarCI #2313: Scheduled
November 27, 2024 03:23 2h 58m 23s master
November 27, 2024 03:23 2h 58m 23s
Turn zzModRing & ZZModRing into ResidueRing subtypes
OscarCI #2312: Pull request #1819 synchronize by fingolfin
November 26, 2024 21:55 2h 55m 0s mh/ModRing-ResidueRing
November 26, 2024 21:55 2h 55m 0s