Skip to content

Actions: Dekker1/homebrew-minizinc

Actions

brew pr-pull

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
publish.yml
14 workflow runs
14 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
clingcon 5.2.1 brew pr-pull #43: Pull request #53 labeled by Dekker1
February 21, 2024 13:30 50s
February 21, 2024 13:30 50s
yuck 20240207 brew pr-pull #42: Pull request #52 labeled by Dekker1
February 19, 2024 21:07 45s
February 19, 2024 21:07 45s
chuffed 0.13.1 brew pr-pull #41: Pull request #51 labeled by Dekker1
November 23, 2023 00:47 1m 3s
November 23, 2023 00:47 1m 3s
jacop 4.10.0 brew pr-pull #40: Pull request #50 labeled by Dekker1
November 19, 2023 02:28 1m 17s
November 19, 2023 02:28 1m 17s
choco 4.10.14 brew pr-pull #39: Pull request #49 labeled by Dekker1
November 3, 2023 01:05 1m 17s
November 3, 2023 01:05 1m 17s
chuffed 0.13.0 brew pr-pull #38: Pull request #48 labeled by Dekker1
October 18, 2023 03:26 1m 34s
October 18, 2023 03:26 1m 34s
fzn-picat 3.5.5 brew pr-pull #37: Pull request #47 labeled by Dekker1
September 10, 2023 23:45 2m 4s
September 10, 2023 23:45 2m 4s
clingcon 5.2.0 brew pr-pull #36: Pull request #46 labeled by Dekker1
July 3, 2023 07:21 2m 9s
July 3, 2023 07:21 2m 9s
open-wbo: add initial formula brew pr-pull #35: Pull request #45 labeled by Dekker1
July 3, 2023 06:46 1m 43s
July 3, 2023 06:46 1m 43s
scip: remove formula in tap (now available in core) brew pr-pull #34: Pull request #44 labeled by Dekker1
July 3, 2023 05:36 27s
July 3, 2023 05:36 27s
yuck: update formula to only build require corePackage brew pr-pull #33: Pull request #43 labeled by Dekker1
June 30, 2023 00:16 1m 50s
June 30, 2023 00:16 1m 50s
yuck 20230623 brew pr-pull #32: Pull request #42 labeled by Dekker1
June 29, 2023 00:12 1m 30s
June 29, 2023 00:12 1m 30s
chuffed 0.12.1 brew pr-pull #31: Pull request #41 labeled by Dekker1
June 22, 2023 00:27 5m 2s
June 22, 2023 00:27 5m 2s
choco 4.10.13 brew pr-pull #30: Pull request #40 labeled by Dekker1
June 12, 2023 00:06 5m 3s
June 12, 2023 00:06 5m 3s