Skip to content

Actions: oscar-system/Oscar.jl

Actions

Run CI without experimental

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
NoExperimental.yml
178 workflow run results
178 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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 Run CI without experimental #175: Pull request #3564 synchronize by HechtiDerLachs
April 8, 2024 14:58 33m 26s HechtiDerLachs:oguiso_rebase5
HechtiDerLachs:oguiso_rebase5
April 8, 2024 14:58 33m 26s
Intermediate PR for work on elliptic fibrations Run CI without experimental #174: Pull request #3564 synchronize by HechtiDerLachs
April 8, 2024 14:15 32m 37s HechtiDerLachs:oguiso_rebase5
HechtiDerLachs:oguiso_rebase5
April 8, 2024 14:15 32m 37s
Intermediate PR for work on elliptic fibrations Run CI without experimental #173: Pull request #3564 synchronize by HechtiDerLachs
April 8, 2024 14:09 6m 41s HechtiDerLachs:oguiso_rebase5
HechtiDerLachs:oguiso_rebase5
April 8, 2024 14:09 6m 41s
Intermediate PR for work on elliptic fibrations Run CI without experimental #172: Pull request #3564 synchronize by HechtiDerLachs
April 8, 2024 14:05 4m 11s HechtiDerLachs:oguiso_rebase5
HechtiDerLachs:oguiso_rebase5
April 8, 2024 14:05 4m 11s
Hide Oscar.jl banner, when used in other module Run CI without experimental #171: Pull request #3541 synchronize by lkastner
April 8, 2024 13:37 33m 31s lk/banners
lk/banners
April 8, 2024 13:37 33m 31s
[FtheoryTools] Added F-theory models on all toric hypersurfaces Run CI without experimental #170: Pull request #3568 opened by emikelsons
April 8, 2024 13:24 40m 41s emikelsons:MikelisCoolModels
emikelsons:MikelisCoolModels
April 8, 2024 13:24 40m 41s
Intermediate PR for work on elliptic fibrations Run CI without experimental #169: Pull request #3564 synchronize by HechtiDerLachs
April 8, 2024 13:00 35m 10s HechtiDerLachs:oguiso_rebase5
HechtiDerLachs:oguiso_rebase5
April 8, 2024 13:00 35m 10s
Hide Oscar.jl banner, when used in other module Run CI without experimental #168: Pull request #3541 synchronize by lkastner
April 8, 2024 12:18 41m 45s lk/banners
lk/banners
April 8, 2024 12:18 41m 45s
Intermediate PR for work on elliptic fibrations Run CI without experimental #167: Pull request #3564 synchronize by HechtiDerLachs
April 8, 2024 10:19 25m 25s HechtiDerLachs:oguiso_rebase5
HechtiDerLachs:oguiso_rebase5
April 8, 2024 10:19 25m 25s
Intermediate PR for work on elliptic fibrations Run CI without experimental #166: Pull request #3564 synchronize by HechtiDerLachs
April 8, 2024 09:53 25m 45s HechtiDerLachs:oguiso_rebase5
HechtiDerLachs:oguiso_rebase5
April 8, 2024 09:53 25m 45s
Intermediate PR for work on elliptic fibrations Run CI without experimental #165: Pull request #3564 synchronize by HechtiDerLachs
April 8, 2024 09:10 26m 45s HechtiDerLachs:oguiso_rebase5
HechtiDerLachs:oguiso_rebase5
April 8, 2024 09:10 26m 45s
Intermediate PR for work on elliptic fibrations Run CI without experimental #164: Pull request #3564 synchronize by HechtiDerLachs
April 8, 2024 08:51 19m 6s HechtiDerLachs:oguiso_rebase5
HechtiDerLachs:oguiso_rebase5
April 8, 2024 08:51 19m 6s
Intermediate PR for work on elliptic fibrations Run CI without experimental #163: Pull request #3564 synchronize by HechtiDerLachs
April 8, 2024 08:46 5m 29s HechtiDerLachs:oguiso_rebase5
HechtiDerLachs:oguiso_rebase5
April 8, 2024 08:46 5m 29s
Intermediate PR for work on elliptic fibrations Run CI without experimental #162: Pull request #3564 synchronize by HechtiDerLachs
April 8, 2024 08:22 18m 1s HechtiDerLachs:oguiso_rebase5
HechtiDerLachs:oguiso_rebase5
April 8, 2024 08:22 18m 1s
Intermediate PR for work on elliptic fibrations Run CI without experimental #161: Pull request #3564 synchronize by HechtiDerLachs
April 8, 2024 08:04 12m 15s HechtiDerLachs:oguiso_rebase5
HechtiDerLachs:oguiso_rebase5
April 8, 2024 08:04 12m 15s
Fix Liu citation, make Stacks URL clickable (#3567) Run CI without experimental #160: Commit 1e61377 pushed by afkafkafk13
April 6, 2024 20:59 40m 47s master
master
April 6, 2024 20:59 40m 47s
Fix Liu citation, make Stacks URL clickable Run CI without experimental #159: Pull request #3567 opened by paemurru
April 6, 2024 13:18 43m 13s paemurru:ep/normalization_clickable_url
paemurru:ep/normalization_clickable_url
April 6, 2024 13:18 43m 13s
[FTheoryTools] Remove Stanley-Reisner ideal for family of spaces Run CI without experimental #158: Commit e21148e pushed by HereAround
April 5, 2024 20:09 42m 12s master
master
April 5, 2024 20:09 42m 12s
Add missing ``` to disjoint_union (#3566) Run CI without experimental #157: Commit a942b0a pushed by simonbrandhorst
April 5, 2024 19:03 39m 57s master
master
April 5, 2024 19:03 39m 57s
Add missing ``` to disjoint_union Run CI without experimental #156: Pull request #3566 synchronize by paemurru
April 5, 2024 17:59 39m 36s paemurru:ep/fix_disjoint_union_backticks
paemurru:ep/fix_disjoint_union_backticks
April 5, 2024 17:59 39m 36s
Add functions for arithmetic and geometric genus (#3253) Run CI without experimental #155: Commit f12d806 pushed by simonbrandhorst
April 5, 2024 17:21 43m 1s master
master
April 5, 2024 17:21 43m 1s
Add missing ``` to disjoint_union Run CI without experimental #154: Pull request #3566 opened by paemurru
April 5, 2024 16:50 39m 7s paemurru:ep/fix_disjoint_union_backticks
paemurru:ep/fix_disjoint_union_backticks
April 5, 2024 16:50 39m 7s