Skip to content

Merge branch 'main' into 1102-abstract-domains-ii #541

Merge branch 'main' into 1102-abstract-domains-ii

Merge branch 'main' into 1102-abstract-domains-ii #541

Triggered via push November 15, 2024 19:28
Status Success
Total duration 2m 34s
Artifacts
Fit to window
Zoom out
Zoom in

Annotations

1 error and 14 warnings
broken link: wiki/Interface.md#L1806
https://linux.die.net/man/1/nc. 403 - Forbidden
link checker warning: wiki/Overview.md#L44
"https://github.com/flowr-analysis/flowr/tree/main/src/dataflow. Link type is not implemented yet and cannot be checked.
link checker warning: wiki/Terminology.md#L27
https://doi.org/10.1109/TSE.1984.5010248. Request was redirected to https://ieeexplore.ieee.org/document/5010248/
link checker warning: wiki/Terminology.md#L113
https://doi.org/10.1109/TSE.1984.5010248. Request was redirected to https://ieeexplore.ieee.org/document/5010248/
link checker warning: wiki/Terminology.md#L1
http://dx.doi.org/10.18725/OPARU-50107. Request was redirected to https://oparu.uni-ulm.de/items/9fd78686-79df-49ff-9461-8aa48191b9d4
link checker warning: README.md#L2
https://codecov.io/gh/flowr-analysis/flowr. Request was redirected to https://app.codecov.io/gh/flowr-analysis/flowr
link checker warning: README.md#L3
https://zenodo.org/badge/624819038.svg. Request was redirected to https://zenodo.org/badge/DOI/10.5281/zenodo.14164777.svg
link checker warning: README.md#L55
https://all-contributors.js.org/docs/en/bot/usage. Request was redirected to https://allcontributors.org/docs/en/bot/usage
link checker warning: README.md#L3
https://zenodo.org/doi/10.5281/zenodo.13319290. Request was redirected to https://zenodo.org/records/14164777