Move mac release CI to hosted ARM runners · runtimeverification/k@cff9617

Triggered via pull request October 27, 2023 09:53

Baltoli

synchronize #3764

macos-faster

Status Success

Total duration 53m 49s

Artifacts 1

test-pr.yml

on: pull_request

Matrix: Nix flake

Produced during runtime

Name	Size
kframework.deb Expired	143 MB