Skip to content

Actions: Nemocas/AbstractAlgebra.jl

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pretty printing for maps Invalidations #99: Pull request #1424 opened by simonbrandhorst
September 12, 2023 19:04 4m 53s simonbrandhorst:sb/pretty_print_map
simonbrandhorst:sb/pretty_print_map
September 12, 2023 19:04 4m 53s
pretty printing for maps OscarCI #1336: Pull request #1424 opened by simonbrandhorst
September 12, 2023 19:04 42m 47s simonbrandhorst:sb/pretty_print_map
simonbrandhorst:sb/pretty_print_map
September 12, 2023 19:04 42m 47s
pages build and deployment pages-build-deployment #318: by thofma
September 12, 2023 16:50 11m 21s
September 12, 2023 16:50 11m 21s
Remove error_dim_negative Invalidations #98: Pull request #1410 reopened by fingolfin
September 12, 2023 16:46 6m 25s fingolfin:mh/error_dim_negative
fingolfin:mh/error_dim_negative
September 12, 2023 16:46 6m 25s
Remove error_dim_negative OscarCI #1335: Pull request #1410 reopened by fingolfin
September 12, 2023 16:46 19m 17s fingolfin:mh/error_dim_negative
fingolfin:mh/error_dim_negative
September 12, 2023 16:46 19m 17s
Remove error_dim_negative Run tests #2100: Pull request #1410 reopened by fingolfin
September 12, 2023 16:46 25m 52s fingolfin:mh/error_dim_negative
fingolfin:mh/error_dim_negative
September 12, 2023 16:46 25m 52s
Extend more functionality to NCRing (#1423) OscarCI #1334: Commit 11626c5 pushed by fingolfin
September 12, 2023 16:44 50m 25s master
master
September 12, 2023 16:44 50m 25s
Extend more functionality to NCRing (#1423) Run tests #2099: Commit 11626c5 pushed by fingolfin
September 12, 2023 16:44 24m 48s master
master
September 12, 2023 16:44 24m 48s
Extend more functionality to NCRing TagBot #4889: Issue comment #1423 (comment) created by codecov bot
September 12, 2023 14:19 3s
September 12, 2023 14:19 3s
Extend more functionality to NCRing OscarCI #1333: Pull request #1423 opened by lgoettgens
September 12, 2023 13:49 3m 59s lgoettgens:lg/NCRing-stuff
lgoettgens:lg/NCRing-stuff
September 12, 2023 13:49 3m 59s
Extend more functionality to NCRing Invalidations #97: Pull request #1423 opened by lgoettgens
September 12, 2023 13:49 4m 9s lgoettgens:lg/NCRing-stuff
lgoettgens:lg/NCRing-stuff
September 12, 2023 13:49 4m 9s
Extend more functionality to NCRing Run tests #2098: Pull request #1423 opened by lgoettgens
September 12, 2023 13:49 27m 54s lgoettgens:lg/NCRing-stuff
lgoettgens:lg/NCRing-stuff
September 12, 2023 13:49 27m 54s
pages build and deployment pages-build-deployment #317: by thofma
September 12, 2023 13:09 1m 41s
September 12, 2023 13:09 1m 41s
Move pirated stuff from Nemo (#1412) OscarCI #1332: Commit 723898c pushed by fingolfin
September 12, 2023 13:04 4m 28s master
master
September 12, 2023 13:04 4m 28s
Move pirated stuff from Nemo (#1412) Run tests #2097: Commit 723898c pushed by fingolfin
September 12, 2023 13:04 31m 19s master
master
September 12, 2023 13:04 31m 19s
Move pirated stuff from Nemo TagBot #4888: Issue comment #1412 (comment) created by lgoettgens
September 12, 2023 12:44 4s
September 12, 2023 12:44 4s
Add WeakKeyIdDict OscarCI #1331: Pull request #1419 synchronize by fingolfin
September 12, 2023 10:11 2h 16m 52s mh/WeakKeyIdDict
mh/WeakKeyIdDict
September 12, 2023 10:11 2h 16m 52s
Add WeakKeyIdDict Invalidations #96: Pull request #1419 synchronize by fingolfin
September 12, 2023 10:11 6m 7s mh/WeakKeyIdDict
mh/WeakKeyIdDict
September 12, 2023 10:11 6m 7s
Add WeakKeyIdDict Run tests #2096: Pull request #1419 synchronize by fingolfin
September 12, 2023 10:11 22m 16s mh/WeakKeyIdDict
mh/WeakKeyIdDict
September 12, 2023 10:11 22m 16s
Add WeakKeyIdDict Run tests #2095: Pull request #1419 synchronize by fingolfin
September 12, 2023 10:05 5m 46s mh/WeakKeyIdDict
mh/WeakKeyIdDict
September 12, 2023 10:05 5m 46s
Add WeakKeyIdDict Invalidations #95: Pull request #1419 synchronize by fingolfin
September 12, 2023 10:05 5m 48s mh/WeakKeyIdDict
mh/WeakKeyIdDict
September 12, 2023 10:05 5m 48s
Add WeakKeyIdDict OscarCI #1330: Pull request #1419 synchronize by fingolfin
September 12, 2023 10:05 5m 46s mh/WeakKeyIdDict
mh/WeakKeyIdDict
September 12, 2023 10:05 5m 46s
pages build and deployment pages-build-deployment #316: by thofma
September 12, 2023 09:51 1m 49s
September 12, 2023 09:51 1m 49s
Widen zeros to NCRing (#1422) Run tests #2094: Commit 860e85c pushed by thofma
September 12, 2023 09:46 40m 24s master
master
September 12, 2023 09:46 40m 24s
Widen zeros to NCRing (#1422) OscarCI #1329: Commit 860e85c pushed by thofma
September 12, 2023 09:46 2h 32m 0s master
master
September 12, 2023 09:46 2h 32m 0s
ProTip! You can narrow down the results and go further in time using created:<2023-09-12 or the other filters available.