Skip to content

Actions: Nemocas/Nemo.jl

Actions

OscarCI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make compatible to AA 0.43.0 OscarCI #1928: Pull request #1849 synchronize by lgoettgens
September 18, 2024 14:04 4m 25s lg/AA-compat
lg/AA-compat
September 18, 2024 14:04 4m 25s
Make compatible to AA 0.43.0 OscarCI #1927: Pull request #1849 synchronize by lgoettgens
September 18, 2024 13:26 4m 26s lg/AA-compat
lg/AA-compat
September 18, 2024 13:26 4m 26s
Make compatible to AA 0.43.0 OscarCI #1926: Pull request #1849 synchronize by lgoettgens
September 18, 2024 13:17 4m 27s lg/AA-compat
lg/AA-compat
September 18, 2024 13:17 4m 27s
Clean up HeckeMiscMatrix.jl OscarCI #1925: Pull request #1851 reopened by lgoettgens
September 18, 2024 12:12 3h 2m 41s joschmitt:js/miscmat
joschmitt:js/miscmat
September 18, 2024 12:12 3h 2m 41s
feat: use fancy(?) factor(::ZZRingElem) OscarCI #1924: Pull request #1850 synchronize by thofma
September 18, 2024 11:15 3h 5m 59s th/factor
th/factor
September 18, 2024 11:15 3h 5m 59s
Clean up HeckeMiscMatrix.jl OscarCI #1923: Pull request #1851 synchronize by joschmitt
September 18, 2024 10:30 1h 42m 41s joschmitt:js/miscmat
joschmitt:js/miscmat
September 18, 2024 10:30 1h 42m 41s
Make compatible to AA 0.43.0 OscarCI #1922: Pull request #1849 synchronize by lgoettgens
September 18, 2024 10:27 4m 39s lg/AA-compat
lg/AA-compat
September 18, 2024 10:27 4m 39s
Make compatible to AA 0.43.0 OscarCI #1921: Pull request #1849 synchronize by lgoettgens
September 18, 2024 10:26 1m 4s lg/AA-compat
lg/AA-compat
September 18, 2024 10:26 1m 4s
feat: use fancy(?) factor(::ZZRingElem) OscarCI #1920: Pull request #1850 synchronize by thofma
September 18, 2024 10:24 50m 46s th/factor
th/factor
September 18, 2024 10:24 50m 46s
Make compatible to AA 0.43.0 OscarCI #1919: Pull request #1849 synchronize by lgoettgens
September 18, 2024 10:20 4m 17s lg/AA-compat
lg/AA-compat
September 18, 2024 10:20 4m 17s
Clean up HeckeMiscMatrix.jl OscarCI #1918: Pull request #1851 opened by joschmitt
September 18, 2024 10:15 14m 56s joschmitt:js/miscmat
joschmitt:js/miscmat
September 18, 2024 10:15 14m 56s
feat: use fancy(?) factor(::ZZRingElem) OscarCI #1917: Pull request #1850 opened by thofma
September 18, 2024 09:45 39m 43s th/factor
th/factor
September 18, 2024 09:45 39m 43s
Make compatible to AA 0.43.0 OscarCI #1916: Pull request #1849 opened by lgoettgens
September 18, 2024 08:57 4m 28s lg/AA-compat
lg/AA-compat
September 18, 2024 08:57 4m 28s
Clean up HeckeMiscInteger.jl OscarCI #1915: Pull request #1848 synchronize by joschmitt
September 18, 2024 07:02 3h 3m 31s joschmitt:js/miscint
joschmitt:js/miscint
September 18, 2024 07:02 3h 3m 31s
Clean up HeckeMiscInteger.jl OscarCI #1914: Pull request #1848 synchronize by joschmitt
September 17, 2024 14:16 6h 1m 40s joschmitt:js/miscint
joschmitt:js/miscint
September 17, 2024 14:16 6h 1m 40s
Clean up HeckeMiscInteger.jl OscarCI #1913: Pull request #1848 synchronize by joschmitt
September 17, 2024 13:54 22m 12s joschmitt:js/miscint
joschmitt:js/miscint
September 17, 2024 13:54 22m 12s
Clean up HeckeMiscInteger.jl OscarCI #1912: Pull request #1848 synchronize by joschmitt
September 17, 2024 13:43 11m 34s joschmitt:js/miscint
joschmitt:js/miscint
September 17, 2024 13:43 11m 34s
Clean up HeckeMiscInteger.jl OscarCI #1911: Pull request #1848 synchronize by joschmitt
September 17, 2024 12:51 52m 37s joschmitt:js/miscint
joschmitt:js/miscint
September 17, 2024 12:51 52m 37s
Clean up HeckeMiscInteger.jl OscarCI #1910: Pull request #1848 synchronize by joschmitt
September 17, 2024 12:45 5m 52s joschmitt:js/miscint
joschmitt:js/miscint
September 17, 2024 12:45 5m 52s
Clean up HeckeMiscInteger.jl OscarCI #1909: Pull request #1848 opened by joschmitt
September 17, 2024 09:39 8m 33s joschmitt:js/miscint
joschmitt:js/miscint
September 17, 2024 09:39 8m 33s
fix: coerce before setindex(::FqMatrix,...) (#1847) OscarCI #1908: Commit 3e66d55 pushed by lgoettgens
September 16, 2024 09:30 3h 4m 21s master
master
September 16, 2024 09:30 3h 4m 21s
fix: coerce before setindex(::FqMatrix,...) OscarCI #1907: Pull request #1847 opened by thofma
September 16, 2024 06:22 3h 7m 41s th/fqsetindex
th/fqsetindex
September 16, 2024 06:22 3h 7m 41s
Deprecate coefficient_ring for the p-adics OscarCI #1906: Pull request #1759 reopened by joschmitt
September 11, 2024 11:32 3h 25m 56s joschmitt:js/padicsbreaking
joschmitt:js/padicsbreaking
September 11, 2024 11:32 3h 25m 56s
Deprecate coefficient_ring for the p-adics OscarCI #1905: Pull request #1759 synchronize by joschmitt
September 11, 2024 09:19 1h 12m 51s joschmitt:js/padicsbreaking
joschmitt:js/padicsbreaking
September 11, 2024 09:19 1h 12m 51s
chore: bump to 0.46.2 OscarCI #1904: Commit d0f21da pushed by thofma
August 28, 2024 15:57 3h 10m 12s master
master
August 28, 2024 15:57 3h 10m 12s