Philipp Dreher c414f0c43e Meta: Switch to different source for pre-commit feature in dev-container

2025-06-21 20:18:23 +02:00

..

features

Devcontainer: Update to llvm 20

2025-05-14 19:43:52 -04:00

fedora-ci

Devcontainer: Update fedora devcontainer to version 42

2025-05-08 03:21:15 -06:00

optimized

Meta: Use the correct organization name for the devcontainer base

2024-10-12 13:43:04 -06:00

devcontainer.json

Meta: Switch to different source for pre-commit feature in dev-container

2025-06-21 20:18:23 +02:00