Skip to content
Jira sync

lake new should generate a lakefile.toml, not a lakefile.lean #135

Sign in to view logs

lake new should generate a lakefile.toml, not a lakefile.lean

lake new should generate a lakefile.toml, not a lakefile.lean #135

Triggered via issue September 28, 2024 06:57
@tydeutydeu
closed #4106 4ea76aa
Status Success
Total duration 10s
Artifacts –

jira.yml

on: issues
jira-sync
2s
jira-sync
Fit to window
Zoom out
Zoom in