mirror of
https://github.com/dlang/dmd.git
synced 2025-04-25 20:50:41 +03:00
Merge remote-tracking branch 'upstream/stable' into merge_stable
This commit is contained in:
commit
2e1e544ac2
4 changed files with 20 additions and 2 deletions
1
.github/workflows/main.yml
vendored
1
.github/workflows/main.yml
vendored
|
@ -71,6 +71,7 @@ jobs:
|
|||
model: 32
|
||||
name: ${{ matrix.job_name }}
|
||||
runs-on: ${{ matrix.os }}
|
||||
continue-on-error: ${{ matrix.os == 'macos-13' }}
|
||||
timeout-minutes: 40
|
||||
env:
|
||||
# for ci/run.sh:
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue