Skip to content

Actions: symbolicsoft/verifpal

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
23 workflow runs
23 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
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
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
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
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
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
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
September 8, 2024 17:23 45s
Verifpal 0.27.3
CI #17: Commit 00c9540 pushed by nadimkobeissi
September 8, 2024 17:23 38s 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
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
September 8, 2024 17:01 2m 54s
Scoop update for verifpal version v0.27.2
CI #13: Commit 49db979 pushed by nadimkobeissi
August 23, 2023 07:51 2m 31s master
August 23, 2023 07:51 2m 31s
Brew formula update for verifpal version v0.27.2
CI #12: Commit 4a5b3c5 pushed by nadimkobeissi
August 23, 2023 07:51 2m 4s master
August 23, 2023 07:51 2m 4s
Verifpal 0.27.2
CI #11: Commit d51a28b pushed by nadimkobeissi
August 23, 2023 07:44 2m 50s v0.27.2
August 23, 2023 07:44 2m 50s
Verifpal 0.27.2
CI #10: Commit d51a28b pushed by nadimkobeissi
August 23, 2023 07:44 1m 58s master
August 23, 2023 07:44 1m 58s
Add CI status badge
CI #9: Commit a22156f pushed by nadimkobeissi
August 23, 2023 07:43 2m 39s master
August 23, 2023 07:43 2m 39s
Minor dependency updates
CI #8: Commit 67b78c0 pushed by nadimkobeissi
August 23, 2023 07:40 2m 15s master
August 23, 2023 07:40 2m 15s
Migrate to GitHub Actions
CI #7: Commit 38d83b8 pushed by nadimkobeissi
August 19, 2023 10:43 2m 3s master
August 19, 2023 10:43 2m 3s
Migrate to GitHub Actions
CI #6: Commit 20d1449 pushed by nadimkobeissi
August 19, 2023 10:42 41s master
August 19, 2023 10:42 41s
Migrate to GitHub Actions
CI #5: Commit 7a85457 pushed by nadimkobeissi
August 19, 2023 10:35 48s master
August 19, 2023 10:35 48s
Migrate to GitHub Actions
CI #4: Commit 6df0323 pushed by nadimkobeissi
August 19, 2023 10:31 41s master
August 19, 2023 10:31 41s
Migrate to GitHub Actions
CI #3: Commit 1d6dbd5 pushed by nadimkobeissi
August 19, 2023 10:29 59s master
August 19, 2023 10:29 59s
Migrate to GitHub Actions
CI #2: Commit fef64ac pushed by nadimkobeissi
August 19, 2023 10:28 31s master
August 19, 2023 10:28 31s
Migrate to GitHub Actions
CI #1: Commit 06b6d92 pushed by nadimkobeissi
August 19, 2023 10:26 Failure master
August 19, 2023 10:26 Failure