CI

Merge pull request #122 from lean-dojo/external #108

Sign in to view logs

Triggered via push September 1, 2024 08:11

main

Status Success

Total duration 17m 19s

Artifacts –

push_pr.yml

on: push

Matrix: Build