Skip to content

Actions: oscar-system/Oscar.jl

Documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
4,364 workflow run results
4,364 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Standard basis computations using highest corner
Documentation #12819: Pull request #3577 synchronize by ederc
April 10, 2024 10:53 12m 17s ederc:std-hc
April 10, 2024 10:53 12m 17s
Standard basis computations using highest corner
Documentation #12818: Pull request #3577 opened by ederc
April 10, 2024 10:52 1m 4s ederc:std-hc
April 10, 2024 10:52 1m 4s
Experimental: Partitioned Permutations
Documentation #12817: Pull request #3439 synchronize by BjSchaefer
April 10, 2024 10:27 12m 20s BjSchaefer:bs/partitioned_permutations
April 10, 2024 10:27 12m 20s
Add paragraph about number_of_ to the styleguide. (#3305)
Documentation #12816: Commit 5413e7a pushed by fingolfin
April 10, 2024 09:36 13m 19s master
April 10, 2024 09:36 13m 19s
Hide Oscar.jl banner, when used in other module
Documentation #12815: Pull request #3541 synchronize by lkastner
April 10, 2024 09:05 25s lk/banners
April 10, 2024 09:05 25s
Hide Oscar.jl banner, when used in other module
Documentation #12814: Pull request #3541 synchronize by lkastner
April 10, 2024 08:38 13m 30s lk/banners
April 10, 2024 08:38 13m 30s
Hide Oscar.jl banner, when used in other module
Documentation #12813: Pull request #3541 synchronize by lkastner
April 10, 2024 08:35 3m 8s lk/banners
April 10, 2024 08:35 3m 8s
Hide Oscar.jl banner, when used in other module
Documentation #12812: Pull request #3541 synchronize by lkastner
April 10, 2024 08:10 12m 56s lk/banners
April 10, 2024 08:10 12m 56s
Weak compositions
Documentation #12811: Pull request #3573 synchronize by joschmitt
April 10, 2024 07:48 12m 48s joschmitt:js/compositions
April 10, 2024 07:48 12m 48s
QuadFormAndIsom: small optimizations after users' feedbacks (#3575)
Documentation #12810: Commit 0ca9508 pushed by simonbrandhorst
April 10, 2024 06:06 13m 11s master
April 10, 2024 06:06 13m 11s
Weak compositions
Documentation #12808: Pull request #3573 synchronize by joschmitt
April 9, 2024 20:20 12m 11s joschmitt:js/compositions
April 9, 2024 20:20 12m 11s
Hide Oscar.jl banner, when used in other module
Documentation #12807: Pull request #3541 synchronize by lkastner
April 9, 2024 20:10 13m 22s lk/banners
April 9, 2024 20:10 13m 22s
Hide Oscar.jl banner, when used in other module
Documentation #12806: Pull request #3541 synchronize by lkastner
April 9, 2024 20:10 34s lk/banners
April 9, 2024 20:10 34s
QuadFormAndIsom: small optimizations after users' feedbacks
Documentation #12805: Pull request #3575 synchronize by StevellM
April 9, 2024 19:03 12m 19s StevellM:sm/more_improv_qfai
April 9, 2024 19:03 12m 19s
change fp_group_with_isomorphism, pc_group_with_isomorphism (#3563)
Documentation #12804: Commit b9a5045 pushed by lgoettgens
April 9, 2024 18:27 14m 6s master
April 9, 2024 18:27 14m 6s
Remove outdated printing code (#3571)
Documentation #12802: Commit 1a1c795 pushed by thofma
April 9, 2024 15:32 25m 14s master
April 9, 2024 15:32 25m 14s
Remove dependency Preferences (#3570)
Documentation #12801: Commit 095813b pushed by thofma
April 9, 2024 15:30 14m 45s master
April 9, 2024 15:30 14m 45s
improve isomorphism(FPGroup, abelian_group(...)) (#3572)
Documentation #12800: Commit 05ec2fa pushed by thofma
April 9, 2024 15:29 13m 51s master
April 9, 2024 15:29 13m 51s
Backports Oscar 1.0.1
Documentation #12799: Pull request #3574 opened by benlorenz
April 9, 2024 15:16 15m 19s backports-release-1.0
April 9, 2024 15:16 15m 19s
Weak compositions
Documentation #12798: Pull request #3573 opened by joschmitt
April 9, 2024 14:24 12m 34s joschmitt:js/compositions
April 9, 2024 14:24 12m 34s
Remove outdated printing code
Documentation #12796: Pull request #3571 opened by lgoettgens
April 9, 2024 13:25 12m 17s lgoettgens:lg/outdatedprinting
April 9, 2024 13:25 12m 17s
Remove dependency Preferences
Documentation #12795: Pull request #3570 opened by lgoettgens
April 9, 2024 13:20 12m 59s lgoettgens:lg/preferences
April 9, 2024 13:20 12m 59s