Skip to content
CodeQL

feat: --solver-command lets user replace z3 invocations #126

Sign in to view logs

feat: --solver-command lets user replace z3 invocations

feat: --solver-command lets user replace z3 invocations #126

Triggered via push April 11, 2024 21:08
@fubuloubufubuloubu
pushed 3e160f5
main
Status Success
Total duration 1m 59s
Artifacts –

codeql.yml

on: push
Matrix: Analyze
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Analyze (python)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, github/codeql-action/init@v2, github/codeql-action/autobuild@v2, github/codeql-action/analyze@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Analyze (python)
CodeQL Action v2 will be deprecated on December 5th, 2024. Please update all occurrences of the CodeQL Action in your workflow files to v3. For more information, see https://github.blog/changelog/2024-01-12-code-scanning-deprecation-of-codeql-action-v2/