Skip to content

Actions: leanprover-community/mathlib4

Actions

Add comment on PR and post to Zulip

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
5 workflow runs
5 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Mathlib weekly reports Add comment on PR and post to Zulip #5: Pull request #13038 labeled by kim-em
July 15, 2024 16:43 2s adomani/weekly_change_report
adomani/weekly_change_report
July 15, 2024 16:43 2s
feat: Mathlib weekly reports Add comment on PR and post to Zulip #4: Pull request #13038 labeled by adomani
May 20, 2024 10:25 2m 6s adomani/weekly_change_report
adomani/weekly_change_report
May 20, 2024 10:25 2m 6s
feat: Mathlib weekly reports Add comment on PR and post to Zulip #3: Pull request #13038 labeled by adomani
May 19, 2024 15:33 2s adomani/weekly_change_report
adomani/weekly_change_report
May 19, 2024 15:33 2s
feat: Mathlib weekly reports Add comment on PR and post to Zulip #2: Pull request #13038 labeled by adomani
May 19, 2024 15:33 2s adomani/weekly_change_report
adomani/weekly_change_report
May 19, 2024 15:33 2s
feat: Mathlib weekly reports Add comment on PR and post to Zulip #1: Pull request #13038 labeled by adomani
May 19, 2024 15:33 2s adomani/weekly_change_report
adomani/weekly_change_report
May 19, 2024 15:33 2s