Skip to content

Actions: leanprover/lean4

Actions

Check PR title for commit convention

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr-title.yml
10,432 workflow run results
10,432 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: CI: build 64-bit platforms consistently with GMP Check PR title for commit convention #10390: Pull request #5144 synchronize by Kha
October 18, 2024 14:41 16s Kha:gmp-again
Kha:gmp-again
October 18, 2024 14:41 16s
feat: add BitVec.(msb, getMsbD, getLsbD)_(neg, abs) Check PR title for commit convention #10389: Pull request #5721 synchronize by luisacicolini
October 18, 2024 14:02 12s opencompl:abs-neg-arith
opencompl:abs-neg-arith
October 18, 2024 14:02 12s
fix: include references in attributes in call hierarchy Check PR title for commit convention #10388: Pull request #5650 synchronize by Kha
October 18, 2024 12:26 11s Kha:push-lxvtzpmvwskk
Kha:push-lxvtzpmvwskk
October 18, 2024 12:26 11s
fix: include references in attributes in call hierarchy Check PR title for commit convention #10387: Pull request #5650 synchronize by Kha
October 18, 2024 12:23 13s Kha:push-lxvtzpmvwskk
Kha:push-lxvtzpmvwskk
October 18, 2024 12:23 13s
Check PR title for commit convention Check PR title for commit convention #10386: Merge group checks requested
October 18, 2024 11:13 13s
October 18, 2024 11:13 13s
chore: @hargoniX Std.Sat codeowner, fix Kim's user name Check PR title for commit convention #10385: Pull request #5765 synchronize by hargoniX
October 18, 2024 10:55 15s hbv/sat-codeowner
hbv/sat-codeowner
October 18, 2024 10:55 15s
chore: @hargoniX Std.Sat codeowner, fix Kim's user name Check PR title for commit convention #10384: Pull request #5765 edited by hargoniX
October 18, 2024 10:54 10s hbv/sat-codeowner
hbv/sat-codeowner
October 18, 2024 10:54 10s
Check PR title for commit convention Check PR title for commit convention #10383: Merge group checks requested
October 18, 2024 10:54 11s
October 18, 2024 10:54 11s
chore: @hargoniX Std.Sat codeowner, fix Kim's user name Check PR title for commit convention #10382: Pull request #5765 synchronize by hargoniX
October 18, 2024 10:53 13s hbv/sat-codeowner
hbv/sat-codeowner
October 18, 2024 10:53 13s
chore: @hargoniX Std.Sat codeowner, fix Kim's user name Check PR title for commit convention #10381: Pull request #5765 opened by hargoniX
October 18, 2024 10:52 11s hbv/sat-codeowner
hbv/sat-codeowner
October 18, 2024 10:52 11s
chore: check-prelude also for Std Check PR title for commit convention #10380: Pull request #5764 synchronize by TwoFX
October 18, 2024 10:30 16s check-prelude-std
check-prelude-std
October 18, 2024 10:30 16s
Check PR title for commit convention Check PR title for commit convention #10379: Merge group checks requested
October 18, 2024 10:17 10s
October 18, 2024 10:17 10s
chore: check-prelude also for Std Check PR title for commit convention #10378: Pull request #5764 synchronize by TwoFX
October 18, 2024 10:12 13s check-prelude-std
check-prelude-std
October 18, 2024 10:12 13s
chore: check-prelude also for Std Check PR title for commit convention #10377: Pull request #5764 synchronize by TwoFX
October 18, 2024 10:11 10s check-prelude-std
check-prelude-std
October 18, 2024 10:11 10s
chore: check-prelude also for Std Check PR title for commit convention #10376: Pull request #5764 opened by TwoFX
October 18, 2024 10:04 13s check-prelude-std
check-prelude-std
October 18, 2024 10:04 13s
chore: Winsdk experiments Check PR title for commit convention #10375: Pull request #5761 synchronize by TwoFX
October 18, 2024 09:49 10s winsdk-experiments
winsdk-experiments
October 18, 2024 09:49 10s
fix: duplicate info trees from IO.processCommandsIncrementally Check PR title for commit convention #10374: Pull request #5763 opened by Kha
October 18, 2024 09:29 9s Kha:push-mtywoktulkwt
Kha:push-mtywoktulkwt
October 18, 2024 09:29 9s
chore: pull intMin and intMax up Check PR title for commit convention #10373: Pull request #5762 edited by luisacicolini
October 18, 2024 08:52 10s opencompl:intmin-intmax-up
opencompl:intmin-intmax-up
October 18, 2024 08:52 10s
chore: pull intMin and intMax up Check PR title for commit convention #10372: Pull request #5762 edited by luisacicolini
October 18, 2024 08:52 10s opencompl:intmin-intmax-up
opencompl:intmin-intmax-up
October 18, 2024 08:52 10s
chore: Winsdk experiments Check PR title for commit convention #10371: Pull request #5761 synchronize by TwoFX
October 18, 2024 08:46 13s winsdk-experiments
winsdk-experiments
October 18, 2024 08:46 13s
chore: pull intMin and intMax up Check PR title for commit convention #10370: Pull request #5762 edited by luisacicolini
October 18, 2024 08:42 10s opencompl:intmin-intmax-up
opencompl:intmin-intmax-up
October 18, 2024 08:42 10s
chore: pull intMin and intMax up Check PR title for commit convention #10369: Pull request #5762 opened by luisacicolini
October 18, 2024 08:33 12s opencompl:intmin-intmax-up
opencompl:intmin-intmax-up
October 18, 2024 08:33 12s
feat: compile against Windows SDK headers under Windows Check PR title for commit convention #10368: Pull request #5753 edited by TwoFX
October 18, 2024 08:27 11s winsdk
winsdk
October 18, 2024 08:27 11s
feat: compile against Windows SDK headers under Windows Check PR title for commit convention #10367: Pull request #5753 edited by TwoFX
October 18, 2024 08:27 9s winsdk
winsdk
October 18, 2024 08:27 9s
feat: compile against Windows SDK headers under Windows Check PR title for commit convention #10366: Pull request #5753 synchronize by TwoFX
October 18, 2024 08:12 11s winsdk
winsdk
October 18, 2024 08:12 11s