Skip to content
CI

Merge pull request #123 from lean-dojo/peiyang #110

Sign in to view logs

Merge pull request #123 from lean-dojo/peiyang

Merge pull request #123 from lean-dojo/peiyang #110

Triggered via push September 2, 2024 09:54
@Peiyang-SongPeiyang-Song
pushed 8379991
main
Status Success
Total duration 17m 43s
Artifacts –

push_pr.yml

on: push
Matrix: Build
Fit to window
Zoom out
Zoom in