Skip to content

Do not load group metadata when getting it from REST. #18445

Do not load group metadata when getting it from REST.

Do not load group metadata when getting it from REST. #18445

name: check-heap-memory-api-violations
on:
push:
paths-ignore:
- '_quarto.yml'
- 'quarto-materials/*'
- '**/.md'
- 'doc/source/conf.py'
- 'tiledb/sm/c_api/tiledb_version.h'
pull_request:
paths-ignore:
- '_quarto.yml'
- 'quarto-materials/*'
- '**/.md'
- 'doc/source/conf.py'
- 'tiledb/sm/c_api/tiledb_version.h'
jobs:
build:
runs-on: ubuntu-20.04
if: ${{ startsWith(github.ref , 'refs/tags') != true && startsWith(github.ref , 'build-') != true }}
timeout-minutes: 90
name: Check Heap Memory Violations
steps:
- uses: actions/checkout@v3
- name: 'Print env'
run: |
echo "'uname -s' is:"
echo "uname: " $(uname)
echo "uname -m: " $(uname -m)
echo "uname -r:" $(uname -r)
echo "uname -s: " $(uname -s)
echo "uname -v: " $(uname -v)
printenv
shell: bash
- name: Check Heap Memory API Violations (linux only)'
run: |
set -e pipefail
python scripts/find_heap_api_violations.py tiledb
shell: bash
if: ${{ runner.os == 'Linux' }}