Skip to content

Actions: Nemocas/Nemo.jl

HeckeCI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
845 workflow runs
845 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

HeckeCI
HeckeCI #845: Scheduled
November 30, 2024 03:23 42m 28s master
November 30, 2024 03:23 42m 28s
Add div and divrem with rounding argument
HeckeCI #843: Pull request #1955 synchronize by paemurru
November 29, 2024 18:53 44m 0s paemurru:ep/add_div_with_rounding
November 29, 2024 18:53 44m 0s
Add div and divrem with rounding argument
HeckeCI #842: 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
HeckeCI #841: 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
HeckeCI #839: Pull request #1954 opened by lgoettgens
November 29, 2024 14:55 44m 5s lgoettgens:lg/arb-hash
November 29, 2024 14:55 44m 5s
HeckeCI
HeckeCI #834: Scheduled
November 29, 2024 03:24 44m 18s master
November 29, 2024 03:24 44m 18s
fix: wrong caching in relative FqField construction (#1952)
HeckeCI #833: Commit 2ead31a pushed by fingolfin
November 28, 2024 23:08 43m 49s master
November 28, 2024 23:08 43m 49s
Make factor work for Int128, UInt128, BigInt (#1951)
HeckeCI #832: Commit c77cb33 pushed by thofma
November 28, 2024 19:18 42m 42s master
November 28, 2024 19:18 42m 42s
fix: wrong caching in relative FqField construction
HeckeCI #831: Pull request #1952 synchronize by thofma
November 28, 2024 19:07 43m 42s th/fqfq
November 28, 2024 19:07 43m 42s
fix: wrong caching in relative FqField construction
HeckeCI #830: Pull request #1952 synchronize by thofma
November 28, 2024 19:04 3m 13s th/fqfq
November 28, 2024 19:04 3m 13s
fix: wrong caching in relative FqField construction
HeckeCI #829: 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
HeckeCI #828: Pull request #1951 synchronize by JohnAAbbott
November 28, 2024 14:51 44m 1s JohnAAbbott:JAA/FactorInt128
November 28, 2024 14:51 44m 1s
Make factor work for Int128, UInt128, BigInt
HeckeCI #827: Pull request #1951 synchronize by JohnAAbbott
November 28, 2024 13:37 43m 49s JohnAAbbott:JAA/FactorInt128
November 28, 2024 13:37 43m 49s
Make factor work for Int128, UInt128, BigInt
HeckeCI #826: Pull request #1951 opened by JohnAAbbott
November 28, 2024 13:20 17m 35s JohnAAbbott:JAA/FactorInt128
November 28, 2024 13:20 17m 35s
Replace Random.GLOBAL_RNG by Random.default_rng() (#1950)
HeckeCI #825: Commit ab12693 pushed by joschmitt
November 28, 2024 09:37 45m 2s master
November 28, 2024 09:37 45m 2s
HeckeCI
HeckeCI #824: Scheduled
November 28, 2024 03:24 45m 42s master
November 28, 2024 03:24 45m 42s
Replace Random.GLOBAL_RNG by Random.default_rng()
HeckeCI #823: Pull request #1950 opened by fingolfin
November 27, 2024 22:49 42m 42s mh/default_rng
November 27, 2024 22:49 42m 42s
HeckeCI
HeckeCI #822: Scheduled
November 27, 2024 03:24 42m 19s master
November 27, 2024 03:24 42m 19s
Turn zzModRing & ZZModRing into ResidueRing subtypes
HeckeCI #821: Pull request #1819 synchronize by fingolfin
November 26, 2024 21:55 44m 17s mh/ModRing-ResidueRing
November 26, 2024 21:55 44m 17s