Skip to content

Actions: Macaulay2/homebrew-tap

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
236 workflow runs
236 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Attempt building M2 with Flint v3
brew test-bot #520: Pull request #194 synchronize by mahrud
November 3, 2023 10:44 2h 48m 10s macaulay2
November 3, 2023 10:44 2h 48m 10s
Attempt building M2 with Flint v3
brew test-bot #519: Pull request #194 synchronize by mahrud
November 3, 2023 06:33 27m 38s macaulay2
November 3, 2023 06:33 27m 38s
Attempt building M2 with Flint v3
brew test-bot #518: Pull request #194 synchronize by mahrud
November 3, 2023 06:32 1m 28s macaulay2
November 3, 2023 06:32 1m 28s
Attempt building M2 with Flint v3
brew test-bot #517: Pull request #194 synchronize by mahrud
October 26, 2023 05:05 3h 41m 5s macaulay2
October 26, 2023 05:05 3h 41m 5s
Attempt building M2 with Flint v3
brew test-bot #516: Pull request #194 synchronize by mahrud
October 26, 2023 02:37 27m 45s macaulay2
October 26, 2023 02:37 27m 45s
Attempt building M2 with Flint v3
brew test-bot #515: Pull request #194 synchronize by mahrud
October 25, 2023 20:38 29m 33s macaulay2
October 25, 2023 20:38 29m 33s
Attempt building M2 with Flint v3
brew test-bot #514: Pull request #194 opened by mahrud
October 25, 2023 06:08 6m 10s macaulay2
October 25, 2023 06:08 6m 10s
Use GitHub for arm64 bottles + switch to using GitHub packages
brew test-bot #513: Pull request #193 synchronize by mahrud
October 23, 2023 08:37 45s gfan
October 23, 2023 08:37 45s
added documentation for repository maintainers
brew test-bot #512: Commit b44f390 pushed by mahrud
October 23, 2023 08:31 6m 20s main
October 23, 2023 08:31 6m 20s
msolve 0.5.0
brew pr-pull #136: Pull request #192 labeled by mahrud
October 2, 2023 06:35 6m 5s
October 2, 2023 06:35 6m 5s
msolve 0.5.0
brew test-bot #511: Pull request #192 opened by mahrud
September 30, 2023 07:47 7m 45s bump-msolve-0.5.0
September 30, 2023 07:47 7m 45s
ProTip! You can narrow down the results and go further in time using created:<2023-09-30 or the other filters available.