Skip to content

Actions: diffblue/homebrew-cbmc

Actions

brew test-bot

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
tests.yml
34 workflow runs
34 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge pull request #35 from diffblue/cbmc-6.10.0 brew test-bot #130: Commit 2f5fd09 pushed by tautschnig
1m 47s main
main
1m 47s
Add formula for CBMC 6.10.0 brew test-bot #129: Pull request #35 opened by github-actions Bot
47m 51s cbmc-6.10.0
cbmc-6.10.0
47m 51s
Derive the whole tap formula from Homebrew-core to avoid recipe drift brew test-bot #128: Commit f72d34d pushed by tautschnig
1m 21s main
main
1m 21s
Add formula for CBMC 6.10.0 brew test-bot #127: Pull request #34 opened by github-actions Bot
5m 56s cbmc-6.10.0
cbmc-6.10.0
5m 56s
Locate Homebrew-core cbmc formula under Homebrew API mode brew test-bot #126: Commit 7fefaf6 pushed by tautschnig
1m 45s main
main
1m 45s
Merge pull request #33 from tautschnig/durable-bottle-rehost brew test-bot #125: Commit 38704ae pushed by tautschnig
1m 58s main
main
1m 58s
Make versioned-formula generation robust across all platforms brew test-bot #124: Pull request #33 synchronize by tautschnig
1m 27s tautschnig:durable-bottle-rehost
tautschnig:durable-bottle-rehost
1m 27s
Make versioned-formula generation robust across all platforms brew test-bot #123: Pull request #33 synchronize by tautschnig
2m 13s tautschnig:durable-bottle-rehost
tautschnig:durable-bottle-rehost
2m 13s
Make versioned-formula generation robust across all platforms brew test-bot #122: Pull request #33 opened by tautschnig
1m 15s tautschnig:durable-bottle-rehost
tautschnig:durable-bottle-rehost
1m 15s
Add formula for CBMC 6.10.0 brew test-bot #121: Pull request #32 opened by github-actions Bot
1m 24s cbmc-6.10.0
cbmc-6.10.0
1m 24s
Merge pull request #31 from diffblue/dependabot/github_actions/action… brew test-bot #120: Commit ae5debb pushed by tautschnig
25m 2s main
main
25m 2s
Bump actions/cache from 5 to 6 brew test-bot #119: Pull request #31 opened by dependabot Bot
1m 19s dependabot/github_actions/actions/cache-6
dependabot/github_actions/actions/cache-6
1m 19s
Add formula for CBMC 6.10.0 brew test-bot #118: Pull request #30 opened by github-actions Bot
1m 9s cbmc-6.10.0
cbmc-6.10.0
1m 9s
Merge pull request #29 from diffblue/dependabot/github_actions/action… brew test-bot #117: Commit 8796371 pushed by tautschnig
37m 3s main
main
37m 3s
Bump actions/checkout from 6 to 7 brew test-bot #116: Pull request #29 opened by dependabot Bot
1m 42s dependabot/github_actions/actions/checkout-7
dependabot/github_actions/actions/checkout-7
1m 42s
Merge pull request #28 from diffblue/cbmc-6.9.0 brew test-bot #115: Commit 412befc pushed by tautschnig
1m 42s main
main
1m 42s
Merge pull request #27 from diffblue/dependabot/github_actions/softpr… brew test-bot #114: Commit ff664f4 pushed by tautschnig
1m 20s main
main
1m 20s
Bump softprops/action-gh-release from 2 to 3 brew test-bot #113: Pull request #27 opened by dependabot Bot
1m 24s dependabot/github_actions/softprops/action-gh-release-3
dependabot/github_actions/softprops/action-gh-release-3
1m 24s
Merge pull request #26 from diffblue/dependabot/github_actions/action… brew test-bot #112: Commit 74395c6 pushed by tautschnig
2m 25s main
main
2m 25s
Merge pull request #25 from diffblue/dependabot/github_actions/peter-… brew test-bot #111: Commit fcd9e38 pushed by tautschnig
1m 41s main
main
1m 41s
Bump actions/cache from 4 to 5 brew test-bot #110: Pull request #26 opened by dependabot Bot
2m 5s dependabot/github_actions/actions/cache-5
dependabot/github_actions/actions/cache-5
2m 5s
Bump peter-evans/create-pull-request from 7 to 8 brew test-bot #109: Pull request #25 opened by dependabot Bot
1m 19s dependabot/github_actions/peter-evans/create-pull-request-8
dependabot/github_actions/peter-evans/create-pull-request-8
1m 19s
Merge pull request #24 from diffblue/dependabot/github_actions/action… brew test-bot #108: Commit 28defac pushed by tautschnig
1m 59s main
main
1m 59s
Bump actions/checkout from 5 to 6 brew test-bot #107: Pull request #24 synchronize by dependabot Bot
3m 45s dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
3m 45s
Adjust order of entries to please brew style brew test-bot #106: Commit f463637 pushed by tautschnig
1m 49s main
main
1m 49s