Skip to content
Merge main to nightly

fix: Readme.md needs "git" token in lakefile.lean (#1056) #532

Sign in to view logs

fix: Readme.md needs "git" token in lakefile.lean (#1056)

fix: Readme.md needs "git" token in lakefile.lean (#1056) #532

Triggered via push November 21, 2024 12:33
@github-merge-queuegithub-merge-queue[bot]
pushed 33d7f34
main
Status Success
Total duration 14s
Artifacts –

nightly_merge_master.yml

on: push
merge-to-nightly
5s
merge-to-nightly
Fit to window
Zoom out
Zoom in