Skip to content
Publish

feat: add Lean 4 support. #179

Sign in to view logs

feat: add Lean 4 support.

feat: add Lean 4 support. #179

Triggered via push November 5, 2024 12:56
@PanadesteinPanadestein
pushed c4de52c
master
Status Success
Total duration 50s
Artifacts –

publish.yml

on: push
publish
41s
publish
Fit to window
Zoom out
Zoom in