Skip to content
Add comment on PR and post to Zulip

feat: Mathlib weekly reports #4

Sign in to view logs

feat: Mathlib weekly reports

feat: Mathlib weekly reports #4

Triggered via pull request May 20, 2024 10:25
@adomaniadomani
labeled #13038
adomani/weekly_change_report
Status Success
Total duration 2m 6s
Artifacts –

mathlib_stats_label.yaml

on: pull_request
add-comment
1m 59s
add-comment
Fit to window
Zoom out
Zoom in