aboutsummaryrefslogtreecommitdiffstats
path: root/.github/workflows
diff options
context:
space:
mode:
authorLoïc Hoguin <[email protected]>2025-08-29 16:45:13 +0200
committerLoïc Hoguin <[email protected]>2025-08-29 17:20:56 +0200
commit7cef74a75f1d1be150a2a3669caf58f7607e3052 (patch)
tree91f2668c1c84bbb8fd8d245fed411946f2ac9eab /.github/workflows
parent973ccc3ac9b5c1223a42e267e89c9043ae9a06ae (diff)
downloaderlang.mk-master.tar.gz
erlang.mk-master.tar.bz2
erlang.mk-master.zip
Fix autopatch of erlang-rocksdbHEADmaster
Thanks Ilya Khaprov for the fix.
Diffstat (limited to '.github/workflows')
-rw-r--r--.github/workflows/ci.yaml1
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: