Skip to content

Actions: runtimeverification/homebrew-k

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Test Homebrew formula Test Homebrew formula #12: Manually run by F-WRunTime
November 20, 2024 16:26 30m 23s master
master
November 20, 2024 16:26 30m 23s
Switch to using macos 14 only Test Homebrew formula #11: Pull request #6 synchronize by rv-jenkins
May 21, 2024 23:23 24m 26s macos-14
macos-14
May 21, 2024 23:23 24m 26s
Switch to using macos 14 only Test Homebrew formula #10: Pull request #6 synchronize by Baltoli
May 21, 2024 22:09 1h 3m 27s macos-14
macos-14
May 21, 2024 22:09 1h 3m 27s
Switch to using macos 14 only Test Homebrew formula #9: Pull request #6 synchronize by rv-jenkins
May 21, 2024 21:22 42m 38s macos-14
macos-14
May 21, 2024 21:22 42m 38s
Switch to using macos 14 only Test Homebrew formula #8: Pull request #6 synchronize by Baltoli
May 21, 2024 20:11 31m 59s macos-14
macos-14
May 21, 2024 20:11 31m 59s
Switch to using macos 14 only Test Homebrew formula #7: Pull request #6 opened by Baltoli
May 21, 2024 19:29 25m 1s macos-14
macos-14
May 21, 2024 19:29 25m 1s
Pin LLVM to 17 Test Homebrew formula #6: Pull request #5 opened by Baltoli
April 26, 2024 09:25 55m 32s pin-llvm-17
pin-llvm-17
April 26, 2024 09:25 55m 32s
Remove booster build from kframework.rb formula Test Homebrew formula #5: Pull request #4 opened by jberthold
April 9, 2024 22:23 1h 5m 3s booster-532-remove-build-commands
booster-532-remove-build-commands
April 9, 2024 22:23 1h 5m 3s
Remove old formulas Test Homebrew formula #4: Pull request #3 opened by Baltoli
November 16, 2023 11:53 1h 12m 31s old-formulas
old-formulas
November 16, 2023 11:53 1h 12m 31s
Upgrade to LLVM 17 Test Homebrew formula #3: Pull request #2 synchronize by Baltoli
November 1, 2023 14:53 1h 9m 53s llvm-15
llvm-15
November 1, 2023 14:53 1h 9m 53s
Upgrade to LLVM 17 Test Homebrew formula #2: Pull request #2 synchronize by Baltoli
November 1, 2023 14:45 8m 5s llvm-15
llvm-15
November 1, 2023 14:45 8m 5s
Upgrade to LLVM 17 Test Homebrew formula #1: Pull request #2 opened by Baltoli
November 1, 2023 14:39 54s llvm-15
llvm-15
November 1, 2023 14:39 54s