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