mirror of
https://github.com/dlang/dmd.git
synced 2025-04-26 13:10:12 +03:00
ci: Workaround gdb bug in by requesting privileged container
This commit is contained in:
parent
b8b51f0db2
commit
2c733d8b8b
1 changed files with 3 additions and 0 deletions
|
@ -58,6 +58,9 @@ linux_task:
|
||||||
image: ubuntu:22.04
|
image: ubuntu:22.04
|
||||||
cpu: 4
|
cpu: 4
|
||||||
memory: 8G
|
memory: 8G
|
||||||
|
# Workaround GDB bug on 22.04 by requesting a privileged container
|
||||||
|
# See https://github.com/cirruslabs/cirrus-ci-docs/issues/1136
|
||||||
|
kvm: true
|
||||||
timeout_in: 60m
|
timeout_in: 60m
|
||||||
environment:
|
environment:
|
||||||
matrix:
|
matrix:
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue