boost_mirror/unordered
1
0
Fork 0
mirror of https://github.com/boostorg/unordered.git synced 2025-05-09 23:23:59 +00:00
Code Issues Packages Projects Releases Wiki Activity

fixed syntax error

Browse Source
This commit is contained in:
joaquintides 2024-07-14 16:43:04 +02:00 committed by GitHub
parent e354fb432b
commit ac1a2b4d23
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.drone.jsonnet
View File

@ -11,7 +11,7 @@ local triggers =
local ubsan = { UBSAN: '1', UBSAN_OPTIONS: 'print_stacktrace=1' };
local asan = { ASAN: '1', ASAN_OPTIONS: 'privileged=True' };
local tsan = { TSAN: '1' TSAN_OPTIONS: 'privileged=True' };
local tsan = { TSAN: '1', TSAN_OPTIONS: 'privileged=True' };
local linux_pipeline(name, image, environment, packages = "", sources = [], arch = "amd64") =
{