diff options
author | Loïc Hoguin <[email protected]> | 2025-08-29 16:45:13 +0200 |
---|---|---|
committer | Loïc Hoguin <[email protected]> | 2025-08-29 17:20:56 +0200 |
commit | 7cef74a75f1d1be150a2a3669caf58f7607e3052 (patch) | |
tree | 91f2668c1c84bbb8fd8d245fed411946f2ac9eab /.github/workflows | |
parent | 973ccc3ac9b5c1223a42e267e89c9043ae9a06ae (diff) | |
download | erlang.mk-master.tar.gz erlang.mk-master.tar.bz2 erlang.mk-master.zip |
Thanks Ilya Khaprov for the fix.
Diffstat (limited to '.github/workflows')
-rw-r--r-- | .github/workflows/ci.yaml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index e51ef0b..9b5740b 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -301,6 +301,7 @@ jobs: - '^cowboy \|^cowlib \|^gun \|^ranch ' - '^amqp_client \|^amqp10_client \|^aten \|^credentials_obfuscation \|^cuttlefish ' - '^gen_batch_server \|^ra \|^seshat \|^stdout_formatter \|^sysmon_handler ' + - '^rocksdb ' extra: ['', 'LEGACY=1'] runs-on: ${{ matrix.os }} steps: |