Skip to content

Actions: cvc5/homebrew-cvc5

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
20 workflow runs
20 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update cvc5 version to 1.2.0 (#10) brew test-bot #24: Commit f28bf5b pushed by mpreiner
August 16, 2024 16:14 1m 58s main
main
August 16, 2024 16:14 1m 58s
Update cvc5 version to 1.2.0 brew test-bot #23: Pull request #10 synchronize by daniel-larraz
August 8, 2024 20:58 15m 8s cvc5-1.2.0
cvc5-1.2.0
August 8, 2024 20:58 15m 8s
Update cvc5 version to 1.2.0 brew test-bot #22: Pull request #10 opened by daniel-larraz
August 8, 2024 20:25 1m 27s cvc5-1.2.0
cvc5-1.2.0
August 8, 2024 20:25 1m 27s
Update cvc5 version to 1.1.2 (#9) brew test-bot #21: Commit 0f16447 pushed by mpreiner
March 1, 2024 20:33 1m 59s main
main
March 1, 2024 20:33 1m 59s
Update cvc5 version to 1.1.2 brew test-bot #20: Pull request #9 opened by daniel-larraz
March 1, 2024 20:03 21m 16s cvc5-1.1.2
cvc5-1.1.2
March 1, 2024 20:03 21m 16s
Add M1 macOS runner to CI workflow (#8) brew test-bot #19: Commit fb03dec pushed by daniel-larraz
February 22, 2024 22:08 2m 30s main
main
February 22, 2024 22:08 2m 30s
Add M1 macOS runner to CI workflow brew test-bot #18: Pull request #8 opened by daniel-larraz
February 22, 2024 19:32 1m 51s macos-14
macos-14
February 22, 2024 19:32 1m 51s
Enable Python venv via PYTHONPATH (#6) brew test-bot #17: Commit adae0d8 pushed by daniel-larraz
February 5, 2024 16:26 2m 31s main
main
February 5, 2024 16:26 2m 31s
Enable Python venv via PYTHONPATH brew test-bot #16: Pull request #6 opened by daniel-larraz
January 26, 2024 15:54 14m 50s pythonpath
pythonpath
January 26, 2024 15:54 14m 50s
Merge pull request #5 from cvc5/fix-venv brew test-bot #15: Commit 0f42185 pushed by daniel-larraz
January 25, 2024 21:52 1m 49s main
main
January 25, 2024 21:52 1m 49s
Fix Python venv brew test-bot #14: Pull request #5 synchronize by daniel-larraz
January 25, 2024 18:19 27m 23s fix-venv
fix-venv
January 25, 2024 18:19 27m 23s
Fix Python venv brew test-bot #13: Pull request #5 synchronize by daniel-larraz
January 25, 2024 17:53 15m 9s fix-venv
fix-venv
January 25, 2024 17:53 15m 9s
Fix Python venv brew test-bot #12: Pull request #5 opened by daniel-larraz
January 25, 2024 17:41 1m 22s fix-venv
fix-venv
January 25, 2024 17:41 1m 22s
Update to 1.1.0, simplify Python handling. brew test-bot #11: Pull request #4 synchronize by mpreiner
January 9, 2024 15:31 4m 56s fix-issue-3
fix-issue-3
January 9, 2024 15:31 4m 56s
Update to 1.1.0, simplify Python handling. brew test-bot #10: Pull request #4 synchronize by mpreiner
December 13, 2023 22:50 13m 26s fix-issue-3
fix-issue-3
December 13, 2023 22:50 13m 26s
Update to 1.1.0, simplify Python handling. brew test-bot #9: Pull request #4 opened by mpreiner
December 13, 2023 22:41 1m 11s fix-issue-3
fix-issue-3
December 13, 2023 22:41 1m 11s
Update to 1.0.8. (#2) brew test-bot #8: Commit 9a6e20a pushed by mpreiner
September 26, 2023 16:06 3m 46s main
main
September 26, 2023 16:06 3m 46s
Update to 1.0.8. brew test-bot #7: Pull request #2 synchronize by mpreiner
September 25, 2023 16:52 24m 3s update-1.0.8
update-1.0.8
September 25, 2023 16:52 24m 3s
Update to 1.0.8. brew test-bot #6: Pull request #2 opened by mpreiner
September 25, 2023 16:11 1m 11s update-1.0.8
update-1.0.8
September 25, 2023 16:11 1m 11s
Merge pull request #1 from cvc5/proposal brew test-bot #5: Commit b11ff36 pushed by mpreiner
September 25, 2023 16:00 3m 17s main
main
September 25, 2023 16:00 3m 17s