Skip to content

Actions: Nemocas/Nemo.jl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,934 workflow run results
2,934 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix a field element constructor OscarCI #1549: Pull request #1719 opened by ThomasBreuer
April 17, 2024 14:17 2h 4m 39s ThomasBreuer:TB_fqPolyRepField_constructor
ThomasBreuer:TB_fqPolyRepField_constructor
April 17, 2024 14:17 2h 4m 39s
Consistently use ZZ/QQ instead of mix of ZZ/QQ and FlintZZ/FlintQQ SingularCI #57: Pull request #1718 synchronize by lgoettgens
April 17, 2024 13:51 6m 22s lgoettgens:lg/FlintQQZZ
lgoettgens:lg/FlintQQZZ
April 17, 2024 13:51 6m 22s
Consistently use ZZ/QQ instead of mix of ZZ/QQ and FlintZZ/FlintQQ Run tests #2293: Pull request #1718 synchronize by lgoettgens
April 17, 2024 13:51 15m 45s lgoettgens:lg/FlintQQZZ
lgoettgens:lg/FlintQQZZ
April 17, 2024 13:51 15m 45s
Consistently use ZZ/QQ instead of mix of ZZ/QQ and FlintZZ/FlintQQ HeckeCI #57: Pull request #1718 synchronize by lgoettgens
April 17, 2024 13:51 30m 27s lgoettgens:lg/FlintQQZZ
lgoettgens:lg/FlintQQZZ
April 17, 2024 13:51 30m 27s
Consistently use ZZ/QQ instead of mix of ZZ/QQ and FlintZZ/FlintQQ OscarCI #1548: Pull request #1718 synchronize by lgoettgens
April 17, 2024 13:51 30m 29s lgoettgens:lg/FlintQQZZ
lgoettgens:lg/FlintQQZZ
April 17, 2024 13:51 30m 29s
Consistently use ZZ/QQ instead of mix of ZZ/QQ and FlintZZ/FlintQQ Invalidations #486: Pull request #1718 synchronize by lgoettgens
April 17, 2024 13:51 3m 9s lgoettgens:lg/FlintQQZZ
lgoettgens:lg/FlintQQZZ
April 17, 2024 13:51 3m 9s
Consistently use ZZ/QQ instead of mix of ZZ/QQ and FlintZZ/FlintQQ OscarCI #1547: Pull request #1718 opened by lgoettgens
April 17, 2024 13:37 14m 18s lgoettgens:lg/FlintQQZZ
lgoettgens:lg/FlintQQZZ
April 17, 2024 13:37 14m 18s
Consistently use ZZ/QQ instead of mix of ZZ/QQ and FlintZZ/FlintQQ HeckeCI #56: Pull request #1718 opened by lgoettgens
April 17, 2024 13:37 14m 18s lgoettgens:lg/FlintQQZZ
lgoettgens:lg/FlintQQZZ
April 17, 2024 13:37 14m 18s
Consistently use ZZ/QQ instead of mix of ZZ/QQ and FlintZZ/FlintQQ Run tests #2292: Pull request #1718 opened by lgoettgens
April 17, 2024 13:37 14m 19s lgoettgens:lg/FlintQQZZ
lgoettgens:lg/FlintQQZZ
April 17, 2024 13:37 14m 19s
Consistently use ZZ/QQ instead of mix of ZZ/QQ and FlintZZ/FlintQQ SingularCI #56: Pull request #1718 opened by lgoettgens
April 17, 2024 13:37 6m 30s lgoettgens:lg/FlintQQZZ
lgoettgens:lg/FlintQQZZ
April 17, 2024 13:37 6m 30s
Consistently use ZZ/QQ instead of mix of ZZ/QQ and FlintZZ/FlintQQ Invalidations #485: Pull request #1718 opened by lgoettgens
April 17, 2024 13:37 3m 16s lgoettgens:lg/FlintQQZZ
lgoettgens:lg/FlintQQZZ
April 17, 2024 13:37 3m 16s
Sort out deprecations and aliases Run tests #2291: Pull request #1704 reopened by lgoettgens
April 17, 2024 13:21 15m 27s lgoettgens:lg/aliases-deprecations
lgoettgens:lg/aliases-deprecations
April 17, 2024 13:21 15m 27s
Sort out deprecations and aliases SingularCI #55: Pull request #1704 reopened by lgoettgens
April 17, 2024 13:21 6m 35s lgoettgens:lg/aliases-deprecations
lgoettgens:lg/aliases-deprecations
April 17, 2024 13:21 6m 35s
Sort out deprecations and aliases Invalidations #484: Pull request #1704 reopened by lgoettgens
April 17, 2024 13:21 3m 21s lgoettgens:lg/aliases-deprecations
lgoettgens:lg/aliases-deprecations
April 17, 2024 13:21 3m 21s
Sort out deprecations and aliases HeckeCI #55: Pull request #1704 reopened by lgoettgens
April 17, 2024 13:21 1h 4m 48s lgoettgens:lg/aliases-deprecations
lgoettgens:lg/aliases-deprecations
April 17, 2024 13:21 1h 4m 48s
Sort out deprecations and aliases OscarCI #1546: Pull request #1704 reopened by lgoettgens
April 17, 2024 13:21 2h 3m 28s lgoettgens:lg/aliases-deprecations
lgoettgens:lg/aliases-deprecations
April 17, 2024 13:21 2h 3m 28s
Adapt QQBar documentation SingularCI #54: Pull request #1715 reopened by lgoettgens
April 17, 2024 13:20 6m 9s lgoettgens:lg/QQBar-docs
lgoettgens:lg/QQBar-docs
April 17, 2024 13:20 6m 9s
Adapt QQBar documentation Invalidations #483: Pull request #1715 reopened by lgoettgens
April 17, 2024 13:20 3m 3s lgoettgens:lg/QQBar-docs
lgoettgens:lg/QQBar-docs
April 17, 2024 13:20 3m 3s
Adapt QQBar documentation Run tests #2290: Pull request #1715 reopened by lgoettgens
April 17, 2024 13:20 16m 9s lgoettgens:lg/QQBar-docs
lgoettgens:lg/QQBar-docs
April 17, 2024 13:20 16m 9s
Adapt QQBar documentation HeckeCI #54: Pull request #1715 reopened by lgoettgens
April 17, 2024 13:20 1h 6m 26s lgoettgens:lg/QQBar-docs
lgoettgens:lg/QQBar-docs
April 17, 2024 13:20 1h 6m 26s
Adapt QQBar documentation OscarCI #1545: Pull request #1715 reopened by lgoettgens
April 17, 2024 13:20 2h 2m 39s lgoettgens:lg/QQBar-docs
lgoettgens:lg/QQBar-docs
April 17, 2024 13:20 2h 2m 39s
Adapt QQBar documentation TagBot #4518: Issue comment #1715 (comment) created by codecov bot
April 17, 2024 10:02 2s
April 17, 2024 10:02 2s
Sort out deprecations and aliases TagBot #4517: Issue comment #1704 (comment) created by lgoettgens
April 17, 2024 10:00 2s
April 17, 2024 10:00 2s
Sort out deprecations and aliases Run tests #2289: Pull request #1704 synchronize by lgoettgens
April 17, 2024 10:00 15m 39s lgoettgens:lg/aliases-deprecations
lgoettgens:lg/aliases-deprecations
April 17, 2024 10:00 15m 39s
Sort out deprecations and aliases SingularCI #53: Pull request #1704 synchronize by lgoettgens
April 17, 2024 10:00 5m 59s lgoettgens:lg/aliases-deprecations
lgoettgens:lg/aliases-deprecations
April 17, 2024 10:00 5m 59s