Skip to content
Code Scanning - Action

fix bug when producing axioms for non-local blocks after fn call #1745

Sign in to view logs

fix bug when producing axioms for non-local blocks after fn call

fix bug when producing axioms for non-local blocks after fn call #1745

Triggered via push January 30, 2025 22:40
@nunoplopesnunoplopes
pushed 2623bec
master
Status Success
Total duration 4m 9s
Artifacts –

codeql.yml

on: push
CodeQL-Build
4m 1s
CodeQL-Build
Fit to window
Zoom out
Zoom in