Skip to content
Build

RulePattern: recurse into expressions with loose bvars #439

Sign in to view logs

RulePattern: recurse into expressions with loose bvars

RulePattern: recurse into expressions with loose bvars #439

Triggered via push July 5, 2024 08:54
@JLimpergJLimperg
pushed deb5bd4
master
Status Success
Total duration 2m 4s
Artifacts –

build.yml

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