Skip to content

Actions: oscar-system/Singular.jl

Treehash

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
388 workflow runs
388 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Switch to new @wrapmodule syntax
Treehash #73: Pull request #710 opened by fingolfin
September 11, 2023 13:00 51s mh/wrapmodule
September 11, 2023 13:00 51s
bump Singular.jl version to 0.18.14 (#709)
Treehash #72: Commit b152845 pushed by thofma
September 9, 2023 12:50 46s v0.18.14
September 9, 2023 12:50 46s
bump Singular.jl version to 0.18.14 (#709)
Treehash #71: Commit b152845 pushed by fingolfin
September 8, 2023 21:52 4m 6s master
September 8, 2023 21:52 4m 6s
bump Singular.jl version to 0.18.14
Treehash #70: Pull request #709 synchronize by fingolfin
September 8, 2023 19:05 50s ederc:release-bump
September 8, 2023 19:05 50s
bump Singular.jl version to 0.18.14
Treehash #69: Pull request #709 opened by ederc
September 8, 2023 15:52 38s ederc:release-bump
September 8, 2023 15:52 38s
Merge pull request #705 from hannes14/hs/mres_with_map
Treehash #68: Commit 06dc843 pushed by ederc
September 6, 2023 08:56 51s master
September 6, 2023 08:56 51s
CI: use concrete action version (#708)
Treehash #67: Commit 8601fa2 pushed by fingolfin
September 5, 2023 21:36 43s master
September 5, 2023 21:36 43s
CI: use concrete action version
Treehash #66: Pull request #708 opened by lgoettgens
September 5, 2023 17:34 50s lgoettgens:lg/action-v
September 5, 2023 17:34 50s
Bump Aqua compat (#706)
Treehash #64: Commit c10e6cb pushed by fingolfin
September 3, 2023 14:43 1m 32s master
September 3, 2023 14:43 1m 32s
Bump Aqua compat
Treehash #63: Pull request #706 opened by lgoettgens
September 3, 2023 12:34 1m 50s lgoettgens:patch-1
September 3, 2023 12:34 1m 50s
mres_with_map for smodule
Treehash #62: Pull request #705 synchronize by hannes14
September 1, 2023 13:19 1m 32s hannes14:hs/mres_with_map
September 1, 2023 13:19 1m 32s
mres_with_map for smodule
Treehash #61: Pull request #705 opened by hannes14
September 1, 2023 12:59 1m 29s hannes14:hs/mres_with_map
September 1, 2023 12:59 1m 29s
ProTip! You can narrow down the results and go further in time using created:<2023-09-01 or the other filters available.