Commits

Branch selector

 master

User selector

bryangingechen

Datepicker

All time

Commit History

Commits on Nov 20, 2025

• ci: fix nolints branch not getting automatically merged (#31686)

  Show description for a015011
  bryangingechen

  committed
  a015011

  Copy full SHA for a015011

• ci: Notify Zulip on update dependencies workflow failure (#31465)

  Show description for b4a565c
  bryangingechen

  committed
  b4a565c

  Copy full SHA for b4a565c

• ci(check_pr_titles.yaml): don't check closed PRs, but check on reopen (#31834)

  Show description for f8453ad
  bryangingechen

  committed
  f8453ad

  Copy full SHA for f8453ad

Commits on Nov 19, 2025

• ci(check_pr_titles.yaml): fix handling of labels (#31827)

  Show description for 6ff93aa
  bryangingechen

  committed
  6ff93aa

  Copy full SHA for 6ff93aa

• ci(check_pr_titles.yaml): fix conditional, skip bors title edits (#31814)

  Show description for 17991a0
  bryangingechen

  committed
  17991a0

  Copy full SHA for 17991a0

Commits on Nov 16, 2025

• ci: more robust step for finding branch SHA (#31647)

  Show description for ad50da1
  bryangingechen

  committed
  ad50da1

  Copy full SHA for ad50da1

Commits on Nov 10, 2025

• fix: broken lakefile.lean (#31457)

  Show description for 5978625
  bryangingechen

  committed
  5978625

  Copy full SHA for 5978625

Commits on Nov 7, 2025

• ci(update_dependencies): fix conditions for running create-pull-request (#31344)

  Show description for b8da199
  bryangingechen

  committed
  b8da199

  Copy full SHA for b8da199

• ci(update_dependencies.yml): force push to PR branch if there's a merge conflict (#31245)

  Show description for 4c66852
  bryangingechen

  committed
  4c66852

  Copy full SHA for 4c66852

Commits on Nov 6, 2025

• ci: fix step trying to use landrun before required directory is created (#31329)

  Show description for 3032afa
  bryangingechen

  committed
  3032afa

  Copy full SHA for 3032afa

• ci: fix concurrency for pull request builds (#31316)

  Show description for c7f32ea
  bryangingechen

  committed
  c7f32ea

  Copy full SHA for c7f32ea

Commits on Nov 5, 2025

• ci: remove wrapper from lake build --no-build step, add to test & lint steps (#31163)

  Show description for 7df0b99
  bryangingechen

  committed
  7df0b99

  Copy full SHA for 7df0b99

Commits on Nov 3, 2025

• ci(daily.yml): link to specific step in Zulip message (#31096)

  Show description for 39b9e8b
  bryangingechen

  committed
  39b9e8b

  Copy full SHA for 39b9e8b

Commits on Nov 1, 2025

• ci: only run deprecated declaration removal if a PR doesn't already exist (#30901)

  Show description for 9ef58ee
  bryangingechen

  committed
  9ef58ee

  Copy full SHA for 9ef58ee

Commits on Oct 31, 2025

• ci: wrapper script for grouping lake build output logs and extracting issues (#30852)

  Show description for ed52e23
  bryangingechen

  committed
  ed52e23

  Copy full SHA for ed52e23

• chore: update PR template (#31030)

  Show description for 49d8bb1
  bryangingechen

  committed
  49d8bb1

  Copy full SHA for 49d8bb1

Commits on Oct 29, 2025

• ci: fix concurrency group (#31032)

  Show description for a2b14f1
  bryangingechen

  committed
  a2b14f1

  Copy full SHA for a2b14f1

Commits on Oct 23, 2025

• chore: revert #30788 and #30785 (#30807)

  bryangingechen

  authored
  4cc49eb

  Copy full SHA for 4cc49eb

Commits on Oct 22, 2025

• chore: revert #30740 and #30748 (#30788)

  Show description for 2521caa
  bryangingechen

  authored
  2521caa

  Copy full SHA for 2521caa

• chore: Revert "chore: bump toolchain to v4.25.0-rc2 (#30772)" (#30785)

  Show description for e8336e1
  bryangingechen

  committed
  e8336e1

  Copy full SHA for e8336e1

Commits on Oct 10, 2025

• ci(update_dependencies.yml): use lake-manifest.json in working directory rather than HEAD (#30381)

  Show description for 5da8203
  bryangingechen

  committed
  5da8203

  Copy full SHA for 5da8203

Commits on Oct 7, 2025

• ci(label_new_contributor.yml): only trigger when PR is opened (#30162)

  Show description for 14831fe
  bryangingechen

  committed
  14831fe

  Copy full SHA for 14831fe

• ci: remove "CI Success" job (#30283)

  Show description for 68d6b9a
  bryangingechen

  committed
  68d6b9a

  Copy full SHA for 68d6b9a

Commits on Oct 1, 2025

• ci(nolints.yml): use peter-evans/create-pull-request instead of bash script (#30096)

  Show description for 486ed12
  bryangingechen

  committed
  486ed12

  Copy full SHA for 486ed12

• ci(update_dependencies.yml): skip force pushing if lake-manifest.json was not modified (#30095)

  Show description for 4853a8d
  

  bryangingechen

  and

  adomani

  committed
  4853a8d

  Copy full SHA for 4853a8d

Commits on Sep 17, 2025

• chore: update plausible (#29757)

  Show description for 3366766
  

  bryangingechen

  and

  Rob23oba

  committed
  3366766

  Copy full SHA for 3366766

Commits on Sep 16, 2025

• ci: enable new version of gh-get-current-pr workflow on PRs from forks (#29726)

  Show description for 620bf58
  bryangingechen

  committed
  620bf58

  Copy full SHA for 620bf58

Commits on Sep 13, 2025

• ci: fix delegated reaction being triggered by bors failure message (#29612)

  Show description for 9c51fb9
  bryangingechen

  committed
  9c51fb9

  Copy full SHA for 9c51fb9

Commits on Sep 12, 2025

• ci: add delegated reaction on Zulip in response to bors failure comment (#29606)

  Show description for ec25e80
  bryangingechen

  committed
  ec25e80

  Copy full SHA for ec25e80

• chore: update lint-style-action to 2025-08-18 (#29575)

  Show description for ec58e7e
  bryangingechen

  committed
  ec58e7e

  Copy full SHA for ec58e7e

Commits on Sep 7, 2025

• chore: update gh-get-current-pr workflow to v4 (#29392)

  Show description for 53614a7
  bryangingechen

  committed
  53614a7

  Copy full SHA for 53614a7

Commits on Sep 3, 2025

• chore: enable staging CI on mathlib4-nightly-testing (#29255)

  Show description for 4d9150d
  bryangingechen

  committed
  4d9150d

  Copy full SHA for 4d9150d

Commits on Sep 1, 2025

• chore: clean up porting note left after #28324 (#28742)

  Show description for 82d52d0
  bryangingechen

  committed
  82d52d0

  Copy full SHA for 82d52d0

Commits on Aug 29, 2025

• fix(Cache): add put* commands to leanTarArgs (#28164)

  Show description for c59884f
  bryangingechen

  committed
  c59884f

  Copy full SHA for c59884f

Commits on Aug 27, 2025

• chore: disable scheduled runs of stale issues workflow (#25724)

  Show description for 564aa0a
  bryangingechen

  committed
  564aa0a

  Copy full SHA for 564aa0a

Pagination

Previous

Next