pulsar-edit/pulsar
1
1
Fork 0
mirror of https://github.com/pulsar-edit/pulsar.git synced 2024-09-19 15:08:08 +03:00
Code Issues Packages Projects Releases Wiki Activity

Added sandbox workaround

Browse Source
This commit is contained in:
Darangi 2019-12-19 14:40:00 +01:00
parent 25281f540f
commit d4b93f40c4
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
script/vsts/platforms/linux.yml
View File

@ -57,6 +57,9 @@ jobs:
- script: script/lint
displayName: Run linter
- script: sysctl kernel.unprivileged_userns_clone=1
displayName: Sandbox workaround
- script: script/build --no-bootstrap --create-debian-package --create-rpm-package --compress-artifacts
env:
GITHUB_TOKEN: $(GITHUB_TOKEN)