Skip to content

Actions: oscar-system/Oscar.jl

Cleanup Doc Preview

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
491 workflow run results
491 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add is_finite_dimensional_vector_space
Cleanup Doc Preview #2167: Pull request #3532 closed by afkafkafk13
March 20, 2024 18:38 22s joschmitt:js/infdim
March 20, 2024 18:38 22s
Adapt basis_coordinate_ring_kodaira
Cleanup Doc Preview #2166: Pull request #3511 closed by fingolfin
March 20, 2024 18:30 23s lgoettgens:lg/kodaira-embed
March 20, 2024 18:30 23s
Bugfixes for normalization of covered schemes
Cleanup Doc Preview #2162: Pull request #3535 closed by simonbrandhorst
March 20, 2024 15:54 24s sb/normalization
March 20, 2024 15:54 24s
Normalization of covered schemes
Cleanup Doc Preview #2161: Pull request #3494 closed by simonbrandhorst
March 20, 2024 07:42 23s paemurru:EP/Normalization
March 20, 2024 07:42 23s
Provide links for some documentation references
Cleanup Doc Preview #2160: Pull request #3503 closed by simonbrandhorst
March 20, 2024 07:19 23s joschmitt:js/links
March 20, 2024 07:19 23s
Resolution structure (and curve case)
Cleanup Doc Preview #2159: Pull request #3480 closed by afkafkafk13
March 19, 2024 18:35 24s afkafkafk13:res_structure
March 19, 2024 18:35 24s
Deprecated use of glueing
Cleanup Doc Preview #2158: Pull request #3527 closed by HechtiDerLachs
March 19, 2024 14:22 29s joschmitt:js/gluing
March 19, 2024 14:22 29s
Add cycles for PermGroupElem
Cleanup Doc Preview #2155: Pull request #3505 closed by fingolfin
March 19, 2024 12:01 24s joschmitt:js/cycles
March 19, 2024 12:01 24s
more functionality for dict serialization
Cleanup Doc Preview #2154: Pull request #3516 closed by antonydellavecchia
March 19, 2024 10:29 1m 55s adv/serialize-dict-update
March 19, 2024 10:29 1m 55s
Unify printing of all MPoly*Ideal types
Cleanup Doc Preview #2153: Pull request #3507 closed by simonbrandhorst
March 19, 2024 10:10 23s joschmitt:js/printquo
March 19, 2024 10:10 23s
Fix for normal form computation using F4
Cleanup Doc Preview #2152: Pull request #3523 closed by afkafkafk13
March 18, 2024 10:56 27s ederc:nf-f4-fix
March 18, 2024 10:56 27s
polyhedral/remove_zero_rows: use polymake epsilon for float comparison
Cleanup Doc Preview #2151: Pull request #3521 closed by benlorenz
March 16, 2024 13:14 25s bl/pmeps
March 16, 2024 13:14 25s
uses the schema during serialization testing
Cleanup Doc Preview #2148: Pull request #3452 closed by antonydellavecchia
March 14, 2024 17:11 27s adv/test-schema
March 14, 2024 17:11 27s
release managing docs
Cleanup Doc Preview #2147: Pull request #3420 closed by benlorenz
March 14, 2024 16:42 25s bl/release-docs
March 14, 2024 16:42 25s
Lazy toric ideals
Cleanup Doc Preview #2146: Pull request #3514 closed by HereAround
March 14, 2024 15:48 26s HechtiDerLachs:lazy_toric_ideals
March 14, 2024 15:48 26s
Lazy ideal sheaves
Cleanup Doc Preview #2145: Pull request #3490 closed by HechtiDerLachs
March 14, 2024 07:39 25s HechtiDerLachs:lazy_ideal_sheaves
March 14, 2024 07:39 25s
Toric ideals again
Cleanup Doc Preview #2144: Pull request #3513 closed by HereAround
March 13, 2024 18:39 29s HechtiDerLachs:toric_ideals_again
March 13, 2024 18:39 29s