Skip to content
No #eval in source files

feat: shim code for lean4web #592

Sign in to view logs

feat: shim code for lean4web

feat: shim code for lean4web #592

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

no-eval-in-source.yml

on: pull_request
Check no #eval in source files
4s
Check no #eval in source files
Fit to window
Zoom out
Zoom in