Check Code Formatting

feat: shim code for lean4web #810

Sign in to view logs

Triggered via pull request June 19, 2026 21:05

robsimmons

synchronize #884

versobox-shim

Status Success

Total duration 18s

Artifacts –

check-format.yml

on: pull_request

check-prettier-formatting

check-python-formatting