Skip to content

Actions: Nemocas/AbstractAlgebra.jl

Actions

OscarCI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
oscar.yml
50 workflow run results
50 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add WeakKeyIdDict OscarCI #1314: Pull request #1419 opened by fingolfin
September 8, 2023 12:56 2h 36m 54s mh/WeakKeyIdDict
mh/WeakKeyIdDict
September 8, 2023 12:56 2h 36m 54s
Enable some doctests (#1413) OscarCI #1313: Commit 3ef4028 pushed by fingolfin
September 7, 2023 21:59 2h 48m 24s master
master
September 7, 2023 21:59 2h 48m 24s
add evaluate for FreeAssAlgElem OscarCI #1312: Pull request #1418 opened by ThomasBreuer
September 6, 2023 20:09 3h 45m 32s ThomasBreuer:TB_free_assoc_evaluate
ThomasBreuer:TB_free_assoc_evaluate
September 6, 2023 20:09 3h 45m 32s
CI: use concrete action version (#1417) OscarCI #1311: Commit af7eb88 pushed by fingolfin
September 5, 2023 21:34 2h 16m 6s master
master
September 5, 2023 21:34 2h 16m 6s
Remove duplicate include (#1416) OscarCI #1310: Commit 185fb9a pushed by fingolfin
September 5, 2023 21:32 2h 44m 6s master
master
September 5, 2023 21:32 2h 44m 6s
CI: use concrete action version OscarCI #1309: Pull request #1417 opened by lgoettgens
September 5, 2023 17:34 3h 1m 10s lgoettgens:lg/action-v
lgoettgens:lg/action-v
September 5, 2023 17:34 3h 1m 10s
Move pirated stuff from Nemo OscarCI #1308: Pull request #1412 synchronize by lgoettgens
September 5, 2023 17:12 3h 13m 18s lgoettgens:lg/nemo-piracy
lgoettgens:lg/nemo-piracy
September 5, 2023 17:12 3h 13m 18s
Remove duplicate include OscarCI #1307: Pull request #1416 opened by lgoettgens
September 5, 2023 17:10 2h 29m 12s lgoettgens:patch-5
lgoettgens:patch-5
September 5, 2023 17:10 2h 29m 12s
Fix PrettyPrinting corner case, add more tests (#1415) OscarCI #1306: Commit 58c0b47 pushed by fingolfin
September 5, 2023 15:38 6h 1m 58s master
master
September 5, 2023 15:38 6h 1m 58s
Fix PrettyPrinting corner case, add more tests OscarCI #1305: Pull request #1415 synchronize by fingolfin
September 5, 2023 13:21 2h 17m 8s fingolfin:mh/fix-printing
fingolfin:mh/fix-printing
September 5, 2023 13:21 2h 17m 8s
Enable some doctests OscarCI #1304: Pull request #1413 synchronize by lgoettgens
September 5, 2023 12:48 5h 46m 14s lgoettgens:lg/doctests
lgoettgens:lg/doctests
September 5, 2023 12:48 5h 46m 14s
Fix two typos (#1414) OscarCI #1303: Commit c95f17e pushed by fingolfin
September 5, 2023 10:09 2h 53m 50s master
master
September 5, 2023 10:09 2h 53m 50s
Fix PrettyPrinting corner case, add more tests OscarCI #1302: Pull request #1415 opened by fingolfin
September 5, 2023 10:09 2h 43m 17s fingolfin:mh/fix-printing
fingolfin:mh/fix-printing
September 5, 2023 10:09 2h 43m 17s
Js/nc groebner optimization stable (#1292) OscarCI #1301: Commit 6299c95 pushed by fingolfin
September 5, 2023 09:35 2h 47m 46s master
master
September 5, 2023 09:35 2h 47m 46s
Fix two typos OscarCI #1300: Pull request #1414 opened by lgoettgens
September 4, 2023 15:44 3h 49m 1s lgoettgens:lg/typos
lgoettgens:lg/typos
September 4, 2023 15:44 3h 49m 1s
Enable some doctests OscarCI #1299: Pull request #1413 opened by lgoettgens
September 4, 2023 15:44 3h 58m 37s lgoettgens:lg/doctests
lgoettgens:lg/doctests
September 4, 2023 15:44 3h 58m 37s
Move pirated stuff from Nemo OscarCI #1298: Pull request #1412 synchronize by lgoettgens
September 4, 2023 15:36 4h 3m 4s lgoettgens:lg/nemo-piracy
lgoettgens:lg/nemo-piracy
September 4, 2023 15:36 4h 3m 4s
Move pirated stuff from Nemo OscarCI #1297: Pull request #1412 reopened by lgoettgens
September 4, 2023 14:19 1h 17m 56s lgoettgens:lg/nemo-piracy
lgoettgens:lg/nemo-piracy
September 4, 2023 14:19 1h 17m 56s
Move pirated stuff from Nemo OscarCI #1296: Pull request #1412 reopened by lgoettgens
September 4, 2023 14:16 3m 5s lgoettgens:lg/nemo-piracy
lgoettgens:lg/nemo-piracy
September 4, 2023 14:16 3m 5s
Move pirated stuff from Nemo OscarCI #1295: Pull request #1412 reopened by lgoettgens
September 4, 2023 14:15 1m 32s lgoettgens:lg/nemo-piracy
lgoettgens:lg/nemo-piracy
September 4, 2023 14:15 1m 32s
Move pirated stuff from Nemo OscarCI #1294: Pull request #1412 synchronize by lgoettgens
September 4, 2023 14:10 35s lgoettgens:lg/nemo-piracy
lgoettgens:lg/nemo-piracy
September 4, 2023 14:10 35s
Move pirated stuff from Nemo OscarCI #1293: Pull request #1412 synchronize by lgoettgens
September 4, 2023 14:07 3m 56s lgoettgens:lg/nemo-piracy
lgoettgens:lg/nemo-piracy
September 4, 2023 14:07 3m 56s
Move pirated stuff from Nemo OscarCI #1292: Pull request #1412 synchronize by lgoettgens
September 4, 2023 12:33 28m 56s lgoettgens:lg/nemo-piracy
lgoettgens:lg/nemo-piracy
September 4, 2023 12:33 28m 56s
Move pirated stuff from Nemo OscarCI #1291: Pull request #1412 synchronize by lgoettgens
September 4, 2023 12:11 22m 24s lgoettgens:lg/nemo-piracy
lgoettgens:lg/nemo-piracy
September 4, 2023 12:11 22m 24s
Move pirated stuff from Nemo OscarCI #1290: Pull request #1412 synchronize by lgoettgens
September 4, 2023 11:38 33m 0s lgoettgens:lg/nemo-piracy
lgoettgens:lg/nemo-piracy
September 4, 2023 11:38 33m 0s