Prepare new release #179
github-merge-queue[bot]
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
build_and_test.yml
on: pull_request
build-and-test-analysis
5m 26s
build-and-test-scanner-android
1m 12s
build-and-test-scanner-soot
12m 13s