Skip to content
Check PR title follows commit convention

feat: shim code for lean4web #240

Sign in to view logs

feat: shim code for lean4web

feat: shim code for lean4web #240

Triggered via pull request June 19, 2026 00:50
@robsimmonsrobsimmons
edited #884
versobox-shim
Status Success
Total duration 8s
Artifacts –

commit-convention.yml

on: pull_request
PR title follows commit convention
4s
PR title follows commit convention
Fit to window
Zoom out
Zoom in