Skip to content

Actions: algebraic-solving/AlgebraicSolving.jl

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
367 workflow runs
367 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Preparing v0.6.1
Cleanup Doc Preview #66: Pull request #72 closed by ederc
August 2, 2024 07:47 16s ederc:new-release
August 2, 2024 07:47 16s
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
TagBot #110: Issue comment #72 (comment) created by codecov-commenter
August 2, 2024 07:24 3s
August 2, 2024 07:24 3s
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
Do not need to perform real root isolation for rational solutions
TagBot #109: Issue comment #71 (comment) created by mohabsafey
August 2, 2024 03:33 2s
August 2, 2024 03:33 2s
adds note on GBs over QQ w.r.t. DRL to docu prelude
Cleanup Doc Preview #64: Pull request #70 closed by ederc
August 1, 2024 10:28 20s ederc:doc-fixes
August 1, 2024 10:28 20s
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
TagBot trigger issue
TagBot #108: Issue comment #1 (comment) created by JuliaTagBot
July 31, 2024 17:53 29s
July 31, 2024 17:53 29s
Compute GB in characteristic zero
TagBot #107: Issue comment #66 (comment) created by ederc
July 31, 2024 17:32 2s
July 31, 2024 17:32 2s
GBs over QQ
Cleanup Doc Preview #63: Pull request #69 closed by ederc
July 31, 2024 17:32 17s ederc:gb-qq
July 31, 2024 17:32 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
Bug in msolve call in last versions
TagBot #106: Issue comment #68 (comment) created by rprebet
July 24, 2024 12:56 2s
July 24, 2024 12:56 2s
TagBot
TagBot #105: created by rprebet
July 24, 2024 12:31 2s
July 24, 2024 12:31 2s
TagBot
TagBot #104: created by rprebet
July 24, 2024 12:30 3s
July 24, 2024 12:30 3s
TagBot trigger issue
TagBot #103: Issue comment #1 (comment) created by JuliaTagBot
July 19, 2024 13:45 28s
July 19, 2024 13:45 28s
Bump Nemo compat to include 0.46
Cleanup Doc Preview #62: Pull request #67 closed by ederc
July 19, 2024 13:15 11s lgoettgens:lg/bump-Nemo
July 19, 2024 13:15 11s
Merge pull request #67 from lgoettgens/lg/bump-Nemo
Run tests #205: Commit 67cf4d4 pushed by ederc
July 19, 2024 13:15 2m 42s main
July 19, 2024 13:15 2m 42s
Bump Nemo compat to include 0.46
TagBot #102: Issue comment #67 (comment) created by lgoettgens
July 19, 2024 13:09 3s
July 19, 2024 13:09 3s
Bump Nemo compat to include 0.46
Run tests #204: Pull request #67 synchronize by lgoettgens
July 19, 2024 13:09 2m 52s lgoettgens:lg/bump-Nemo
July 19, 2024 13:09 2m 52s