CI

Merge pull request #88 from lean-dojo/4.9.0.2 #58

Sign in to view logs

Triggered via push June 24, 2024 06:57

main

Status Success

Total duration 29m 39s

Artifacts –

push_pr.yml

on: push