Skip to content

Actions: symbolicsoft/verifpal

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
10 workflow runs
10 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Scoop update for verifpal version v0.27.4 CI #24: Commit 6150b3f pushed by nadimkobeissi
September 8, 2024 17:36 1m 31s master
master
September 8, 2024 17:36 1m 31s
Brew formula update for verifpal version v0.27.4 CI #23: Commit ffd9a74 pushed by nadimkobeissi
September 8, 2024 17:36 1m 30s master
master
September 8, 2024 17:36 1m 30s
Verifpal 0.27.4 CI #22: Commit 7032cdc pushed by nadimkobeissi
September 8, 2024 17:33 1m 28s v0.27.4
v0.27.4
September 8, 2024 17:33 1m 28s
Verifpal 0.27.4 CI #21: Commit 7032cdc pushed by nadimkobeissi
September 8, 2024 17:33 1m 27s master
master
September 8, 2024 17:33 1m 27s
Fix .goreleaser.yml CI #20: Commit 5b7f4e9 pushed by nadimkobeissi
September 8, 2024 17:33 1m 36s master
master
September 8, 2024 17:33 1m 36s
Add generated files CI #19: Commit 16df58f pushed by nadimkobeissi
September 8, 2024 17:26 1m 49s master
master
September 8, 2024 17:26 1m 49s
Verifpal 0.27.3 CI #18: Commit 00c9540 pushed by nadimkobeissi
September 8, 2024 17:23 45s v0.27.3
v0.27.3
September 8, 2024 17:23 45s
Verifpal 0.27.3 CI #17: Commit 00c9540 pushed by nadimkobeissi
September 8, 2024 17:23 38s master
master
September 8, 2024 17:23 38s
Quality of life fixes CI #16: Commit a79c879 pushed by nadimkobeissi
September 8, 2024 17:17 3m 47s master
master
September 8, 2024 17:17 3m 47s
Merge pull request #6 from max-p-log-p/master CI #15: Commit 8b8e568 pushed by nadimkobeissi
September 8, 2024 17:01 2m 54s master
master
September 8, 2024 17:01 2m 54s