Skip to content

Actions: Nemocas/Nemo.jl

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Move pirated stuff to AbstractAlgebra OscarCI #1003: Pull request #1531 synchronize by lgoettgens
September 4, 2023 10:53 22m 24s lgoettgens:lg/nemo-piracy
lgoettgens:lg/nemo-piracy
September 4, 2023 10:53 22m 24s
Move pirated stuff to AbstractAlgebra Run tests #1718: Pull request #1531 opened by lgoettgens
September 4, 2023 10:51 2m 17s lgoettgens:lg/nemo-piracy
lgoettgens:lg/nemo-piracy
September 4, 2023 10:51 2m 17s
Move pirated stuff to AbstractAlgebra OscarCI #1002: Pull request #1531 opened by lgoettgens
September 4, 2023 10:51 2m 6s lgoettgens:lg/nemo-piracy
lgoettgens:lg/nemo-piracy
September 4, 2023 10:51 2m 6s
Move pirated stuff to AbstractAlgebra Invalidations #89: Pull request #1531 opened by lgoettgens
September 4, 2023 10:51 2m 14s lgoettgens:lg/nemo-piracy
lgoettgens:lg/nemo-piracy
September 4, 2023 10:51 2m 14s
CompatHelper CompatHelper #482: Scheduled
September 4, 2023 00:01 2m 52s master
master
September 4, 2023 00:01 2m 52s
CompatHelper CompatHelper #481: Scheduled
September 3, 2023 00:01 2m 57s master
master
September 3, 2023 00:01 2m 57s
pages build and deployment pages-build-deployment #273: by thofma
September 2, 2023 18:21 1m 23s
September 2, 2023 18:21 1m 23s
Bump Aqua compat (#1530) OscarCI #1001: Commit ab2dfc1 pushed by fingolfin
September 2, 2023 18:15 2h 26m 38s master
master
September 2, 2023 18:15 2h 26m 38s
Bump Aqua compat (#1530) Run tests #1717: Commit ab2dfc1 pushed by fingolfin
September 2, 2023 18:15 24m 17s master
master
September 2, 2023 18:15 24m 17s
Type piracy in Nemo TagBot #4035: Issue comment #1495 (comment) created by lgoettgens
September 2, 2023 12:09 2s
September 2, 2023 12:09 2s
Bump Aqua compat TagBot #4034: Issue comment #1530 (comment) created by codecov bot
September 2, 2023 12:03 2s
September 2, 2023 12:03 2s
Bump Aqua compat Run tests #1716: Pull request #1530 opened by lgoettgens
September 2, 2023 11:52 23m 48s lgoettgens:patch-1
lgoettgens:patch-1
September 2, 2023 11:52 23m 48s
Bump Aqua compat OscarCI #1000: Pull request #1530 opened by lgoettgens
September 2, 2023 11:52 2h 12m 45s lgoettgens:patch-1
lgoettgens:patch-1
September 2, 2023 11:52 2h 12m 45s
Bump Aqua compat Invalidations #88: Pull request #1530 opened by lgoettgens
September 2, 2023 11:52 4m 6s lgoettgens:patch-1
lgoettgens:patch-1
September 2, 2023 11:52 4m 6s
CompatHelper CompatHelper #480: Scheduled
September 2, 2023 00:01 3m 11s master
master
September 2, 2023 00:01 3m 11s
Type piracy in Nemo TagBot #4033: Issue comment #1495 (comment) created by fingolfin
September 1, 2023 18:51 3s
September 1, 2023 18:51 3s
Z/nZ elements behave weirdly with integers TagBot #4032: Issue comment #1512 (comment) created by fingolfin
September 1, 2023 18:41 2s
September 1, 2023 18:41 2s
Add type NegInf representing negative infinity Run tests #1715: Pull request #1528 synchronize by fingolfin
September 1, 2023 18:16 15m 36s fingolfin:mh/infinity
fingolfin:mh/infinity
September 1, 2023 18:16 15m 36s
Add type NegInf representing negative infinity OscarCI #999: Pull request #1528 synchronize by fingolfin
September 1, 2023 18:16 2h 25m 56s fingolfin:mh/infinity
fingolfin:mh/infinity
September 1, 2023 18:16 2h 25m 56s
Add type NegInf representing negative infinity Invalidations #87: Pull request #1528 synchronize by fingolfin
September 1, 2023 18:16 4m 37s fingolfin:mh/infinity
fingolfin:mh/infinity
September 1, 2023 18:16 4m 37s
Add type NegInf representing negative infinity TagBot #4031: Issue comment #1528 (comment) created by fingolfin
September 1, 2023 18:16 3s
September 1, 2023 18:16 3s
Add type NegInf representing negative infinity Invalidations #86: Pull request #1528 synchronize by fingolfin
September 1, 2023 17:55 6m 31s fingolfin:mh/infinity
fingolfin:mh/infinity
September 1, 2023 17:55 6m 31s
Add type NegInf representing negative infinity OscarCI #998: Pull request #1528 synchronize by fingolfin
September 1, 2023 17:55 21m 25s fingolfin:mh/infinity
fingolfin:mh/infinity
September 1, 2023 17:55 21m 25s
Add type NegInf representing negative infinity Run tests #1714: Pull request #1528 synchronize by fingolfin
September 1, 2023 17:55 21m 17s fingolfin:mh/infinity
fingolfin:mh/infinity
September 1, 2023 17:55 21m 17s
Add type NegInf representing negative infinity OscarCI #997: Pull request #1528 synchronize by fingolfin
September 1, 2023 17:51 4m 31s fingolfin:mh/infinity
fingolfin:mh/infinity
September 1, 2023 17:51 4m 31s