Skip to content

Actions: leanprover-community/leanprover-community.github.io

Actions

Message Zulip when a PR is opened

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
message_zulip_on_prs.yml
137 workflow runs
137 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: switch deploy token to GitHub apps token Message Zulip when a PR is opened #137: Pull request #783 opened by bryangingechen
9s
9s
feat(style): explicit types Message Zulip when a PR is opened #136: Pull request #782 opened by fpvandoorn
7s
7s
docs: add "How do I cite mathlib?" page Message Zulip when a PR is opened #135: Pull request #781 opened by kim-em
8s
8s
chore: update labels which can be added through comments Message Zulip when a PR is opened #134: Pull request #780 opened by joneugster
7s
7s
docs(mwe): add section on bug reports, #guard_msgs, and minimizers Message Zulip when a PR is opened #133: Pull request #779 opened by kim-em
8s
8s
chore: topic labels can be managed by a comment Message Zulip when a PR is opened #132: Pull request #778 opened by SnirBroshi
10s
10s
doc: update Mathlib PR workflow for fork-based contributions Message Zulip when a PR is opened #131: Pull request #777 opened by kim-em
9s
9s
doc: replace Std/Std4 references with Batteries Message Zulip when a PR is opened #130: Pull request #776 opened by kim-em
10s
10s
chore: update list of labels that can be managed by comment Message Zulip when a PR is opened #129: Pull request #775 opened by bryangingechen
9s
9s
chore: rewriting of slop text in community guidelines Message Zulip when a PR is opened #128: Pull request #774 opened by kbuzzard
8s
8s
Fix a small typo in pitfalls page Message Zulip when a PR is opened #127: Pull request #773 opened by pevogam
11s
11s
feat(contribute/doc.md): describe tactic doc guidelines Message Zulip when a PR is opened #126: Pull request #772 opened by Vierkantor
7s
7s
Add Mathematics in Lean session at ICMS Message Zulip when a PR is opened #125: Pull request #771 opened by RemyDegenne
7s
7s
Adding course at Charles University, Prague Message Zulip when a PR is opened #124: Pull request #770 opened by mirefek
6s
6s
add AUB course on formal verification Message Zulip when a PR is opened #123: Pull request #769 opened by Rida-Hamadani
7s
7s
fix: broken link to MIL in pr-review.md Message Zulip when a PR is opened #122: Pull request #768 opened by SnirBroshi
7s
7s
feat: require disclosure of AI use in PR description Message Zulip when a PR is opened #121: Pull request #767 opened by grunweg
6s
6s
Add Lean-LMFDB workshop Message Zulip when a PR is opened #120: Pull request #766 opened by Multramate
8s
8s
chore: remove Mathlib namespace from library note links Message Zulip when a PR is opened #119: Pull request #765 opened by chenson2018
7s
7s
Add profiling and defeq guidance in style Message Zulip when a PR is opened #118: Pull request #764 opened by mattrobball
6s
6s
Add a course on Interactive Theorem Proving, 2026 @ Trento Message Zulip when a PR is opened #117: Pull request #763 opened by RobertoZunino
9s
9s
Fix(pitfalls.md): two typos and an external link Message Zulip when a PR is opened #116: Pull request #762 opened by AxelBoldt
8s
8s
fix(pitfalls.md): typo Message Zulip when a PR is opened #115: Pull request #761 opened by AxelBoldt
6s
6s
fix(pitfalls.md): remove repeated word Message Zulip when a PR is opened #114: Pull request #760 opened by AxelBoldt
10s
10s
Fix typos in pitfalls.md / Other partial functions Message Zulip when a PR is opened #113: Pull request #759 opened by AxelBoldt
12s
12s