Skip to content

Actions: Nemocas/AbstractAlgebra.jl

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
265 workflow run results
265 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment
pages-build-deployment #310: by thofma
September 5, 2023 21:37 1m 42s
September 5, 2023 21:37 1m 42s
CI: use concrete action version (#1417)
OscarCI #1311: Commit af7eb88 pushed by fingolfin
September 5, 2023 21:34 2h 16m 6s master
September 5, 2023 21:34 2h 16m 6s
CI: use concrete action version (#1417)
Run tests #2076: Commit af7eb88 pushed by fingolfin
September 5, 2023 21:34 28m 42s master
September 5, 2023 21:34 28m 42s
Remove duplicate include (#1416)
OscarCI #1310: Commit 185fb9a pushed by fingolfin
September 5, 2023 21:32 2h 44m 6s master
September 5, 2023 21:32 2h 44m 6s
Remove duplicate include (#1416)
Run tests #2075: Commit 185fb9a pushed by fingolfin
September 5, 2023 21:32 26m 35s master
September 5, 2023 21:32 26m 35s
CI: use concrete action version
TagBot #4864: Issue comment #1417 (comment) created by codecov bot
September 5, 2023 17:57 2s
September 5, 2023 17:57 2s
CI: use concrete action version
Invalidations #81: Pull request #1417 opened by lgoettgens
September 5, 2023 17:34 4m 2s lgoettgens:lg/action-v
September 5, 2023 17:34 4m 2s
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
September 5, 2023 17:34 3h 1m 10s
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
September 5, 2023 17:34 32m 22s
Remove duplicate include
TagBot #4863: Issue comment #1416 (comment) created by codecov bot
September 5, 2023 17:32 2s
September 5, 2023 17:32 2s
Move pirated stuff from Nemo
TagBot #4862: Issue comment #1412 (comment) created by thofma
September 5, 2023 17:31 3s
September 5, 2023 17:31 3s
Move pirated stuff from Nemo
TagBot #4861: Issue comment #1412 (comment) created by lgoettgens
September 5, 2023 17:17 2s
September 5, 2023 17:17 2s
Move pirated stuff from Nemo
Invalidations #80: Pull request #1412 synchronize by lgoettgens
September 5, 2023 17:12 4m 9s lgoettgens:lg/nemo-piracy
September 5, 2023 17:12 4m 9s
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
September 5, 2023 17:12 31m 7s
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
September 5, 2023 17:12 3h 13m 18s
Remove duplicate include
Invalidations #79: Pull request #1416 opened by lgoettgens
September 5, 2023 17:10 4m 45s lgoettgens:patch-5
September 5, 2023 17:10 4m 45s
Remove duplicate include
Run tests #2072: Pull request #1416 opened by lgoettgens
September 5, 2023 17:10 24m 42s lgoettgens:patch-5
September 5, 2023 17:10 24m 42s
Remove duplicate include
OscarCI #1307: Pull request #1416 opened by lgoettgens
September 5, 2023 17:10 2h 29m 12s lgoettgens:patch-5
September 5, 2023 17:10 2h 29m 12s
Move pirated stuff from Nemo
TagBot #4860: Issue comment #1412 (comment) created by fingolfin
September 5, 2023 16:45 2m 30s
September 5, 2023 16:45 2m 30s
Move pirated stuff from Nemo
TagBot #4859: Issue comment #1412 (comment) created by lgoettgens
September 5, 2023 16:14 2s
September 5, 2023 16:14 2s
pages build and deployment
pages-build-deployment #309: by thofma
September 5, 2023 15:43 1m 40s
September 5, 2023 15:43 1m 40s
Fix PrettyPrinting corner case, add more tests (#1415)
OscarCI #1306: Commit 58c0b47 pushed by fingolfin
September 5, 2023 15:38 6h 1m 58s master
September 5, 2023 15:38 6h 1m 58s
Fix PrettyPrinting corner case, add more tests (#1415)
Run tests #2071: Commit 58c0b47 pushed by fingolfin
September 5, 2023 15:38 23m 58s master
September 5, 2023 15:38 23m 58s
Fix PrettyPrinting corner case, add more tests
Invalidations #78: Pull request #1415 synchronize by fingolfin
September 5, 2023 13:21 5m 12s fingolfin:mh/fix-printing
September 5, 2023 13:21 5m 12s
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
September 5, 2023 13:21 2h 17m 8s