Skip to content

Actions: algebraic-solving/AlgebraicSolving.jl

Run tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
161 workflow runs
161 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adds function for dimension computation
Run tests #230: Pull request #74 synchronize by RafaelDavidMohr
September 24, 2024 08:31 3m 21s RafaelDavidMohr:rm/dimension
September 24, 2024 08:31 3m 21s
Revert "Faster nemo interface"
Run tests #229: Pull request #82 opened by ederc
September 20, 2024 08:24 2m 53s revert-78-faster-nemo-interface
September 20, 2024 08:24 2m 53s
Interface fixes
Run tests #228: Pull request #81 opened by ederc
September 19, 2024 11:03 2m 54s ederc:interface-fixes
September 19, 2024 11:03 2m 54s
Merge pull request #80 from ederc/0-7-0
Run tests #227: Commit d7f4912 pushed by ederc
September 19, 2024 09:50 3m 2s main
September 19, 2024 09:50 3m 2s
Prepares release v0.7.0
Run tests #226: Pull request #80 opened by ederc
September 19, 2024 08:57 3m 32s ederc:0-7-0
September 19, 2024 08:57 3m 32s
Merge pull request #78 from ederc/faster-nemo-interface
Run tests #225: Commit f50db22 pushed by ederc
September 19, 2024 08:51 4m 31s main
September 19, 2024 08:51 4m 31s
Bump Nemo compat to incldue 0.47
Run tests #224: Pull request #79 opened by lgoettgens
September 18, 2024 15:40 3m 35s lgoettgens:patch-2
September 18, 2024 15:40 3m 35s
Faster nemo interface
Run tests #223: Pull request #78 opened by ederc
September 17, 2024 17:09 2m 56s ederc:faster-nemo-interface
September 17, 2024 17:09 2m 56s
Revert "Handle zero ideal cases"
Run tests #222: Pull request #77 opened by mohabsafey
September 17, 2024 08:57 2m 42s revert-76-specialcaseGB
September 17, 2024 08:57 2m 42s
Merge pull request #76 from rprebet/specialcaseGB
Run tests #221: Commit 5c1ba82 pushed by mohabsafey
September 17, 2024 08:06 3m 43s main
September 17, 2024 08:06 3m 43s
Handle zero ideal cases
Run tests #220: Pull request #76 synchronize by rprebet
September 16, 2024 11:59 3m 8s rprebet:specialcaseGB
September 16, 2024 11:59 3m 8s
Handle zero ideal cases
Run tests #219: Pull request #76 opened by rprebet
September 16, 2024 11:42 2m 59s rprebet:specialcaseGB
September 16, 2024 11:42 2m 59s
Adds function for dimension computation
Run tests #218: Pull request #74 synchronize by RafaelDavidMohr
September 3, 2024 15:47 3m 21s RafaelDavidMohr:rm/dimension
September 3, 2024 15:47 3m 21s
Adds function for dimension computation
Run tests #217: Pull request #74 opened by RafaelDavidMohr
September 3, 2024 15:34 2m 52s RafaelDavidMohr:rm/dimension
September 3, 2024 15:34 2m 52s
Merge pull request #73 from rprebet/bug-order-vars
Run tests #216: Commit 2768ecb pushed by mohabsafey
August 30, 2024 06:51 3m 34s main
August 30, 2024 06:51 3m 34s
Fix bug in variable permutation
Run tests #215: Pull request #73 opened by rprebet
August 29, 2024 22:10 3m 6s rprebet:bug-order-vars
August 29, 2024 22:10 3m 6s
Merge pull request #72 from ederc/new-release
Run tests #214: Commit 09ecdea pushed by ederc
August 2, 2024 07:47 2m 57s main
August 2, 2024 07:47 2m 57s
Preparing v0.6.1
Run tests #213: Pull request #72 opened by ederc
August 2, 2024 07:20 2m 51s ederc:new-release
August 2, 2024 07:20 2m 51s
Merge pull request #71 from rprebet/rational_noreal
Run tests #212: Commit a47f995 pushed by mohabsafey
August 2, 2024 03:33 3m 5s main
August 2, 2024 03:33 3m 5s
Merge pull request #70 from ederc/doc-fixes
Run tests #210: Commit b96a497 pushed by ederc
August 1, 2024 10:28 3m 26s main
August 1, 2024 10:28 3m 26s
adds note on GBs over QQ w.r.t. DRL to docu prelude
Run tests #209: Pull request #70 opened by ederc
July 31, 2024 19:43 3m 17s ederc:doc-fixes
July 31, 2024 19:43 3m 17s
Merge pull request #69 from ederc/gb-qq
Run tests #208: Commit 5581734 pushed by ederc
July 31, 2024 17:32 2m 58s main
July 31, 2024 17:32 2m 58s
GBs over QQ
Run tests #207: Pull request #69 synchronize by ederc
July 31, 2024 12:23 3m 15s ederc:gb-qq
July 31, 2024 12:23 3m 15s
GBs over QQ
Run tests #206: Pull request #69 opened by ederc
July 31, 2024 11:52 1m 55s ederc:gb-qq
July 31, 2024 11:52 1m 55s