Skip to content
Update stage0

feat: add support for constructors and axioms to the grind E-matchi… #2720

Sign in to view logs

feat: add support for constructors and axioms to the grind E-matchi…

feat: add support for constructors and axioms to the grind E-matchi… #2720

Triggered via push January 29, 2025 05:50
@github-merge-queuegithub-merge-queue[bot]
pushed 08ec254
master
Status Success
Total duration 30s
Artifacts –

update-stage0.yml

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