Merge pull request #121 from lean-dojo/peiyang #106

Sign in to view logs

Triggered via push September 1, 2024 06:21

main

Status Success

Total duration 17m 24s

Artifacts –

push_pr.yml

on: push

Matrix: Build