Skip to content
Test generating symbols from ctags

CBMC v6 fixes and release 3.9 #43

Sign in to view logs

CBMC v6 fixes and release 3.9

CBMC v6 fixes and release 3.9 #43

Triggered via pull request June 25, 2024 09:48
@tautschnigtautschnig
opened #153
tautschnig:cbmc-v6-fixes
Status Success
Total duration 2m 17s
Artifacts –

ctags.yaml

on: pull_request
Legacy ctags test
2m 3s
Legacy ctags test
Exuberant ctags test
1m 47s
Exuberant ctags test
Universal ctags test
1m 49s
Universal ctags test
Fit to window
Zoom out
Zoom in

Annotations

6 errors and 3 warnings
Exuberant ctags test
No such keg: /opt/homebrew/Cellar/ctags
Exuberant ctags test
No such keg: /opt/homebrew/Cellar/universal-ctags
Universal ctags test
No such keg: /opt/homebrew/Cellar/ctags
Universal ctags test
No such keg: /opt/homebrew/Cellar/universal-ctags
Legacy ctags test
No such keg: /opt/homebrew/Cellar/ctags
Legacy ctags test
No such keg: /opt/homebrew/Cellar/universal-ctags
Exuberant ctags test
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Universal ctags test
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Legacy ctags test
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.