Skip to content
commit message

JIT improvements & use goal filling & report pattern errors with substed free terms #577

Sign in to view logs

JIT improvements & use goal filling & report pattern errors with substed free terms

JIT improvements & use goal filling & report pattern errors with substed free terms #577

Triggered via pull request December 17, 2024 20:46
@ice1000ice1000
opened #1229
ice1000
Status Success
Total duration 12s
Artifacts –

commit-check.yaml

on: pull_request
commit-check
4s
commit-check
Fit to window
Zoom out
Zoom in