Stef Tervelde 5790327f49 Remove PR workflow and disable PR comments (#1413) ...

Delete the standalone .github/workflows/pr.yml workflow and comment out the sticky PR comment steps in .github/workflows/build.yml. Artifact upload and build steps remain unchanged; only the actions that post/update pull request comments (marocchino/sticky-pull-request-comment) and associated PR_PAT usage were disabled.

2026-02-05 12:11:33 -05:00

..

build.yml

Remove PR workflow and disable PR comments (#1413)

2026-02-05 12:11:33 -05:00

different.yml

Build libDifferent CI

2025-01-15 22:03:38 +01:00

release.yml

Github actions simplification

2026-02-02 14:14:26 +01:00