Skip to content

Actions: verifast/vfdeps

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix name of macos-aarch64 package CI #42: Commit adf88dc pushed by btj
January 8, 2025 19:45 33m 33s master
master
January 8, 2025 19:45 33m 33s
Add MacOS-AArch64 build (#6) CI #41: Commit ada7df8 pushed by btj
January 8, 2025 18:28 43m 30s master
master
January 8, 2025 18:28 43m 30s
Add MacOS-AArch64 build CI #40: Pull request #6 synchronize by btj
January 8, 2025 17:07 43m 29s macos-aarch64
macos-aarch64
January 8, 2025 17:07 43m 29s
Add MacOS-AArch64 build CI #39: Pull request #6 synchronize by btj
January 8, 2025 16:34 36m 34s macos-aarch64
macos-aarch64
January 8, 2025 16:34 36m 34s
Add MacOS-AArch64 build CI #38: Pull request #6 synchronize by btj
January 8, 2025 15:57 20m 54s macos-aarch64
macos-aarch64
January 8, 2025 15:57 20m 54s
Add MacOS-AArch64 build CI #37: Pull request #6 synchronize by btj
January 8, 2025 15:36 49m 59s macos-aarch64
macos-aarch64
January 8, 2025 15:36 49m 59s
Add MacOS-AArch64 build CI #36: Pull request #6 synchronize by btj
January 8, 2025 15:08 27m 51s macos-aarch64
macos-aarch64
January 8, 2025 15:08 27m 51s
Add MacOS-AArch64 build CI #35: Pull request #6 opened by btj
January 8, 2025 15:04 3m 41s macos-aarch64
macos-aarch64
January 8, 2025 15:04 3m 41s