Skip to content

Actions: model-checking/cbmc-viewer

Actions

Test generating symbols from ctags

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ctags.yaml
27 workflow runs
27 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use cElementTree to reduce memory consumption Test generating symbols from ctags #68: Pull request #173 opened by tautschnig
September 17, 2024 18:27 2m 29s tautschnig:use-cElementTree
tautschnig:use-cElementTree
September 17, 2024 18:27 2m 29s
Make sure no information fetched from secrets manager is logged Test generating symbols from ctags #67: Pull request #172 synchronize by tautschnig
August 22, 2024 19:05 4m 26s tautschnig:hide-secrets
tautschnig:hide-secrets
August 22, 2024 19:05 4m 26s
Make sure no information fetched from secrets manager is logged Test generating symbols from ctags #66: Pull request #172 opened by tautschnig
August 22, 2024 18:34 3m 9s tautschnig:hide-secrets
tautschnig:hide-secrets
August 22, 2024 18:34 3m 9s
Fix update-pr workflow Test generating symbols from ctags #65: Pull request #171 synchronize by tautschnig
July 30, 2024 16:00 2m 14s tautschnig:update-pr-again
tautschnig:update-pr-again
July 30, 2024 16:00 2m 14s
Fix update-pr workflow Test generating symbols from ctags #64: Pull request #171 opened by tautschnig
July 30, 2024 15:18 2m 12s tautschnig:update-pr-again
tautschnig:update-pr-again
July 30, 2024 15:18 2m 12s
Second attempt to fix update-pr Test generating symbols from ctags #63: Pull request #170 opened by tautschnig
July 19, 2024 21:08 2m 2s tautschnig:fix-update-pr-again
tautschnig:fix-update-pr-again
July 19, 2024 21:08 2m 2s
Extend permissions to make update-pr work Test generating symbols from ctags #62: Pull request #169 opened by tautschnig
July 19, 2024 20:54 2m 7s tautschnig:make-update-pr-work
tautschnig:make-update-pr-work
July 19, 2024 20:54 2m 7s
fixup! CI jobs: remove use of deprecated set-output Test generating symbols from ctags #61: Pull request #168 opened by tautschnig
July 18, 2024 12:21 2m 26s tautschnig:fix-output-name
tautschnig:fix-output-name
July 18, 2024 12:21 2m 26s
Bump JamesIves/github-pages-deploy-action from 4.1.4 to 4.6.3 Test generating symbols from ctags #60: Pull request #167 opened by dependabot bot
July 18, 2024 06:14 2m 11s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.3
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.3
July 18, 2024 06:14 2m 11s
Bump JamesIves/github-pages-deploy-action from 4.1.4 to 4.6.3 Test generating symbols from ctags #59: Pull request #167 labeled by dependabot bot
July 18, 2024 06:14 2m 13s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.3
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.3
July 18, 2024 06:14 2m 13s
Bump actions/checkout from 2 to 4 Test generating symbols from ctags #58: Pull request #166 opened by dependabot bot
July 18, 2024 06:14 2m 12s dependabot/github_actions/actions/checkout-4
dependabot/github_actions/actions/checkout-4
July 18, 2024 06:14 2m 12s
Bump actions/checkout from 2 to 4 Test generating symbols from ctags #57: Pull request #166 labeled by dependabot bot
July 18, 2024 06:14 2m 7s dependabot/github_actions/actions/checkout-4
dependabot/github_actions/actions/checkout-4
July 18, 2024 06:14 2m 7s
Bump actions/download-artifact from 3 to 4 Test generating symbols from ctags #56: Pull request #165 opened by dependabot bot
July 18, 2024 06:14 1m 58s dependabot/github_actions/actions/download-artifact-4
dependabot/github_actions/actions/download-artifact-4
July 18, 2024 06:14 1m 58s
Bump actions/download-artifact from 3 to 4 Test generating symbols from ctags #55: Pull request #165 labeled by dependabot bot
July 18, 2024 06:14 2m 7s dependabot/github_actions/actions/download-artifact-4
dependabot/github_actions/actions/download-artifact-4
July 18, 2024 06:14 2m 7s
Bump actions/setup-python from 3 to 5 Test generating symbols from ctags #54: Pull request #164 labeled by dependabot bot
July 18, 2024 06:14 2m 11s dependabot/github_actions/actions/setup-python-5
dependabot/github_actions/actions/setup-python-5
July 18, 2024 06:14 2m 11s
Bump actions/setup-python from 3 to 5 Test generating symbols from ctags #53: Pull request #164 opened by dependabot bot
July 18, 2024 06:14 2m 14s dependabot/github_actions/actions/setup-python-5
dependabot/github_actions/actions/setup-python-5
July 18, 2024 06:14 2m 14s
Add Dependabot for GitHub action updates Test generating symbols from ctags #52: Pull request #160 synchronize by tautschnig
July 18, 2024 06:13 2m 9s tautschnig:dependabot
tautschnig:dependabot
July 18, 2024 06:13 2m 9s
Do not unnecessarily re-install jq Test generating symbols from ctags #51: Pull request #163 opened by tautschnig
July 17, 2024 09:14 1m 58s tautschnig:no-redundant-jq
tautschnig:no-redundant-jq
July 17, 2024 09:14 1m 58s
Avoid name clash when uploading artifacts from multiple platforms Test generating symbols from ctags #50: Pull request #162 opened by tautschnig
July 17, 2024 09:12 2m 37s tautschnig:upload-artifact
tautschnig:upload-artifact
July 17, 2024 09:12 2m 37s
CI jobs: remove use of deprecated set-output Test generating symbols from ctags #49: Pull request #161 opened by tautschnig
July 17, 2024 08:57 2m 14s tautschnig:no-set-output
tautschnig:no-set-output
July 17, 2024 08:57 2m 14s
Add Dependabot for GitHub action updates Test generating symbols from ctags #48: Pull request #160 opened by tautschnig
July 17, 2024 08:49 2m 25s tautschnig:dependabot
tautschnig:dependabot
July 17, 2024 08:49 2m 25s
Fix permissions to enable configure-aws-credentials Test generating symbols from ctags #47: Pull request #159 opened by tautschnig
July 16, 2024 20:20 1m 59s tautschnig:fix-permissions
tautschnig:fix-permissions
July 16, 2024 20:20 1m 59s
Have release created by aws-viewer-for-cbmc-release-ci Test generating symbols from ctags #46: Pull request #158 opened by tautschnig
July 16, 2024 19:25 2m 46s tautschnig:release-not-github-bot
tautschnig:release-not-github-bot
July 16, 2024 19:25 2m 46s
fixup! Fetch access tokens from AWS Secrets Manager Test generating symbols from ctags #45: Pull request #157 opened by tautschnig
July 16, 2024 18:11 3m 20s tautschnig:fix-indent
tautschnig:fix-indent
July 16, 2024 18:11 3m 20s
Fetch access tokens from AWS Secrets Manager Test generating symbols from ctags #44: Pull request #155 opened by tautschnig
July 16, 2024 10:05 1m 59s tautschnig:use-secrets-manager
tautschnig:use-secrets-manager
July 16, 2024 10:05 1m 59s