Skip to content

Actions: symbolicsoft/verifpal

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13 workflow runs
13 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Scoop update for verifpal version v0.27.2 CI #13: Commit 49db979 pushed by nadimkobeissi
August 23, 2023 07:51 2m 31s master
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
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
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
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
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
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
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
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
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
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
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
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
master
August 19, 2023 10:26 Failure