Merge branch 'stable' into merge-stable

This commit is contained in:
Dennis Korpel 2024-04-23 14:44:01 +02:00
commit 33c32407c0
14 changed files with 295 additions and 34 deletions

View file

@ -32,11 +32,12 @@ jobs:
os: ubuntu-22.04
model: 32
host_dmd: dmd
- job_name: Ubuntu 22.04 x86, DMD (coverage)
os: ubuntu-22.04
model: 32
host_dmd: dmd
coverage: true
# Disabled because of failure https://issues.dlang.org/show_bug.cgi?id=24518
# - job_name: Ubuntu 22.04 x86, DMD (coverage)
# os: ubuntu-22.04
# model: 32
# host_dmd: dmd
# coverage: true
- job_name: Ubuntu 22.04 x86, DMD (bootstrap)
os: ubuntu-22.04
model: 32
@ -52,10 +53,11 @@ jobs:
- job_name: macOS 13 x64, DMD (latest)
os: macos-13
host_dmd: dmd
- job_name: macOS 13 x64, DMD (coverage)
os: macos-13
host_dmd: dmd
coverage: true
# Disabled because of failure https://issues.dlang.org/show_bug.cgi?id=24518
# - job_name: macOS 13 x64, DMD (coverage)
# os: macos-13
# host_dmd: dmd
# coverage: true
- job_name: macOS 12 x64, DMD (bootstrap)
os: macos-12
# de-facto bootstrap version on OSX