Skip to content
Formalities

chore: don't import all of Lean #4

Sign in to view logs

chore: don't import all of Lean

chore: don't import all of Lean #4

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

formalities.yml

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