Skip to content

Actions: Nemocas/Nemo.jl

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5,805 workflow runs
5,805 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment
pages-build-deployment #593: by thofma
October 5, 2024 03:38 57s
October 5, 2024 03:38 57s
Run tests
Run tests #2782: Scheduled
October 5, 2024 03:21 16m 27s master
October 5, 2024 03:21 16m 27s
HeckeCI
HeckeCI #531: Scheduled
October 5, 2024 03:21 42m 29s master
October 5, 2024 03:21 42m 29s
OscarCI
OscarCI #2022: Scheduled
October 5, 2024 03:20 In progress master
October 5, 2024 03:20 In progress
SingularCI
SingularCI #531: Scheduled
October 5, 2024 03:20 6m 37s master
October 5, 2024 03:20 6m 37s
CompatHelper
CompatHelper #879: Scheduled
October 5, 2024 00:01 1m 52s master
October 5, 2024 00:01 1m 52s
Misc changes
TagBot #4902: Issue comment #1878 (comment) created by codecov bot
October 4, 2024 23:48 2s
October 4, 2024 23:48 2s
Misc changes
SingularCI #530: Pull request #1878 opened by fingolfin
October 4, 2024 23:40 6m 21s mh/misc
October 4, 2024 23:40 6m 21s
Misc changes
Run tests #2781: Pull request #1878 opened by fingolfin
October 4, 2024 23:40 16m 23s mh/misc
October 4, 2024 23:40 16m 23s
Misc changes
OscarCI #2021: Pull request #1878 opened by fingolfin
October 4, 2024 23:40 4m 35s mh/misc
October 4, 2024 23:40 4m 35s
Misc changes
HeckeCI #530: Pull request #1878 opened by fingolfin
October 4, 2024 23:40 42m 16s mh/misc
October 4, 2024 23:40 42m 16s
Turn zzModRing & ZZModRing into ResidueRing subtypes
OscarCI #2020: Pull request #1819 reopened by fingolfin
October 4, 2024 23:29 3h 3m 9s mh/ModRing-ResidueRing
October 4, 2024 23:29 3h 3m 9s
Turn zzModRing & ZZModRing into ResidueRing subtypes
HeckeCI #529: Pull request #1819 reopened by fingolfin
October 4, 2024 23:29 33m 5s mh/ModRing-ResidueRing
October 4, 2024 23:29 33m 5s
Turn zzModRing & ZZModRing into ResidueRing subtypes
SingularCI #529: Pull request #1819 reopened by fingolfin
October 4, 2024 23:29 6m 18s mh/ModRing-ResidueRing
October 4, 2024 23:29 6m 18s
Turn zzModRing & ZZModRing into ResidueRing subtypes
Run tests #2780: Pull request #1819 reopened by fingolfin
October 4, 2024 23:29 15m 55s mh/ModRing-ResidueRing
October 4, 2024 23:29 15m 55s
pages build and deployment
pages-build-deployment #592: by thofma
October 4, 2024 10:28 59s
October 4, 2024 10:28 59s
Yet more flinitfy (and related tweaks) (#1876)
Run tests #2779: Commit d457d82 pushed by fingolfin
October 4, 2024 10:13 16m 7s master
October 4, 2024 10:13 16m 7s
Yet more flinitfy (and related tweaks) (#1876)
HeckeCI #528: Commit d457d82 pushed by fingolfin
October 4, 2024 10:13 43m 42s master
October 4, 2024 10:13 43m 42s
Yet more flinitfy (and related tweaks) (#1876)
OscarCI #2019: Commit d457d82 pushed by fingolfin
October 4, 2024 10:13 3h 16m 48s master
October 4, 2024 10:13 3h 16m 48s
Yet more flinitfy (and related tweaks) (#1876)
SingularCI #528: Commit d457d82 pushed by fingolfin
October 4, 2024 10:13 6m 2s master
October 4, 2024 10:13 6m 2s
pages build and deployment
pages-build-deployment #591: by thofma
October 4, 2024 03:38 58s
October 4, 2024 03:38 58s
HeckeCI
HeckeCI #527: Scheduled
October 4, 2024 03:22 44m 29s master
October 4, 2024 03:22 44m 29s
Run tests
Run tests #2778: Scheduled
October 4, 2024 03:22 16m 21s master
October 4, 2024 03:22 16m 21s
OscarCI
OscarCI #2018: Scheduled
October 4, 2024 03:20 3h 10m 0s master
October 4, 2024 03:20 3h 10m 0s
SingularCI
SingularCI #527: Scheduled
October 4, 2024 03:20 6m 28s master
October 4, 2024 03:20 6m 28s