Skip to content

Actions: oscar-system/Oscar.jl

Run CI without experimental

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
3,330 workflow runs
3,330 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

improvements for cosets
Run CI without experimental #3287: Pull request #4302 synchronize by ThomasBreuer
November 13, 2024 22:13 41m 45s ThomasBreuer:TB_cosets_again
November 13, 2024 22:13 41m 45s
Move dim from schemes to rings (#4280)
Run CI without experimental #3286: Commit 10f2297 pushed by simonbrandhorst
November 13, 2024 21:45 51m 27s master
November 13, 2024 21:45 51m 27s
Fix for ComplementOfKPointIdeal
Run CI without experimental #3285: Pull request #4310 synchronize by afkafkafk13
November 13, 2024 20:35 41m 34s afkafkafk13:res_CJS
November 13, 2024 20:35 41m 34s
Fix for ComplementOfKPointIdeal
Run CI without experimental #3284: Pull request #4310 synchronize by afkafkafk13
November 13, 2024 20:17 18m 13s afkafkafk13:res_CJS
November 13, 2024 20:17 18m 13s
Move dim from schemes to rings
Run CI without experimental #3283: Pull request #4280 synchronize by simonbrandhorst
November 13, 2024 20:14 56m 31s paemurru:ep/move_dim_to_rings
November 13, 2024 20:14 56m 31s
Replace uses of add_scaled_row! by addmul!
Run CI without experimental #3282: Pull request #4308 synchronize by lgoettgens
November 13, 2024 19:06 52m 50s lgoettgens:lg/mutating-srow-arith
November 13, 2024 19:06 52m 50s
Fix for ComplementOfKPointIdeal
Run CI without experimental #3281: Pull request #4310 synchronize by afkafkafk13
November 13, 2024 18:17 41m 46s afkafkafk13:res_CJS
November 13, 2024 18:17 41m 46s
Fix for ComplementOfKPointIdeal
Run CI without experimental #3280: Pull request #4310 opened by afkafkafk13
November 13, 2024 17:24 45m 45s afkafkafk13:res_CJS
November 13, 2024 17:24 45m 45s
Adapt show for quotient ring elements
Run CI without experimental #3279: Pull request #4309 synchronize by lgoettgens
November 13, 2024 17:16 41m 24s lgoettgens:lg/show-quo-elems
November 13, 2024 17:16 41m 24s
[FTheoryTools] Compute all well-quantized G4-fluxes
Run CI without experimental #3278: Pull request #4286 synchronize by HereAround
November 13, 2024 16:43 1h 6m 53s HereAround:QuantizationForG4Fluxes
November 13, 2024 16:43 1h 6m 53s
Strict transform of an ideal in Cox ring
Run CI without experimental #3277: Pull request #4154 synchronize by paemurru
November 13, 2024 16:43 56m 51s paemurru:ep/cox_ring_strict_transform
November 13, 2024 16:43 56m 51s
Replace uses of add_scaled_row! by addmul!
Run CI without experimental #3276: Pull request #4308 reopened by lgoettgens
November 13, 2024 16:33 51m 44s lgoettgens:lg/mutating-srow-arith
November 13, 2024 16:33 51m 44s
Adapt show for quotient ring elements
Run CI without experimental #3275: Pull request #4309 opened by lgoettgens
November 13, 2024 16:33 43m 8s lgoettgens:lg/show-quo-elems
November 13, 2024 16:33 43m 8s
Intersection theory: hom --> map, more docu (#4304)
Run CI without experimental #3274: Commit c0c07a7 pushed by thofma
November 13, 2024 16:30 56m 38s master
November 13, 2024 16:30 56m 38s
Replace uses of add_scaled_row! by addmul!
Run CI without experimental #3273: Pull request #4308 opened by lgoettgens
November 13, 2024 15:32 56s lgoettgens:lg/mutating-srow-arith
November 13, 2024 15:32 56s
[ToricVarieties] Add hash function for NormalToricVariety (#4306)
Run CI without experimental #3272: Commit 829ad41 pushed by lgoettgens
November 13, 2024 15:00 53m 40s master
November 13, 2024 15:00 53m 40s
Intersection theory: hom --> map, more docu
Run CI without experimental #3271: Pull request #4304 synchronize by wdecker
November 13, 2024 14:46 53m 31s Wolfram
November 13, 2024 14:46 53m 31s
Move dim from schemes to rings
Run CI without experimental #3270: Pull request #4280 synchronize by paemurru
November 13, 2024 14:20 55m 16s paemurru:ep/move_dim_to_rings
November 13, 2024 14:20 55m 16s
Intersection theory: hom --> map, more docu
Run CI without experimental #3269: Pull request #4304 synchronize by wdecker
November 13, 2024 14:14 32m 26s Wolfram
November 13, 2024 14:14 32m 26s
Speed up orbits of permutation groups on integers
Run CI without experimental #3268: Pull request #4307 synchronize by mjrodgers
November 13, 2024 14:05 16m 39s mjrodgers:GSet_speedup
November 13, 2024 14:05 16m 39s
Speed up orbits of permutation groups on integers
Run CI without experimental #3267: Pull request #4307 synchronize by mjrodgers
November 13, 2024 13:36 16m 56s mjrodgers:GSet_speedup
November 13, 2024 13:36 16m 56s
Speed up orbits of permutation groups on integers
Run CI without experimental #3266: Pull request #4307 opened by mjrodgers
November 13, 2024 13:33 3m 8s mjrodgers:GSet_speedup
November 13, 2024 13:33 3m 8s
[ToricVarieties] Add hash function for NormalToricVariety
Run CI without experimental #3265: Pull request #4306 synchronize by lgoettgens
November 13, 2024 13:27 54m 0s HereAround:AddNewHashFunction
November 13, 2024 13:27 54m 0s
[ToricVarieties] Add hash function for NormalToricVariety
Run CI without experimental #3264: Pull request #4306 opened by HereAround
November 13, 2024 13:16 11m 17s HereAround:AddNewHashFunction
November 13, 2024 13:16 11m 17s
Move dim from schemes to rings
Run CI without experimental #3263: Pull request #4280 synchronize by paemurru
November 13, 2024 13:14 42m 11s paemurru:ep/move_dim_to_rings
November 13, 2024 13:14 42m 11s