Skip to content

Actions: oscar-system/Oscar.jl

Actions

Enforce PR labels

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
EnforceLabels.yml
5,179 workflow runs
5,179 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add new function group which constructs groups from various inputs Enforce PR labels #5179: Pull request #5686 synchronize by varuntrehan7
21s varuntrehan7:vt/group-constructor
varuntrehan7:vt/group-constructor
21s
Las Vegas algorithm for exterior algebraic shifting Enforce PR labels #5178: Pull request #5587 synchronize by antonydellavecchia
25s alg-shifting-post-issac
alg-shifting-post-issac
25s
add documentation page for "modular methods" Enforce PR labels #5177: Pull request #5701 synchronize by mjrodgers
23s mjrodgers:modular_doc
mjrodgers:modular_doc
23s
Exterior power streamlining Enforce PR labels #5176: Pull request #5702 synchronize by HechtiDerLachs
23s HechtiDerLachs:exterior_power_streamlining
HechtiDerLachs:exterior_power_streamlining
23s
Add Serialization.GzipSerializer to produce gzip compressed serialization files. Enforce PR labels #5175: Pull request #5698 synchronize by lgoettgens
21s lgoettgens:lg/compressed-serialization
lgoettgens:lg/compressed-serialization
21s
Strict transforms Enforce PR labels #5174: Pull request #5683 synchronize by HechtiDerLachs
20s HechtiDerLachs:strict_transforms_split
HechtiDerLachs:strict_transforms_split
20s
Exterior power streamlining Enforce PR labels #5173: Pull request #5702 synchronize by lgoettgens
26s HechtiDerLachs:exterior_power_streamlining
HechtiDerLachs:exterior_power_streamlining
26s
Exterior power streamlining Enforce PR labels #5172: Pull request #5702 synchronize by lgoettgens
31s HechtiDerLachs:exterior_power_streamlining
HechtiDerLachs:exterior_power_streamlining
31s
Exterior power streamlining Enforce PR labels #5171: Pull request #5702 opened by HechtiDerLachs
28s HechtiDerLachs:exterior_power_streamlining
HechtiDerLachs:exterior_power_streamlining
28s
add documentation page for "modular methods" Enforce PR labels #5170: Pull request #5701 labeled by mjrodgers
22s mjrodgers:modular_doc
mjrodgers:modular_doc
22s
add documentation page for "modular methods" Enforce PR labels #5169: Pull request #5701 opened by mjrodgers
20s mjrodgers:modular_doc
mjrodgers:modular_doc
20s
Add new function group which constructs groups from various inputs Enforce PR labels #5168: Pull request #5686 synchronize by varuntrehan7
23s varuntrehan7:vt/group-constructor
varuntrehan7:vt/group-constructor
23s
Create PDF version of the OSCAR manual Enforce PR labels #5167: Pull request #5627 labeled by fingolfin
20s varuntrehan7:vt/pdf-docs
varuntrehan7:vt/pdf-docs
20s
Create PDF version of the OSCAR manual Enforce PR labels #5166: Pull request #5627 labeled by fingolfin
21s varuntrehan7:vt/pdf-docs
varuntrehan7:vt/pdf-docs
21s
Create PDF version of the OSCAR manual Enforce PR labels #5165: Pull request #5627 edited by fingolfin
20s varuntrehan7:vt/pdf-docs
varuntrehan7:vt/pdf-docs
20s
Add new function group which constructs groups from various inputs Enforce PR labels #5164: Pull request #5686 synchronize by varuntrehan7
21s varuntrehan7:vt/group-constructor
varuntrehan7:vt/group-constructor
21s
posets: fix elements for flipped internal polymake representation Enforce PR labels #5163: Pull request #5700 labeled by benlorenz
21s bl/posetfixelems
bl/posetfixelems
21s
posets: fix elements for flipped internal polymake representation Enforce PR labels #5162: Pull request #5700 labeled by benlorenz
25s bl/posetfixelems
bl/posetfixelems
25s
posets: fix elements for flipped internal polymake representation Enforce PR labels #5161: Pull request #5700 labeled by benlorenz
21s bl/posetfixelems
bl/posetfixelems
21s
posets: fix elements for flipped internal polymake representation Enforce PR labels #5160: Pull request #5700 opened by benlorenz
20s bl/posetfixelems
bl/posetfixelems
20s
Fixes from WIP in Cuernavaca Enforce PR labels #5159: Pull request #5681 labeled by joschmitt
26s HechtiDerLachs:mexico_fixes
HechtiDerLachs:mexico_fixes
26s
Fixes from WIP in Cuernavaca Enforce PR labels #5158: Pull request #5681 labeled by joschmitt
20s HechtiDerLachs:mexico_fixes
HechtiDerLachs:mexico_fixes
20s
Fixes from WIP in Cuernavaca Enforce PR labels #5157: Pull request #5681 labeled by joschmitt
22s HechtiDerLachs:mexico_fixes
HechtiDerLachs:mexico_fixes
22s
One more test for rational solutions Enforce PR labels #5156: Pull request #5593 unlabeled by fingolfin
20s jankoboehm:ratsoltest2
jankoboehm:ratsoltest2
20s
Use TagBot config to paste changelog into GitHub release description Enforce PR labels #5155: Pull request #5699 synchronize by lgoettgens
23s lgoettgens:lg/TagBot-changelog
lgoettgens:lg/TagBot-changelog
23s