Skip to content

Update links and languages for tangleguard#1732

Merged
mre merged 3 commits intoanalysis-tools-dev:masterfrom
jaads:master
Feb 6, 2026
Merged

Update links and languages for tangleguard#1732
mre merged 3 commits intoanalysis-tools-dev:masterfrom
jaads:master

Conversation

@jaads
Copy link
Contributor

@jaads jaads commented Jan 8, 2026

This PR introduces more reliable and up-to-date links regarding TangleGuard. Also the supported languages got updated.

  • [ x ] I have not changed the README.md directly.

Not sure though, why the internal link on static-analysis.com produces a 404: https://analysis-tools.dev/tool/tangleguard

Any idea? 🤔

@mre
Copy link
Member

mre commented Jan 9, 2026

Thanks. The source of truth is https://github.com/analysis-tools-dev/static-analysis/blob/master/data/tools/tangleguard.yml, though. Can you apply the changes there? (The changes themselves look good to me.) I can look into the 404 later. Maybe the website workflow didn't run in a while.

@jaads
Copy link
Contributor Author

jaads commented Jan 9, 2026

Ups! Now the updates are applied in the correct file.

Thank you!!

@mre
Copy link
Member

mre commented Feb 6, 2026

Thanks for your contribution!

@mre mre merged commit 8a4c4b2 into analysis-tools-dev:master Feb 6, 2026
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants