Skip to content

Actions: algebraic-solving/AlgebraicSolving.jl

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

updates workflows for CI
Run tests #94: Pull request #22 opened by ederc
October 19, 2023 20:11 6m 6s ederc:workflows
October 19, 2023 20:11 6m 6s
Signature Gröbner basis implementation
Cleanup Doc Preview #19: Pull request #19 closed by ederc
October 19, 2023 19:59 15s RafaelDavidMohr:f5
October 19, 2023 19:59 15s
Merge pull request #19 from RafaelDavidMohr/f5
Run tests #93: Commit de0a110 pushed by ederc
October 19, 2023 19:59 5m 9s main
October 19, 2023 19:59 5m 9s
Signature Gröbner basis implementation
TagBot #26: Issue comment #19 (comment) created by codecov-commenter
October 19, 2023 19:47 3s
October 19, 2023 19:47 3s
Signature Gröbner basis implementation
Run tests #92: Pull request #19 synchronize by ederc
October 19, 2023 19:41 6m 2s RafaelDavidMohr:f5
October 19, 2023 19:41 6m 2s
Signature Gröbner basis implementation
Run tests #91: Pull request #19 synchronize by ederc
October 19, 2023 19:32 5m 18s RafaelDavidMohr:f5
October 19, 2023 19:32 5m 18s
Signature Gröbner basis implementation
Run tests #90: Pull request #19 synchronize by ederc
October 19, 2023 19:24 5m 17s RafaelDavidMohr:f5
October 19, 2023 19:24 5m 17s
Avoid obsolete names for functions and types
Cleanup Doc Preview #18: Pull request #21 closed by ederc
October 19, 2023 19:16 14s fingolfin:mh/obsolete
October 19, 2023 19:16 14s
Merge pull request #21 from fingolfin/mh/obsolete
Run tests #89: Commit f86e10b pushed by ederc
October 19, 2023 19:16 4m 20s main
October 19, 2023 19:16 4m 20s
Avoid obsolete names for functions and types
TagBot #25: Issue comment #21 (comment) created by ederc
October 19, 2023 19:16 3s
October 19, 2023 19:16 3s
Avoid obsolete names for functions and types
TagBot #24: Issue comment #21 (comment) created by codecov-commenter
October 19, 2023 19:11 2s
October 19, 2023 19:11 2s
Avoid obsolete names for functions and types
Run tests #88: Pull request #21 synchronize by ederc
October 19, 2023 19:09 4m 14s fingolfin:mh/obsolete
October 19, 2023 19:09 4m 14s
Avoid obsolete names for functions and types
Run tests #87: Pull request #21 synchronize by ederc
October 19, 2023 19:05 3m 45s fingolfin:mh/obsolete
October 19, 2023 19:05 3m 45s
Avoid obsolete names for functions and types
Run tests #86: Pull request #21 opened by fingolfin
October 19, 2023 16:12 5m 31s fingolfin:mh/obsolete
October 19, 2023 16:12 5m 31s
TagBot trigger issue
TagBot #23: Issue comment #1 (comment) created by JuliaTagBot
October 9, 2023 09:36 31s
October 9, 2023 09:36 31s
Bump Nemo version
TagBot #22: Issue comment #20 (comment) created by JuliaRegistrator
October 9, 2023 09:16 2s
October 9, 2023 09:16 2s
Bump Nemo version
TagBot #21: Issue comment #20 (comment) created by ederc
October 9, 2023 09:16 3s
October 9, 2023 09:16 3s
Merge pull request #20 from fingolfin/patch-1
Run tests #85: Commit 5d1cc94 pushed by ederc
October 9, 2023 09:15 3m 52s main
October 9, 2023 09:15 3m 52s
Bump Nemo version
Cleanup Doc Preview #17: Pull request #20 closed by ederc
October 9, 2023 09:15 17s fingolfin:patch-1
October 9, 2023 09:15 17s
Bump Nemo version
TagBot #20: Issue comment #20 (comment) created by fingolfin
October 9, 2023 07:15 2s
October 9, 2023 07:15 2s
Bump Nemo version
Run tests #84: Pull request #20 synchronize by fingolfin
October 9, 2023 07:11 4m 58s fingolfin:patch-1
October 9, 2023 07:11 4m 58s
Bump Nemo version
TagBot #19: Issue comment #20 (comment) created by thofma
October 9, 2023 06:45 3s
October 9, 2023 06:45 3s
Bump Nemo version
TagBot #18: Issue comment #20 (comment) created by codecov-commenter
October 8, 2023 23:00 2s
October 8, 2023 23:00 2s
Bump Nemo version
Run tests #83: Pull request #20 opened by fingolfin
October 8, 2023 22:58 3m 33s fingolfin:patch-1
October 8, 2023 22:58 3m 33s
TagBot trigger issue
TagBot #17: Issue comment #1 (comment) created by JuliaTagBot
September 13, 2023 18:04 27s
September 13, 2023 18:04 27s
ProTip! You can narrow down the results and go further in time using created:<2023-09-13 or the other filters available.