Skip to content

Actions: Nemocas/AbstractAlgebra.jl

Actions

Run tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CI.yml
1,585 workflow runs
1,585 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Move pirated stuff from Nemo Run tests #2073: Pull request #1412 synchronize by lgoettgens
September 5, 2023 17:12 31m 7s lgoettgens:lg/nemo-piracy
lgoettgens:lg/nemo-piracy
September 5, 2023 17:12 31m 7s
Remove duplicate include Run tests #2072: Pull request #1416 opened by lgoettgens
September 5, 2023 17:10 24m 42s lgoettgens:patch-5
lgoettgens:patch-5
September 5, 2023 17:10 24m 42s
Fix PrettyPrinting corner case, add more tests (#1415) Run tests #2071: Commit 58c0b47 pushed by fingolfin
September 5, 2023 15:38 23m 58s master
master
September 5, 2023 15:38 23m 58s
Fix PrettyPrinting corner case, add more tests Run tests #2070: Pull request #1415 synchronize by fingolfin
September 5, 2023 13:21 28m 48s fingolfin:mh/fix-printing
fingolfin:mh/fix-printing
September 5, 2023 13:21 28m 48s
Enable some doctests Run tests #2069: Pull request #1413 synchronize by lgoettgens
September 5, 2023 12:48 36m 58s lgoettgens:lg/doctests
lgoettgens:lg/doctests
September 5, 2023 12:48 36m 58s
Fix two typos (#1414) Run tests #2068: Commit c95f17e pushed by fingolfin
September 5, 2023 10:09 34m 43s master
master
September 5, 2023 10:09 34m 43s
Fix PrettyPrinting corner case, add more tests Run tests #2067: Pull request #1415 opened by fingolfin
September 5, 2023 10:09 33m 3s fingolfin:mh/fix-printing
fingolfin:mh/fix-printing
September 5, 2023 10:09 33m 3s
Js/nc groebner optimization stable (#1292) Run tests #2066: Commit 6299c95 pushed by fingolfin
September 5, 2023 09:35 31m 12s master
master
September 5, 2023 09:35 31m 12s
Fix two typos Run tests #2065: Pull request #1414 opened by lgoettgens
September 4, 2023 15:44 1m 32s lgoettgens:lg/typos
lgoettgens:lg/typos
September 4, 2023 15:44 1m 32s
Enable some doctests Run tests #2064: Pull request #1413 opened by lgoettgens
September 4, 2023 15:44 32m 42s lgoettgens:lg/doctests
lgoettgens:lg/doctests
September 4, 2023 15:44 32m 42s
Move pirated stuff from Nemo Run tests #2063: Pull request #1412 synchronize by lgoettgens
September 4, 2023 15:36 22m 55s lgoettgens:lg/nemo-piracy
lgoettgens:lg/nemo-piracy
September 4, 2023 15:36 22m 55s
Move pirated stuff from Nemo Run tests #2062: Pull request #1412 reopened by lgoettgens
September 4, 2023 14:19 24m 47s lgoettgens:lg/nemo-piracy
lgoettgens:lg/nemo-piracy
September 4, 2023 14:19 24m 47s
Move pirated stuff from Nemo Run tests #2061: Pull request #1412 reopened by lgoettgens
September 4, 2023 14:16 3m 6s lgoettgens:lg/nemo-piracy
lgoettgens:lg/nemo-piracy
September 4, 2023 14:16 3m 6s
Move pirated stuff from Nemo Run tests #2060: Pull request #1412 reopened by lgoettgens
September 4, 2023 14:15 1m 36s lgoettgens:lg/nemo-piracy
lgoettgens:lg/nemo-piracy
September 4, 2023 14:15 1m 36s
Move pirated stuff from Nemo Run tests #2059: Pull request #1412 synchronize by lgoettgens
September 4, 2023 14:10 5m 1s lgoettgens:lg/nemo-piracy
lgoettgens:lg/nemo-piracy
September 4, 2023 14:10 5m 1s
Move pirated stuff from Nemo Run tests #2058: Pull request #1412 synchronize by lgoettgens
September 4, 2023 14:07 3m 58s lgoettgens:lg/nemo-piracy
lgoettgens:lg/nemo-piracy
September 4, 2023 14:07 3m 58s
Move pirated stuff from Nemo Run tests #2057: Pull request #1412 synchronize by lgoettgens
September 4, 2023 12:33 16m 58s lgoettgens:lg/nemo-piracy
lgoettgens:lg/nemo-piracy
September 4, 2023 12:33 16m 58s
Move pirated stuff from Nemo Run tests #2056: Pull request #1412 synchronize by lgoettgens
September 4, 2023 12:11 14m 40s lgoettgens:lg/nemo-piracy
lgoettgens:lg/nemo-piracy
September 4, 2023 12:11 14m 40s
Move pirated stuff from Nemo Run tests #2055: Pull request #1412 synchronize by lgoettgens
September 4, 2023 11:38 17m 31s lgoettgens:lg/nemo-piracy
lgoettgens:lg/nemo-piracy
September 4, 2023 11:38 17m 31s
Move pirated stuff from Nemo Run tests #2054: Pull request #1412 synchronize by lgoettgens
September 4, 2023 11:17 21m 29s lgoettgens:lg/nemo-piracy
lgoettgens:lg/nemo-piracy
September 4, 2023 11:17 21m 29s
Move pirated stuff from Nemo Run tests #2053: Pull request #1412 opened by lgoettgens
September 4, 2023 10:53 24m 15s lgoettgens:lg/nemo-piracy
lgoettgens:lg/nemo-piracy
September 4, 2023 10:53 24m 15s
Bump Aqua compat (#1411) Run tests #2052: Commit c28e89c pushed by fingolfin
September 2, 2023 18:15 30m 55s master
master
September 2, 2023 18:15 30m 55s
Bump Aqua compat Run tests #2051: Pull request #1411 opened by lgoettgens
September 2, 2023 11:43 35m 54s lgoettgens:patch-1
lgoettgens:patch-1
September 2, 2023 11:43 35m 54s
Js/nc groebner optimization stable Run tests #2050: Pull request #1292 synchronize by julien-schanz
August 25, 2023 20:38 22m 3s julien-schanz:js/nc_groebner_optimization_stable
julien-schanz:js/nc_groebner_optimization_stable
August 25, 2023 20:38 22m 3s
Js/nc groebner optimization stable Run tests #2049: Pull request #1292 synchronize by julien-schanz
August 25, 2023 18:50 39m 19s julien-schanz:js/nc_groebner_optimization_stable
julien-schanz:js/nc_groebner_optimization_stable
August 25, 2023 18:50 39m 19s
ProTip! You can narrow down the results and go further in time using created:<2023-08-25 or the other filters available.