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
185 workflow runs
185 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
feat: mention congrm in the congr() documentation Message Zulip when a PR is opened #185: Pull request #833 opened by Vierkantor
15s
15s
doc: mention deprecations script Message Zulip when a PR is opened #184: Pull request #831 opened by JadAbouHawili
9s
9s
chore: add ITP25 papers to bibliography Message Zulip when a PR is opened #183: Pull request #830 opened by robertylewis
8s
8s
feat: a how-to guide for understanding and using congr() Message Zulip when a PR is opened #182: Pull request #829 opened by Vierkantor
10s
10s
feat(policy): require human-written comments on github and zulip Message Zulip when a PR is opened #181: Pull request #828 opened by grunweg
6s
6s
New contributors are not allowed to use AI Message Zulip when a PR is opened #180: Pull request #827 opened by EtienneC30
8s
8s
Fix typo in documentation description Message Zulip when a PR is opened #179: Pull request #826 opened by ldct
7s
7s
Fix typo in documentation description Message Zulip when a PR is opened #178: Pull request #825 opened by ldct
11s
11s
feat: add tutorial entry for Analysis 1 Message Zulip when a PR is opened #177: Pull request #824 opened by ldct
10s
10s
Add course 'Mathematics meets Computer: From formal Proofs to AI' Message Zulip when a PR is opened #176: Pull request #823 opened by nimarasekh
7s
7s
Update PR guidelines to refer to pull request conventions Message Zulip when a PR is opened #175: Pull request #822 opened by JadAbouHawili
7s
7s
Add Lean 4 Metaprogramming Cookbook entry Message Zulip when a PR is opened #174: Pull request #821 opened by siddhartha-gadgil
10s
10s
feat(style guide): add a note on Unicode usage Message Zulip when a PR is opened #173: Pull request #820 opened by adomasbaliuka
9s
9s
comment about closing low quality IA-generated PR Message Zulip when a PR is opened #172: Pull request #819 opened by joelriou
7s
7s
Add LeanW26 course Message Zulip when a PR is opened #171: Pull request #817 opened by klavins
11s
11s
feat: add reviewer name Message Zulip when a PR is opened #170: Pull request #816 opened by themathqueen
10s
10s
rule for benchmarking refactor PRs Message Zulip when a PR is opened #169: Pull request #815 opened by bryangingechen
8s
8s
feat: update the style guide to the module system Message Zulip when a PR is opened #168: Pull request #814 opened by YaelDillies
7s
7s
fix: update LFTCM 2026 URL to official website Message Zulip when a PR is opened #167: Pull request #813 opened by riccardobrasca
7s
7s
add some words about banning Message Zulip when a PR is opened #166: Pull request #812 opened by faenuccio
7s
7s
feat: document to merge, not rebase Message Zulip when a PR is opened #165: Pull request #811 opened by grunweg
6s
6s
feat: clarify that AI-generated feature PRs are often counterproductive Message Zulip when a PR is opened #164: Pull request #810 opened by grunweg
8s
8s
fix: correct FMPSI'26 end date from 2027 to 2026 Message Zulip when a PR is opened #163: Pull request #809 opened by riccardobrasca
8s
8s
chore: add FMPSI and Axiom events Message Zulip when a PR is opened #162: Pull request #808 opened by grunweg
6s
6s
feat: add "Updated at" to mathlib_stats Message Zulip when a PR is opened #161: Pull request #807 opened by bryangingechen
6s
6s