Skip to content

Actions: algebraic-solving/AlgebraicSolving.jl

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
332 workflow runs
332 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adds function for dimension computation
TagBot #122: Issue comment #74 (comment) created by RafaelDavidMohr
September 24, 2024 08:31 2s
September 24, 2024 08:31 2s
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
Cleanup Doc Preview #72: Pull request #81 closed by ederc
September 20, 2024 08:19 15s ederc:interface-fixes
September 20, 2024 08:19 15s
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
Bump Nemo compat to incldue 0.47
TagBot #121: Issue comment #79 (comment) created by ederc
September 19, 2024 10:30 3s
September 19, 2024 10:30 3s
TagBot trigger issue
TagBot #120: Issue comment #1 (comment) created by JuliaTagBot
September 19, 2024 10:17 35s
September 19, 2024 10:17 35s
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
Cleanup Doc Preview #71: Pull request #80 closed by ederc
September 19, 2024 09:50 14s ederc:0-7-0
September 19, 2024 09:50 14s
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
Faster nemo interface
Cleanup Doc Preview #70: Pull request #78 closed by ederc
September 19, 2024 08:51 15s ederc:faster-nemo-interface
September 19, 2024 08:51 15s
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
TagBot #119: Issue comment #79 (comment) created by lgoettgens
September 18, 2024 20:23 2s
September 18, 2024 20:23 2s
Bump Nemo compat to incldue 0.47
TagBot #118: Issue comment #79 (comment) created by ederc
September 18, 2024 17:11 2s
September 18, 2024 17:11 2s
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
TagBot #117: Issue comment #78 (comment) created by codecov-commenter
September 17, 2024 17:11 2s
September 17, 2024 17:11 2s
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"
Cleanup Doc Preview #69: Pull request #77 closed by mohabsafey
September 17, 2024 09:13 15s revert-76-specialcaseGB
September 17, 2024 09:13 15s
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
Handle zero ideal cases
Cleanup Doc Preview #68: Pull request #76 closed by mohabsafey
September 17, 2024 08:06 14s rprebet:specialcaseGB
September 17, 2024 08:06 14s
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
TagBot #116: Issue comment #76 (comment) created by rprebet
September 16, 2024 12:02 2s
September 16, 2024 12:02 2s
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
Metadata of QQ
TagBot #115: Issue comment #75 (comment) created by ederc
September 10, 2024 19:18 2s
September 10, 2024 19:18 2s