Skip to content
Update stage0

fix: reduceNat? match terms with free or meta variables (#3139) #57

Sign in to view logs

fix: reduceNat? match terms with free or meta variables (#3139)

fix: reduceNat? match terms with free or meta variables (#3139) #57

Triggered via push January 5, 2024 18:48
@github-merge-queuegithub-merge-queue[bot]
pushed 9034937
master
Status Success
Total duration 24s
Artifacts –

update-stage0.yml

on: push
update-stage0
15s
update-stage0
Fit to window
Zoom out
Zoom in