Skip to content

Actions: algebraic-solving/AlgebraicSolving.jl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
354 workflow runs
354 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Prepare new minor release Run tests #117: Pull request #34 opened by ederc
November 27, 2023 10:12 5m 13s 0.4.2
0.4.2
November 27, 2023 10:12 5m 13s
Merge pull request #33 from algebraic-solving/nemo-bump Run tests #116: Commit d6123ef pushed by ederc
November 27, 2023 10:11 5m 34s main
main
November 27, 2023 10:11 5m 34s
Bump Nemo Cleanup Doc Preview #30: Pull request #33 closed by ederc
November 27, 2023 10:11 14s nemo-bump
nemo-bump
November 27, 2023 10:11 14s
Bump Nemo TagBot #42: Issue comment #33 (comment) created by codecov-commenter
November 27, 2023 09:59 2s
November 27, 2023 09:59 2s
Bump Nemo Run tests #115: Pull request #33 opened by ederc
November 27, 2023 09:57 6m 9s nemo-bump
nemo-bump
November 27, 2023 09:57 6m 9s
fixes types documentation Cleanup Doc Preview #29: Pull request #32 closed by ederc
November 24, 2023 13:23 13s ederc:docu-fixes
ederc:docu-fixes
November 24, 2023 13:23 13s
Merge pull request #32 from ederc/docu-fixes Run tests #114: Commit b49171b pushed by ederc
November 24, 2023 13:23 5m 36s main
main
November 24, 2023 13:23 5m 36s
fixes types documentation TagBot #41: Issue comment #32 (comment) created by codecov-commenter
November 24, 2023 12:42 3s
November 24, 2023 12:42 3s
fixes types documentation Run tests #113: Pull request #32 opened by ederc
November 24, 2023 12:38 5m 31s ederc:docu-fixes
ederc:docu-fixes
November 24, 2023 12:38 5m 31s
TagBot trigger issue TagBot #40: Issue comment #1 (comment) created by JuliaTagBot
November 9, 2023 09:41 25s
November 9, 2023 09:41 25s
Merge pull request #31 from ederc/v0.4.1 Run tests #112: Commit ad87504 pushed by ederc
November 9, 2023 09:21 6m 2s main
main
November 9, 2023 09:21 6m 2s
v0.4.1 Cleanup Doc Preview #28: Pull request #31 closed by ederc
November 9, 2023 09:21 16s ederc:v0.4.1
ederc:v0.4.1
November 9, 2023 09:21 16s
v0.4.1 TagBot #39: Issue comment #31 (comment) created by codecov-commenter
November 9, 2023 08:58 3s
November 9, 2023 08:58 3s
v0.4.1 Run tests #111: Pull request #31 opened by ederc
November 9, 2023 08:53 5m 14s ederc:v0.4.1
ederc:v0.4.1
November 9, 2023 08:53 5m 14s
fixes a pivot setting bug Cleanup Doc Preview #27: Pull request #30 closed by ederc
November 9, 2023 08:52 13s RafaelDavidMohr:main
RafaelDavidMohr:main
November 9, 2023 08:52 13s
Merge pull request #30 from RafaelDavidMohr/main Run tests #110: Commit 0b81077 pushed by ederc
November 9, 2023 08:52 5m 48s main
main
November 9, 2023 08:52 5m 48s
fixes a pivot setting bug TagBot #38: Issue comment #30 (comment) created by codecov-commenter
November 8, 2023 17:00 3s
November 8, 2023 17:00 3s
fixes a pivot setting bug Run tests #109: Pull request #30 synchronize by RafaelDavidMohr
November 8, 2023 16:58 6m 46s RafaelDavidMohr:main
RafaelDavidMohr:main
November 8, 2023 16:58 6m 46s
fixes a pivot setting bug Run tests #108: Pull request #30 opened by RafaelDavidMohr
November 8, 2023 16:49 5m 52s RafaelDavidMohr:main
RafaelDavidMohr:main
November 8, 2023 16:49 5m 52s
TagBot trigger issue TagBot #37: Issue comment #1 (comment) created by JuliaTagBot
November 7, 2023 13:55 50s
November 7, 2023 13:55 50s
Merge pull request #29 from ederc/compat Run tests #107: Commit f583634 pushed by ederc
November 7, 2023 13:41 4m 58s main
main
November 7, 2023 13:41 4m 58s
adds compats Cleanup Doc Preview #26: Pull request #29 closed by ederc
November 7, 2023 13:41 14s ederc:compat
ederc:compat
November 7, 2023 13:41 14s
adds compats TagBot #36: Issue comment #29 (comment) created by codecov-commenter
November 7, 2023 13:30 3s
November 7, 2023 13:30 3s
adds compats Run tests #106: Pull request #29 opened by ederc
November 7, 2023 13:27 4m 45s ederc:compat
ederc:compat
November 7, 2023 13:27 4m 45s
Merge pull request #28 from ederc/doc-fix Run tests #105: Commit 56f357e pushed by ederc
November 6, 2023 11:46 3m 41s main
main
November 6, 2023 11:46 3m 41s
ProTip! You can narrow down the results and go further in time using created:<2023-11-06 or the other filters available.