Skip to content
Check for copyright header and too-big Lean imports

fix: allow multi-arg roles when generating string previews #309

Sign in to view logs

fix: allow multi-arg roles when generating string previews

fix: allow multi-arg roles when generating string previews #309

Triggered via pull request January 31, 2025 22:13
@david-christiansendavid-christiansen
opened #281
better-tostring
Status Success
Total duration 14s
Artifacts –

copyright-header.yml

on: pull_request
check-lean-files
5s
check-lean-files
Fit to window
Zoom out
Zoom in