Skip to content

Actions: Nemocas/Nemo.jl

Actions

OscarCI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
oscar.yml
1,109 workflow runs
1,109 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

OscarCI OscarCI #2022: Scheduled
October 5, 2024 03:20 In progress master
master
October 5, 2024 03:20 In progress
Misc changes OscarCI #2021: Pull request #1878 opened by fingolfin
October 4, 2024 23:40 4m 35s mh/misc
mh/misc
October 4, 2024 23:40 4m 35s
Turn zzModRing & ZZModRing into ResidueRing subtypes OscarCI #2020: Pull request #1819 reopened by fingolfin
October 4, 2024 23:29 3h 3m 9s mh/ModRing-ResidueRing
mh/ModRing-ResidueRing
October 4, 2024 23:29 3h 3m 9s
Yet more flinitfy (and related tweaks) (#1876) OscarCI #2019: Commit d457d82 pushed by fingolfin
October 4, 2024 10:13 3h 16m 48s master
master
October 4, 2024 10:13 3h 16m 48s
OscarCI OscarCI #2018: Scheduled
October 4, 2024 03:20 3h 10m 0s master
master
October 4, 2024 03:20 3h 10m 0s
OscarCI OscarCI #2017: Scheduled
October 3, 2024 03:21 3h 8m 52s master
master
October 3, 2024 03:21 3h 8m 52s
OscarCI OscarCI #2016: Scheduled
October 2, 2024 03:20 3h 0m 40s master
master
October 2, 2024 03:20 3h 0m 40s
Add and use zero!, one!, neg! methods OscarCI #2015: Pull request #1869 synchronize by fingolfin
October 1, 2024 07:42 3h 4m 20s mh/zero-one-neg
mh/zero-one-neg
October 1, 2024 07:42 3h 4m 20s
OscarCI OscarCI #2014: Scheduled
October 1, 2024 03:22 2h 58m 46s master
master
October 1, 2024 03:22 2h 58m 46s
Yet more flinitfy (and related tweaks) OscarCI #2013: Pull request #1876 opened by fingolfin
September 30, 2024 22:24 3h 4m 16s mh/yet-more-flintify
mh/yet-more-flintify
September 30, 2024 22:24 3h 4m 16s
Optimize mat_entry_ptr methods (#1871) OscarCI #2012: Commit fbef9d1 pushed by lgoettgens
September 30, 2024 20:05 3h 13m 34s master
master
September 30, 2024 20:05 3h 13m 34s
Use ..OrPtr in more places (#1873) OscarCI #2011: Commit 2ac41c7 pushed by fingolfin
September 30, 2024 20:02 3h 7m 14s master
master
September 30, 2024 20:02 3h 7m 14s
Use ..OrPtr in more places OscarCI #2010: Pull request #1873 synchronize by fingolfin
September 30, 2024 17:01 3h 0m 43s mh/OrPtr
mh/OrPtr
September 30, 2024 17:01 3h 0m 43s
Optimize mat_entry_ptr methods OscarCI #2009: Pull request #1871 synchronize by fingolfin
September 30, 2024 17:00 3h 4m 25s mh/mat_entry_ptr
mh/mat_entry_ptr
September 30, 2024 17:00 3h 4m 25s
Use flintify some more (#1874) OscarCI #2008: Commit 3d6f7ef pushed by fingolfin
September 30, 2024 16:02 6h 1m 19s master
master
September 30, 2024 16:02 6h 1m 19s
Reduce allocations in QQFieldElem construction (#1872) OscarCI #2007: Commit 40d7365 pushed by fingolfin
September 30, 2024 15:23 3h 9m 9s master
master
September 30, 2024 15:23 3h 9m 9s
Add and use zero!, one!, neg! methods OscarCI #2006: Pull request #1869 synchronize by fingolfin
September 30, 2024 13:01 3h 8m 19s mh/zero-one-neg
mh/zero-one-neg
September 30, 2024 13:01 3h 8m 19s
Use ..OrPtr in more places OscarCI #2005: Pull request #1873 synchronize by fingolfin
September 30, 2024 13:01 3h 10m 54s mh/OrPtr
mh/OrPtr
September 30, 2024 13:01 3h 10m 54s
Use flintify some more OscarCI #2004: Pull request #1874 opened by fingolfin
September 30, 2024 13:00 3h 1m 48s mh/more-flintify
mh/more-flintify
September 30, 2024 13:00 3h 1m 48s
Use ..OrPtr in more places OscarCI #2003: Pull request #1873 opened by fingolfin
September 30, 2024 12:56 5m 26s mh/OrPtr
mh/OrPtr
September 30, 2024 12:56 5m 26s
Reduce allocations in QQFieldElem construction OscarCI #2002: Pull request #1872 opened by lgoettgens
September 30, 2024 12:14 3h 9m 20s lgoettgens:lg/QQ-allocs
lgoettgens:lg/QQ-allocs
September 30, 2024 12:14 3h 9m 20s
Remove redundant one/zero methods for ring elements (#1870) OscarCI #2001: Commit 05e38da pushed by lgoettgens
September 30, 2024 09:11 3h 9m 24s master
master
September 30, 2024 09:11 3h 9m 24s
Optimize mat_entry_ptr methods OscarCI #2000: Pull request #1871 opened by fingolfin
September 30, 2024 08:56 3h 4m 47s mh/mat_entry_ptr
mh/mat_entry_ptr
September 30, 2024 08:56 3h 4m 47s
OscarCI OscarCI #1999: Scheduled
September 30, 2024 03:22 3h 1m 50s master
master
September 30, 2024 03:22 3h 1m 50s
Add and use zero!, one!, neg! methods OscarCI #1998: Pull request #1869 synchronize by fingolfin
September 29, 2024 20:26 3h 7m 55s mh/zero-one-neg
mh/zero-one-neg
September 29, 2024 20:26 3h 7m 55s