Skip to content

Actions: oscar-system/Oscar.jl

Actions

Documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
Docu.yml
4,092 workflow run results
4,092 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Serialize Polyhedral Objects over Oscar fields Documentation #12058: Pull request #3386 synchronize by antonydellavecchia
February 22, 2024 12:46 13m 27s adv/serialize-dict
adv/serialize-dict
February 22, 2024 12:46 13m 27s
Corrected defn of deg(ideal); correction from W Decker Documentation #12057: Pull request #3412 opened by JohnAAbbott
February 22, 2024 12:15 13m 2s JohnAAbbott:JA-DegreeIdeal
JohnAAbbott:JA-DegreeIdeal
February 22, 2024 12:15 13m 2s
Update OSCAR banner Documentation #12056: Pull request #3410 synchronize by paemurru
February 22, 2024 11:01 12m 37s paemurru:EP/Banner
paemurru:EP/Banner
February 22, 2024 11:01 12m 37s
Add paragraph about number_of_ to the styleguide. Documentation #12055: Pull request #3305 synchronize by lgoettgens
February 22, 2024 10:24 12m 36s lgoettgens:lg/number_of-docs
lgoettgens:lg/number_of-docs
February 22, 2024 10:24 12m 36s
Update OSCAR banner Documentation #12054: Pull request #3410 synchronize by paemurru
February 22, 2024 10:08 12m 47s paemurru:EP/Banner
paemurru:EP/Banner
February 22, 2024 10:08 12m 47s
Serialize Polyhedral Objects over Oscar fields Documentation #12053: Pull request #3386 synchronize by benlorenz
February 22, 2024 09:54 13m 52s adv/serialize-dict
adv/serialize-dict
February 22, 2024 09:54 13m 52s
Serialize Polyhedral Objects over Oscar fields Documentation #12052: Pull request #3386 synchronize by benlorenz
February 22, 2024 09:38 13m 32s adv/serialize-dict
adv/serialize-dict
February 22, 2024 09:38 13m 32s
Serialize Polyhedral Objects over Oscar fields Documentation #12051: Pull request #3386 synchronize by benlorenz
February 22, 2024 09:36 2m 32s adv/serialize-dict
adv/serialize-dict
February 22, 2024 09:36 2m 32s
Backports for Oscar 1.0-rc Documentation #12050: Pull request #3378 synchronize by benlorenz
February 22, 2024 09:32 13m 34s backports-release-1.0
backports-release-1.0
February 22, 2024 09:32 13m 34s
Fixes for phylogenetic adjacency tree (#3406) Documentation #12049: Commit c65cb77 pushed by benlorenz
February 22, 2024 09:31 14m 18s master
master
February 22, 2024 09:31 14m 18s
Backports for Oscar 1.0-rc Documentation #12048: Pull request #3378 synchronize by benlorenz
February 22, 2024 09:30 1m 36s backports-release-1.0
backports-release-1.0
February 22, 2024 09:30 1m 36s
Update OSCAR banner Documentation #12047: Pull request #3410 synchronize by paemurru
February 22, 2024 08:41 13m 6s paemurru:EP/Banner
paemurru:EP/Banner
February 22, 2024 08:41 13m 6s
Serialize Polyhedral Objects over Oscar fields Documentation #12046: Pull request #3386 synchronize by antonydellavecchia
February 22, 2024 08:31 13m 44s adv/serialize-dict
adv/serialize-dict
February 22, 2024 08:31 13m 44s
QuadFormAndIsom: fixes and a new feature Documentation #12045: Pull request #3394 synchronize by StevellM
February 22, 2024 07:45 12m 41s StevellM:sm/fix_qfai
StevellM:sm/fix_qfai
February 22, 2024 07:45 12m 41s
Serialize Polyhedral Objects over Oscar fields Documentation #12044: Pull request #3386 synchronize by antonydellavecchia
February 21, 2024 21:04 15m 3s adv/serialize-dict
adv/serialize-dict
February 21, 2024 21:04 15m 3s
Yr/tropical bugs Documentation #12043: Pull request #3411 opened by YueRen
February 21, 2024 20:56 13m 58s yr/tropicalBugs
yr/tropicalBugs
February 21, 2024 20:56 13m 58s
Bump dependencies (#3374) Documentation #12042: Commit d32efdd pushed by thofma
February 21, 2024 20:47 13m 44s master
master
February 21, 2024 20:47 13m 44s
Serialize Polyhedral Objects over Oscar fields Documentation #12041: Pull request #3386 synchronize by antonydellavecchia
February 21, 2024 20:14 13m 30s adv/serialize-dict
adv/serialize-dict
February 21, 2024 20:14 13m 30s
Update OSCAR banner Documentation #12040: Pull request #3410 synchronize by paemurru
February 21, 2024 20:08 13m 31s paemurru:EP/Banner
paemurru:EP/Banner
February 21, 2024 20:08 13m 31s
Hide AbstractAlgebra ordering of a polynomial ring (a bit) Documentation #12039: Pull request #3374 synchronize by joschmitt
February 21, 2024 18:34 12m 55s joschmitt:js/ordering
joschmitt:js/ordering
February 21, 2024 18:34 12m 55s
Hide AbstractAlgebra ordering of a polynomial ring (a bit) Documentation #12038: Pull request #3374 synchronize by joschmitt
February 21, 2024 17:52 13m 26s joschmitt:js/ordering
joschmitt:js/ordering
February 21, 2024 17:52 13m 26s
Update OSCAR banner Documentation #12037: Pull request #3410 opened by paemurru
February 21, 2024 17:36 13m 10s paemurru:EP/Banner
paemurru:EP/Banner
February 21, 2024 17:36 13m 10s
Serialize Polyhedral Objects over Oscar fields Documentation #12036: Pull request #3386 synchronize by antonydellavecchia
February 21, 2024 16:52 13m 33s adv/serialize-dict
adv/serialize-dict
February 21, 2024 16:52 13m 33s
Draft - InvRing for SLn (#2823) Documentation #12035: Commit 7da4224 pushed by jankoboehm
February 21, 2024 16:45 13m 32s master
master
February 21, 2024 16:45 13m 32s
Hide AbstractAlgebra ordering of a polynomial ring (a bit) Documentation #12034: Pull request #3374 synchronize by lgoettgens
February 21, 2024 16:35 12m 39s joschmitt:js/ordering
joschmitt:js/ordering
February 21, 2024 16:35 12m 39s