Skip to content

Actions: Nemocas/AbstractAlgebra.jl

Actions

Run tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CI.yml
50 workflow run results
50 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add WeakKeyIdDict Run tests #2079: Pull request #1419 opened by fingolfin
September 8, 2023 12:56 31m 28s mh/WeakKeyIdDict
mh/WeakKeyIdDict
September 8, 2023 12:56 31m 28s
Enable some doctests (#1413) Run tests #2078: Commit 3ef4028 pushed by fingolfin
September 7, 2023 21:59 25m 17s master
master
September 7, 2023 21:59 25m 17s
add evaluate for FreeAssAlgElem Run tests #2077: Pull request #1418 opened by ThomasBreuer
September 6, 2023 20:09 4m 43s ThomasBreuer:TB_free_assoc_evaluate
ThomasBreuer:TB_free_assoc_evaluate
September 6, 2023 20:09 4m 43s
CI: use concrete action version (#1417) Run tests #2076: Commit af7eb88 pushed by fingolfin
September 5, 2023 21:34 28m 42s master
master
September 5, 2023 21:34 28m 42s
Remove duplicate include (#1416) Run tests #2075: Commit 185fb9a pushed by fingolfin
September 5, 2023 21:32 26m 35s master
master
September 5, 2023 21:32 26m 35s
CI: use concrete action version Run tests #2074: Pull request #1417 opened by lgoettgens
September 5, 2023 17:34 32m 22s lgoettgens:lg/action-v
lgoettgens:lg/action-v
September 5, 2023 17:34 32m 22s
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