Skip to content

Actions: oscar-system/Oscar.jl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5,233 workflow run results
5,233 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add a missing LowercaseOff Invalidations #3154: Pull request #3313 opened by lgoettgens
February 4, 2024 19:42 8m 19s lgoettgens:lg/fix
lgoettgens:lg/fix
February 4, 2024 19:42 8m 19s
Add a missing LowercaseOff Documentation #11671: Pull request #3313 opened by lgoettgens
February 4, 2024 19:42 11m 28s lgoettgens:lg/fix
lgoettgens:lg/fix
February 4, 2024 19:42 11m 28s
pages build and deployment pages-build-deployment #3798: by fieker
February 4, 2024 16:26 1m 47s gh-pages
gh-pages
February 4, 2024 16:26 1m 47s
pages build and deployment pages-build-deployment #3797: by github-pages bot
February 4, 2024 16:14 1m 48s gh-pages
gh-pages
February 4, 2024 16:14 1m 48s
Bump Hecke version, fix some regressions Cleanup Doc Preview #1995: Pull request #3311 closed by thofma
February 4, 2024 16:14 22s th/bumphecke
th/bumphecke
February 4, 2024 16:14 22s
chore: bump Hecke version to 0.27 (#3311) Bibtool test #6082: Commit 250e4f2 pushed by thofma
February 4, 2024 16:14 34s master
master
February 4, 2024 16:14 34s
chore: bump Hecke version to 0.27 (#3311) Documentation #11670: Commit 250e4f2 pushed by thofma
February 4, 2024 16:14 12m 8s master
master
February 4, 2024 16:14 12m 8s
chore: bump Hecke version to 0.27 (#3311) Run tests #13021: Commit 250e4f2 pushed by thofma
February 4, 2024 16:14 59m 10s master
master
February 4, 2024 16:14 59m 10s
pages build and deployment pages-build-deployment #3796: by fieker
February 4, 2024 15:36 1m 48s gh-pages
gh-pages
February 4, 2024 15:36 1m 48s
pages build and deployment pages-build-deployment #3795: by fieker
February 4, 2024 15:35 1m 22s gh-pages
gh-pages
February 4, 2024 15:35 1m 22s
pages build and deployment pages-build-deployment #3794: by github-pages bot
February 4, 2024 15:23 1m 46s gh-pages
gh-pages
February 4, 2024 15:23 1m 46s
Bump Hecke version, fix some regressions Documentation #11669: Pull request #3311 reopened by thofma
February 4, 2024 15:23 13m 3s th/bumphecke
th/bumphecke
February 4, 2024 15:23 13m 3s
Bump Hecke version, fix some regressions Bibtool test #6081: Pull request #3311 reopened by thofma
February 4, 2024 15:23 29s th/bumphecke
th/bumphecke
February 4, 2024 15:23 29s
Bump Hecke version, fix some regressions Invalidations #3153: Pull request #3311 reopened by thofma
February 4, 2024 15:23 9m 45s th/bumphecke
th/bumphecke
February 4, 2024 15:23 9m 45s
Bump Hecke version, fix some regressions Run tests #13020: Pull request #3311 reopened by thofma
February 4, 2024 15:23 1h 4m 16s th/bumphecke
th/bumphecke
February 4, 2024 15:23 1h 4m 16s
Bump Hecke version, fix some regressions Cleanup Doc Preview #1994: Pull request #3311 closed by thofma
February 4, 2024 15:23 22s th/bumphecke
th/bumphecke
February 4, 2024 15:23 22s
Fix deprecation error (#3312) Bibtool test #6080: Commit 04a2a55 pushed by thofma
February 4, 2024 15:23 31s master
master
February 4, 2024 15:23 31s
Fix deprecation error Cleanup Doc Preview #1993: Pull request #3312 closed by thofma
February 4, 2024 15:23 20s lgoettgens:lg/dep-error
lgoettgens:lg/dep-error
February 4, 2024 15:23 20s
Fix deprecation error (#3312) Documentation #11668: Commit 04a2a55 pushed by thofma
February 4, 2024 15:23 11m 58s master
master
February 4, 2024 15:23 11m 58s
Fix deprecation error (#3312) Run tests #13019: Commit 04a2a55 pushed by thofma
February 4, 2024 15:23 25m 36s master
master
February 4, 2024 15:23 25m 36s
Fix deprecation error TagBot #13914: Issue comment #3312 (comment) created by codecov bot
February 4, 2024 15:12 1s
February 4, 2024 15:12 1s
Bump Hecke version, fix some regressions TagBot #13913: Issue comment #3311 (comment) created by lgoettgens
February 4, 2024 14:29 2s
February 4, 2024 14:29 2s
Fix deprecation error Bibtool test #6079: Pull request #3312 opened by lgoettgens
February 4, 2024 14:28 33s lgoettgens:lg/dep-error
lgoettgens:lg/dep-error
February 4, 2024 14:28 33s
Fix deprecation error Invalidations #3152: Pull request #3312 opened by lgoettgens
February 4, 2024 14:28 7m 32s lgoettgens:lg/dep-error
lgoettgens:lg/dep-error
February 4, 2024 14:28 7m 32s
Fix deprecation error Documentation #11667: Pull request #3312 opened by lgoettgens
February 4, 2024 14:28 11m 44s lgoettgens:lg/dep-error
lgoettgens:lg/dep-error
February 4, 2024 14:28 11m 44s