Mads Marquart 19e4108ed1 Use DEVELOPER_DIR instead of a custom xcode-select script ... `DEVELOPER_DIR` is the standard environment variable for overriding the Xcode version, there is no need to invoke `xcode-select --switch` manually to do this. The variable is documented in both `man xcode-select` and `man xcrun`.		2026-02-03 20:14:52 +01:00
..
ci.yml	Use DEVELOPER_DIR instead of a custom xcode-select script	2026-02-03 20:14:52 +01:00
dependencies.yml	ci: Move lockfile updates to a script	2026-01-19 05:23:45 +00:00
ghcr.yml	Mirror ubuntu:24.04 on ghcr	2025-12-09 11:30:03 +01:00
post-merge.yml	Use both bors e-mails for CI postprocessing git lookup	2026-01-11 11:32:32 +01:00