Skip to content

Actions: runtimeverification/k

Actions

Test PR on MacOS

Actions

Loading...

Show workflow options

Create status badge

12 workflow runs
12 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
[DRAFT] Introducing new workflow: Building K from source in MacOS Test PR on MacOS #12: Pull request #3674 synchronize by Robertorosmaninho
September 28, 2023 22:43 9m 30s new-macos-workflow
new-macos-workflow
September 28, 2023 22:43 9m 30s
[DRAFT] Introducing new workflow: Building K from source in MacOS Test PR on MacOS #11: Pull request #3674 synchronize by Robertorosmaninho
September 28, 2023 22:37 6m 27s new-macos-workflow
new-macos-workflow
September 28, 2023 22:37 6m 27s
[DRAFT] Introducing new workflow: Building K from source in MacOS Test PR on MacOS #10: Pull request #3674 synchronize by Robertorosmaninho
September 28, 2023 22:35 2m 44s new-macos-workflow
new-macos-workflow
September 28, 2023 22:35 2m 44s
[DRAFT] Introducing new workflow: Building K from source in MacOS Test PR on MacOS #9: Pull request #3674 synchronize by Robertorosmaninho
September 28, 2023 22:27 8m 7s new-macos-workflow
new-macos-workflow
September 28, 2023 22:27 8m 7s
[DRAFT] Introducing new workflow: Building K from source in MacOS Test PR on MacOS #8: Pull request #3674 synchronize by Robertorosmaninho
September 28, 2023 22:24 3m 24s new-macos-workflow
new-macos-workflow
September 28, 2023 22:24 3m 24s
[DRAFT] Introducing new workflow: Building K from source in MacOS Test PR on MacOS #7: Pull request #3674 synchronize by Robertorosmaninho
September 28, 2023 22:21 3m 2s new-macos-workflow
new-macos-workflow
September 28, 2023 22:21 3m 2s
[DRAFT] Introducing new workflow: Building K from source in MacOS Test PR on MacOS #6: Pull request #3674 synchronize by Robertorosmaninho
September 28, 2023 22:17 4m 16s new-macos-workflow
new-macos-workflow
September 28, 2023 22:17 4m 16s
[DRAFT] Introducing new workflow: Building K from source in MacOS Test PR on MacOS #5: Pull request #3674 synchronize by Robertorosmaninho
September 28, 2023 22:12 4m 38s new-macos-workflow
new-macos-workflow
September 28, 2023 22:12 4m 38s
[DRAFT] Introducing new workflow: Building K from source in MacOS Test PR on MacOS #4: Pull request #3674 synchronize by Robertorosmaninho
September 28, 2023 21:24 48m 30s new-macos-workflow
new-macos-workflow
September 28, 2023 21:24 48m 30s
[DRAFT] Introducing new workflow: Building K from source in MacOS Test PR on MacOS #3: Pull request #3674 synchronize by Robertorosmaninho
September 28, 2023 13:24 10m 41s new-macos-workflow
new-macos-workflow
September 28, 2023 13:24 10m 41s
[DRAFT] Introducing new workflow: Building K from source in MacOS Test PR on MacOS #2: Pull request #3674 synchronize by Robertorosmaninho
September 28, 2023 00:58 54m 40s new-macos-workflow
new-macos-workflow
September 28, 2023 00:58 54m 40s
[DRAFT] Introducing new workflow: Building K from source in MacOS Test PR on MacOS #1: Pull request #3674 opened by Robertorosmaninho
September 28, 2023 00:57 2s new-macos-workflow
new-macos-workflow
September 28, 2023 00:57 2s