Skip to content

Actions: model-checking/cbmc-viewer

Actions

CBMC viewer release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yaml
11 workflow runs
11 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Second attempt to fix update-pr CBMC viewer release #48: Commit a35eb35 pushed by tautschnig
July 19, 2024 21:09 22s viewer-3.9
viewer-3.9
July 19, 2024 21:09 22s
Extend permissions to make update-pr work CBMC viewer release #47: Commit caca38a pushed by tautschnig
July 19, 2024 20:56 16s viewer-3.9
viewer-3.9
July 19, 2024 20:56 16s
Bump actions/download-artifact from 3 to 4 CBMC viewer release #46: Commit d5d29f5 pushed by tautschnig
July 19, 2024 20:24 21s viewer-3.9
viewer-3.9
July 19, 2024 20:24 21s
fixup! CI jobs: remove use of deprecated set-output CBMC viewer release #45: Commit 1141d27 pushed by tautschnig
July 19, 2024 08:32 19s viewer-3.9
viewer-3.9
July 19, 2024 08:32 19s
Add Dependabot for GitHub action updates CBMC viewer release #44: Commit d97e6a3 pushed by tautschnig
July 18, 2024 06:19 21s viewer-3.9
viewer-3.9
July 18, 2024 06:19 21s
Fix permissions to enable configure-aws-credentials CBMC viewer release #43: Commit 9e835cd pushed by tautschnig
July 16, 2024 21:09 13s viewer-3.9
viewer-3.9
July 16, 2024 21:09 13s
Fix permissions to enable configure-aws-credentials CBMC viewer release #42: Commit 9e835cd pushed by tautschnig
July 16, 2024 20:33 23s viewer-3.9
viewer-3.9
July 16, 2024 20:33 23s
Have release created by aws-viewer-for-cbmc-release-ci CBMC viewer release #41: Commit 0f1ece3 pushed by tautschnig
July 16, 2024 20:05 12s viewer-3.9
viewer-3.9
July 16, 2024 20:05 12s
fixup! Fetch access tokens from AWS Secrets Manager CBMC viewer release #40: Commit 3c45df3 pushed by tautschnig
July 16, 2024 19:13 13s viewer-3.9
viewer-3.9
July 16, 2024 19:13 13s
Fetch access tokens from AWS Secrets Manager CBMC viewer release #39: Commit a16874a pushed by tautschnig
July 16, 2024 18:04 14s viewer-3.9
viewer-3.9
July 16, 2024 18:04 14s
CBMC viewer release CBMC viewer release #38: by tautschnig
June 26, 2024 08:53 10s viewer-3.9
viewer-3.9
June 26, 2024 08:53 10s