Skip to content
Formalities

chore: don't import all of Lean #2

Sign in to view logs

chore: don't import all of Lean

chore: don't import all of Lean #2

Triggered via pull request July 16, 2024 05:39
@david-christiansendavid-christiansen
synchronize #34
no-import-Lean
Status Success
Total duration 11s
Artifacts –

formalities.yml

on: pull_request
Build
2s
Build
Fit to window
Zoom out
Zoom in