Skip to content

Actions: oscar-system/Oscar.jl

Actions

Invalidations

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
3,149 workflow run results
3,149 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make Lie algebra construction faster Invalidations #5199: Pull request #3937 opened by lgoettgens
July 15, 2024 10:27 7m 59s lgoettgens:lg/Lie-algebra-faster
lgoettgens:lg/Lie-algebra-faster
July 15, 2024 10:27 7m 59s
Matroid serialisation and matroid encodings Invalidations #5198: Pull request #3886 synchronize by Sequenzer
July 15, 2024 09:30 9m 6s Sequenzer:mw/matroid6
Sequenzer:mw/matroid6
July 15, 2024 09:30 9m 6s
Add/move some type assertions Invalidations #5197: Pull request #3927 synchronize by fingolfin
July 14, 2024 23:38 8m 59s fingolfin:mh/type_assertions
fingolfin:mh/type_assertions
July 14, 2024 23:38 8m 59s
Minor tweaks Invalidations #5196: Pull request #3936 opened by fingolfin
July 14, 2024 21:48 8m 48s fingolfin:mh/misc
fingolfin:mh/misc
July 14, 2024 21:48 8m 48s
updates related to polymake 4.12 Invalidations #5195: Pull request #3819 synchronize by benlorenz
July 14, 2024 09:52 8m 51s bl/decoration
bl/decoration
July 14, 2024 09:52 8m 51s
Experimental: Complex reflection groups Invalidations #5194: Pull request #3342 synchronize by ulthiel
July 14, 2024 08:51 9m 4s ulthiel:ut/complex_reflection_groups
ulthiel:ut/complex_reflection_groups
July 14, 2024 08:51 9m 4s
Rename QQAbElem -> QQAbFieldElem Invalidations #5193: Pull request #3935 synchronize by lgoettgens
July 12, 2024 14:15 9m 38s lgoettgens:lg/QQAbElem
lgoettgens:lg/QQAbElem
July 12, 2024 14:15 9m 38s
Rename QQAbElem -> QQAbFieldElem Invalidations #5192: Pull request #3935 opened by lgoettgens
July 12, 2024 14:09 6m 45s lgoettgens:lg/QQAbElem
lgoettgens:lg/QQAbElem
July 12, 2024 14:09 6m 45s
Matroid serialisation and matroid encodings Invalidations #5191: Pull request #3886 synchronize by Sequenzer
July 12, 2024 13:16 9m 1s Sequenzer:mw/matroid6
Sequenzer:mw/matroid6
July 12, 2024 13:16 9m 1s
[FTheoryTools] Overhaul Serialization Invalidations #5190: Pull request #3932 opened by HereAround
July 12, 2024 12:15 20m 12s HereAround:UpdateFTheoryToolsSerialization
HereAround:UpdateFTheoryToolsSerialization
July 12, 2024 12:15 20m 12s
Intersection theory: code correction, new example Invalidations #5189: Pull request #3929 synchronize by wdecker
July 12, 2024 12:11 8m 55s Wolfram
Wolfram
July 12, 2024 12:11 8m 55s
[Serialization] Support ToricDivisorClass Invalidations #5188: Pull request #3931 opened by HereAround
July 12, 2024 11:38 9m 19s HereAround:SerializationToricDivisorClass
HereAround:SerializationToricDivisorClass
July 12, 2024 11:38 9m 19s
Matroid serialisation and matroid encodings Invalidations #5187: Pull request #3886 synchronize by Sequenzer
July 12, 2024 11:35 9m 6s Sequenzer:mw/matroid6
Sequenzer:mw/matroid6
July 12, 2024 11:35 9m 6s
Matroid serialisation and matroid encodings Invalidations #5186: Pull request #3886 synchronize by Sequenzer
July 12, 2024 11:35 25s Sequenzer:mw/matroid6
Sequenzer:mw/matroid6
July 12, 2024 11:35 25s
[ToricVarieties] Limit coefficient values in generic sections Invalidations #5185: Pull request #3930 opened by HereAround
July 12, 2024 11:26 8m 38s HereAround:LimitRandomCoefficients
HereAround:LimitRandomCoefficients
July 12, 2024 11:26 8m 38s
Matroid serialisation and matroid encodings Invalidations #5184: Pull request #3886 synchronize by Sequenzer
July 12, 2024 11:02 8m 50s Sequenzer:mw/matroid6
Sequenzer:mw/matroid6
July 12, 2024 11:02 8m 50s
Matroid serialisation and matroid encodings Invalidations #5183: Pull request #3886 synchronize by Sequenzer
July 12, 2024 11:01 1m 3s Sequenzer:mw/matroid6
Sequenzer:mw/matroid6
July 12, 2024 11:01 1m 3s
Matroid serialisation and matroid encodings Invalidations #5182: Pull request #3886 synchronize by Sequenzer
July 12, 2024 09:25 8m 50s Sequenzer:mw/matroid6
Sequenzer:mw/matroid6
July 12, 2024 09:25 8m 50s
Matroid serialisation and matroid encodings Invalidations #5181: Pull request #3886 synchronize by Sequenzer
July 12, 2024 09:11 9m 8s Sequenzer:mw/matroid6
Sequenzer:mw/matroid6
July 12, 2024 09:11 9m 8s
Matroid serialisation and matroid encodings Invalidations #5180: Pull request #3886 synchronize by Sequenzer
July 12, 2024 09:11 1m 3s Sequenzer:mw/matroid6
Sequenzer:mw/matroid6
July 12, 2024 09:11 1m 3s
Experimental: Complex reflection groups Invalidations #5179: Pull request #3342 synchronize by ulthiel
July 12, 2024 09:01 9m 14s ulthiel:ut/complex_reflection_groups
ulthiel:ut/complex_reflection_groups
July 12, 2024 09:01 9m 14s
Intersection theory: code correction, new example Invalidations #5178: Pull request #3929 synchronize by wdecker
July 12, 2024 09:00 8m 50s Wolfram
Wolfram
July 12, 2024 09:00 8m 50s
Intersection theory: code correction, new example Invalidations #5177: Pull request #3929 synchronize by wdecker
July 12, 2024 08:39 9m 2s Wolfram
Wolfram
July 12, 2024 08:39 9m 2s
Intersection theory: code correction, new example Invalidations #5176: Pull request #3929 opened by wdecker
July 12, 2024 08:34 5m 55s Wolfram
Wolfram
July 12, 2024 08:34 5m 55s
Experimental: Complex reflection groups Invalidations #5175: Pull request #3342 synchronize by ulthiel
July 12, 2024 08:15 9m 13s ulthiel:ut/complex_reflection_groups
ulthiel:ut/complex_reflection_groups
July 12, 2024 08:15 9m 13s