Skip to content

Actions: oscar-system/Oscar.jl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
11,232 workflow run results
11,232 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

change fp_group_with_isomorphism, pc_group_with_isomorphism TagBot #14766: Issue comment #3563 (comment) created by codecov bot
April 8, 2024 16:50 2s
April 8, 2024 16:50 2s
change fp_group_with_isomorphism, pc_group_with_isomorphism TagBot #14765: Issue comment #3563 (comment) created by lgoettgens
April 8, 2024 16:02 2s
April 8, 2024 16:02 2s
change fp_group_with_isomorphism, pc_group_with_isomorphism Run CI without experimental #178: Pull request #3563 reopened by lgoettgens
April 8, 2024 16:02 41m 39s ThomasBreuer:TB_isomorphism_direction
ThomasBreuer:TB_isomorphism_direction
April 8, 2024 16:02 41m 39s
change fp_group_with_isomorphism, pc_group_with_isomorphism Invalidations #4073: Pull request #3563 reopened by lgoettgens
April 8, 2024 16:02 8m 47s ThomasBreuer:TB_isomorphism_direction
ThomasBreuer:TB_isomorphism_direction
April 8, 2024 16:02 8m 47s
change fp_group_with_isomorphism, pc_group_with_isomorphism Bibtool test #7192: Pull request #3563 reopened by lgoettgens
April 8, 2024 16:02 38s ThomasBreuer:TB_isomorphism_direction
ThomasBreuer:TB_isomorphism_direction
April 8, 2024 16:02 38s
change fp_group_with_isomorphism, pc_group_with_isomorphism Documentation #12782: Pull request #3563 reopened by lgoettgens
April 8, 2024 16:02 12m 18s ThomasBreuer:TB_isomorphism_direction
ThomasBreuer:TB_isomorphism_direction
April 8, 2024 16:02 12m 18s
change fp_group_with_isomorphism, pc_group_with_isomorphism Run tests #14140: Pull request #3563 reopened by lgoettgens
April 8, 2024 16:02 2h 33m 16s ThomasBreuer:TB_isomorphism_direction
ThomasBreuer:TB_isomorphism_direction
April 8, 2024 16:02 2h 33m 16s
change fp_group_with_isomorphism, pc_group_with_isomorphism Cleanup Doc Preview #2204: Pull request #3563 closed by lgoettgens
April 8, 2024 16:02 27s ThomasBreuer:TB_isomorphism_direction
ThomasBreuer:TB_isomorphism_direction
April 8, 2024 16:02 27s
Intermediate PR for work on elliptic fibrations Invalidations #4072: Pull request #3564 synchronize by HechtiDerLachs
April 8, 2024 15:52 8m 38s HechtiDerLachs:oguiso_rebase5
HechtiDerLachs:oguiso_rebase5
April 8, 2024 15:52 8m 38s
Intermediate PR for work on elliptic fibrations Run CI without experimental #177: Pull request #3564 synchronize by HechtiDerLachs
April 8, 2024 15:52 41m 25s HechtiDerLachs:oguiso_rebase5
HechtiDerLachs:oguiso_rebase5
April 8, 2024 15:52 41m 25s
Intermediate PR for work on elliptic fibrations Bibtool test #7191: Pull request #3564 synchronize by HechtiDerLachs
April 8, 2024 15:52 37s HechtiDerLachs:oguiso_rebase5
HechtiDerLachs:oguiso_rebase5
April 8, 2024 15:52 37s
Intermediate PR for work on elliptic fibrations Documentation #12781: Pull request #3564 synchronize by HechtiDerLachs
April 8, 2024 15:52 12m 24s HechtiDerLachs:oguiso_rebase5
HechtiDerLachs:oguiso_rebase5
April 8, 2024 15:52 12m 24s
Intermediate PR for work on elliptic fibrations Run tests #14139: Pull request #3564 synchronize by HechtiDerLachs
April 8, 2024 15:52 2h 30m 57s HechtiDerLachs:oguiso_rebase5
HechtiDerLachs:oguiso_rebase5
April 8, 2024 15:52 2h 30m 57s
Intermediate PR for work on elliptic fibrations TagBot #14764: Issue comment #3564 (comment) created by HechtiDerLachs
April 8, 2024 15:50 2s
April 8, 2024 15:50 2s
pages build and deployment pages-build-deployment #4251: by fieker
April 8, 2024 15:41 1m 57s gh-pages
gh-pages
April 8, 2024 15:41 1m 57s
Hide Oscar.jl banner, when used in other module Run tests #14138: Pull request #3541 synchronize by lkastner
April 8, 2024 15:28 1h 8m 8s lk/banners
lk/banners
April 8, 2024 15:28 1h 8m 8s
Hide Oscar.jl banner, when used in other module Documentation #12780: Pull request #3541 synchronize by lkastner
April 8, 2024 15:28 13m 16s lk/banners
lk/banners
April 8, 2024 15:28 13m 16s
Hide Oscar.jl banner, when used in other module Invalidations #4071: Pull request #3541 synchronize by lkastner
April 8, 2024 15:28 8m 46s lk/banners
lk/banners
April 8, 2024 15:28 8m 46s
Hide Oscar.jl banner, when used in other module Bibtool test #7190: Pull request #3541 synchronize by lkastner
April 8, 2024 15:28 41s lk/banners
lk/banners
April 8, 2024 15:28 41s
Hide Oscar.jl banner, when used in other module Run CI without experimental #176: Pull request #3541 synchronize by lkastner
April 8, 2024 15:28 31m 49s lk/banners
lk/banners
April 8, 2024 15:28 31m 49s
Intermediate PR for work on elliptic fibrations TagBot #14763: Issue comment #3564 (comment) created by joschmitt
April 8, 2024 15:08 10s
April 8, 2024 15:08 10s
Intermediate PR for work on elliptic fibrations TagBot #14762: Issue comment #3564 (comment) created by lgoettgens
April 8, 2024 15:03 2s
April 8, 2024 15:03 2s
Intermediate PR for work on elliptic fibrations Bibtool test #7189: Pull request #3564 synchronize by HechtiDerLachs
April 8, 2024 14:58 56s HechtiDerLachs:oguiso_rebase5
HechtiDerLachs:oguiso_rebase5
April 8, 2024 14:58 56s
Intermediate PR for work on elliptic fibrations Documentation #12779: Pull request #3564 synchronize by HechtiDerLachs
April 8, 2024 14:58 12m 48s HechtiDerLachs:oguiso_rebase5
HechtiDerLachs:oguiso_rebase5
April 8, 2024 14:58 12m 48s
Intermediate PR for work on elliptic fibrations Run tests #14137: Pull request #3564 synchronize by HechtiDerLachs
April 8, 2024 14:58 54m 18s HechtiDerLachs:oguiso_rebase5
HechtiDerLachs:oguiso_rebase5
April 8, 2024 14:58 54m 18s