-
Notifications
You must be signed in to change notification settings - Fork 20
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
add script and action for monthly PR summary #87
Draft
adomani
wants to merge
65
commits into
leanprover-community:master
Choose a base branch
from
adomani:adomani/monthly_pr_summary_dev
base: master
Could not load branches
Branch not found: {{ refName }}
Loading
Could not load tags
Nothing to show
Loading
Are you sure you want to change the base?
Some commits from the old base branch may be removed from the timeline,
and old review comments may become outdated.
Draft
add script and action for monthly PR summary #87
adomani
wants to merge
65
commits into
leanprover-community:master
from
adomani:adomani/monthly_pr_summary_dev
Commits on Aug 2, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 94d182d - Browse repository at this point
Copy the full SHA 94d182dView commit details -
Configuration menu - View commit details
-
Copy full SHA for 3115cff - Browse repository at this point
Copy the full SHA 3115cffView commit details -
Configuration menu - View commit details
-
Copy full SHA for e2eb004 - Browse repository at this point
Copy the full SHA e2eb004View commit details -
Configuration menu - View commit details
-
Copy full SHA for 715323e - Browse repository at this point
Copy the full SHA 715323eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 225abee - Browse repository at this point
Copy the full SHA 225abeeView commit details -
Configuration menu - View commit details
-
Copy full SHA for 05dc150 - Browse repository at this point
Copy the full SHA 05dc150View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1af9102 - Browse repository at this point
Copy the full SHA 1af9102View commit details -
Configuration menu - View commit details
-
Copy full SHA for ff1b5f0 - Browse repository at this point
Copy the full SHA ff1b5f0View commit details -
Configuration menu - View commit details
-
Copy full SHA for d5a114b - Browse repository at this point
Copy the full SHA d5a114bView commit details -
Configuration menu - View commit details
-
Copy full SHA for d350525 - Browse repository at this point
Copy the full SHA d350525View commit details -
Configuration menu - View commit details
-
Copy full SHA for 9166c8b - Browse repository at this point
Copy the full SHA 9166c8bView commit details -
Configuration menu - View commit details
-
Copy full SHA for 800110e - Browse repository at this point
Copy the full SHA 800110eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 9aaade6 - Browse repository at this point
Copy the full SHA 9aaade6View commit details -
Configuration menu - View commit details
-
Copy full SHA for 055aa14 - Browse repository at this point
Copy the full SHA 055aa14View commit details -
Configuration menu - View commit details
-
Copy full SHA for ccc8d23 - Browse repository at this point
Copy the full SHA ccc8d23View commit details -
Configuration menu - View commit details
-
Copy full SHA for 97ec482 - Browse repository at this point
Copy the full SHA 97ec482View commit details -
Configuration menu - View commit details
-
Copy full SHA for 4a47cfc - Browse repository at this point
Copy the full SHA 4a47cfcView commit details -
Configuration menu - View commit details
-
Copy full SHA for 420eaef - Browse repository at this point
Copy the full SHA 420eaefView commit details -
Configuration menu - View commit details
-
Copy full SHA for b546c2a - Browse repository at this point
Copy the full SHA b546c2aView commit details -
Configuration menu - View commit details
-
Copy full SHA for b8458c6 - Browse repository at this point
Copy the full SHA b8458c6View commit details -
Configuration menu - View commit details
-
Copy full SHA for df75f77 - Browse repository at this point
Copy the full SHA df75f77View commit details -
Configuration menu - View commit details
-
Copy full SHA for 5665367 - Browse repository at this point
Copy the full SHA 5665367View commit details -
Configuration menu - View commit details
-
Copy full SHA for fdac0ca - Browse repository at this point
Copy the full SHA fdac0caView commit details -
Configuration menu - View commit details
-
Copy full SHA for 3fa061c - Browse repository at this point
Copy the full SHA 3fa061cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 498d245 - Browse repository at this point
Copy the full SHA 498d245View commit details -
Configuration menu - View commit details
-
Copy full SHA for 0843cec - Browse repository at this point
Copy the full SHA 0843cecView commit details -
Configuration menu - View commit details
-
Copy full SHA for ac8175c - Browse repository at this point
Copy the full SHA ac8175cView commit details -
Configuration menu - View commit details
-
Copy full SHA for f18d295 - Browse repository at this point
Copy the full SHA f18d295View commit details -
Configuration menu - View commit details
-
Copy full SHA for 2ede396 - Browse repository at this point
Copy the full SHA 2ede396View commit details -
Configuration menu - View commit details
-
Copy full SHA for f6ea183 - Browse repository at this point
Copy the full SHA f6ea183View commit details -
Configuration menu - View commit details
-
Copy full SHA for 68edcc8 - Browse repository at this point
Copy the full SHA 68edcc8View commit details -
Configuration menu - View commit details
-
Copy full SHA for bfeec91 - Browse repository at this point
Copy the full SHA bfeec91View commit details -
Configuration menu - View commit details
-
Copy full SHA for 967f996 - Browse repository at this point
Copy the full SHA 967f996View commit details -
Configuration menu - View commit details
-
Copy full SHA for 8b80dc4 - Browse repository at this point
Copy the full SHA 8b80dc4View commit details -
Configuration menu - View commit details
-
Copy full SHA for 605059b - Browse repository at this point
Copy the full SHA 605059bView commit details -
Configuration menu - View commit details
-
Copy full SHA for 880a87c - Browse repository at this point
Copy the full SHA 880a87cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 6fa92da - Browse repository at this point
Copy the full SHA 6fa92daView commit details -
Configuration menu - View commit details
-
Copy full SHA for 1ee940e - Browse repository at this point
Copy the full SHA 1ee940eView commit details -
Configuration menu - View commit details
-
Copy full SHA for b26d4ce - Browse repository at this point
Copy the full SHA b26d4ceView commit details -
Configuration menu - View commit details
-
Copy full SHA for e03e571 - Browse repository at this point
Copy the full SHA e03e571View commit details -
Configuration menu - View commit details
-
Copy full SHA for dbc24ee - Browse repository at this point
Copy the full SHA dbc24eeView commit details -
Configuration menu - View commit details
-
Copy full SHA for cfa7686 - Browse repository at this point
Copy the full SHA cfa7686View commit details -
Configuration menu - View commit details
-
Copy full SHA for 6c489a8 - Browse repository at this point
Copy the full SHA 6c489a8View commit details -
Configuration menu - View commit details
-
Copy full SHA for bc2584f - Browse repository at this point
Copy the full SHA bc2584fView commit details -
Configuration menu - View commit details
-
Copy full SHA for b40beea - Browse repository at this point
Copy the full SHA b40beeaView commit details -
Configuration menu - View commit details
-
Copy full SHA for 70a83ae - Browse repository at this point
Copy the full SHA 70a83aeView commit details -
Configuration menu - View commit details
-
Copy full SHA for 169330e - Browse repository at this point
Copy the full SHA 169330eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 4b1b6c2 - Browse repository at this point
Copy the full SHA 4b1b6c2View commit details -
Configuration menu - View commit details
-
Copy full SHA for 7e806b1 - Browse repository at this point
Copy the full SHA 7e806b1View commit details -
Configuration menu - View commit details
-
Copy full SHA for f602146 - Browse repository at this point
Copy the full SHA f602146View commit details -
Configuration menu - View commit details
-
Copy full SHA for 6673741 - Browse repository at this point
Copy the full SHA 6673741View commit details -
Configuration menu - View commit details
-
Copy full SHA for e453c37 - Browse repository at this point
Copy the full SHA e453c37View commit details -
Configuration menu - View commit details
-
Copy full SHA for 0bf5e48 - Browse repository at this point
Copy the full SHA 0bf5e48View commit details -
Configuration menu - View commit details
-
Copy full SHA for bf25e81 - Browse repository at this point
Copy the full SHA bf25e81View commit details -
Configuration menu - View commit details
-
Copy full SHA for 359ec80 - Browse repository at this point
Copy the full SHA 359ec80View commit details -
Configuration menu - View commit details
-
Copy full SHA for 7f66830 - Browse repository at this point
Copy the full SHA 7f66830View commit details -
Configuration menu - View commit details
-
Copy full SHA for 957c8fc - Browse repository at this point
Copy the full SHA 957c8fcView commit details -
Configuration menu - View commit details
-
Copy full SHA for 44af846 - Browse repository at this point
Copy the full SHA 44af846View commit details -
Configuration menu - View commit details
-
Copy full SHA for 6e562ba - Browse repository at this point
Copy the full SHA 6e562baView commit details -
Configuration menu - View commit details
-
Copy full SHA for dec3600 - Browse repository at this point
Copy the full SHA dec3600View commit details -
Configuration menu - View commit details
-
Copy full SHA for dc8c755 - Browse repository at this point
Copy the full SHA dc8c755View commit details -
Configuration menu - View commit details
-
Copy full SHA for d5afe92 - Browse repository at this point
Copy the full SHA d5afe92View commit details -
Configuration menu - View commit details
-
Copy full SHA for ce1f2ef - Browse repository at this point
Copy the full SHA ce1f2efView commit details -
Configuration menu - View commit details
-
Copy full SHA for e19142b - Browse repository at this point
Copy the full SHA e19142bView commit details -
Configuration menu - View commit details
-
Copy full SHA for 91e3d1c - Browse repository at this point
Copy the full SHA 91e3d1cView commit details
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.