Skip to content
Add comment on PR and post to Zulip

feat: Mathlib weekly reports #3

Sign in to view logs

feat: Mathlib weekly reports

feat: Mathlib weekly reports #3

Triggered via pull request May 19, 2024 15:33
@adomaniadomani
labeled #13038
adomani/weekly_change_report
Status Skipped
Total duration 2s
Artifacts –

mathlib_stats_label.yaml

on: pull_request
add-comment
0s
add-comment
Fit to window
Zoom out
Zoom in