We no longer need ctags and mostly don't need python anymore with the removal of cbmc-viewer. Add CI workflows for Ubuntu 24.04. Resolves: #3728 By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses. Setup/CI: cleanup...
Contributor zhassan-aws left a comment • edited We're getting rid of CBMC viewer anyway (see #3302), but approving for the release. Merge branch 'main' into bump-cbmc-viewer-3.10 6ccf625 remi-delmas-3000 removed the Z-BenchCI label Nov 6, 2024 tautschnig added this pull request...
BumpsJamesIves/github-pages-deploy-actionfrom 4.7.2 to 4.7.3. Release notes v4.7.3 What's Changed