CodeQL

Pass objects to custom oracles #198

Sign in to view logs

Summary
Jobs
- Analyze
Run details
- Usage
- Workflow file

Triggered via pull request November 28, 2023 19:33

niknetniko

opened #473

enhance/better-custom-check-functions

Status Success

Total duration 3m 21s

Artifacts –

codeql.yml

on: pull_request