Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit history

Commits on Jan 24, 2022

• chore(ci): remove working directory on self-hosted (#11645)

  Show description for 32052b8
  gebner

  committed
  32052b8

  Copy full SHA for 32052b8

Commits on Jan 11, 2022

• feat(scripts/lint_mathlib): implement github annotations for mathlib linters (#11345)

  Show description for be4c5aa
  alexjbest

  committed
  be4c5aa

  Copy full SHA for be4c5aa

Commits on Jan 5, 2022

• chore(ci): update some workflows to use custom bot token (#11274)

  Show description for 9f28b5d
  robertylewis

  committed
  9f28b5d

  Copy full SHA for 9f28b5d

Commits on Jan 4, 2022

• chore(.github): include co-author attributions in PR template (#11239)

  robertylewis

  committed
  dc352a6

  Copy full SHA for dc352a6

Commits on Dec 23, 2021

• ci(.github/workflows/*): cleanup after upload step (#11008)

  Show description for 63a0936
  bryangingechen

  committed
  63a0936

  Copy full SHA for 63a0936

Commits on Oct 30, 2021

• ci(.github/workflows/bors.yml): "bors" label for staging builds (#10064)

  bryangingechen

  committed
  7ef3262

  Copy full SHA for 7ef3262

Commits on Oct 5, 2021

• ci(.github/workflows): automatically remove awaiting-CI label (#9491)

  Show description for 61cd266
  bryangingechen

  committed
  61cd266

  Copy full SHA for 61cd266

Commits on Oct 4, 2021

• fix(ci): always use python3 executable (#9531)

  Show description for f6c77be
  gebner

  committed
  f6c77be

  Copy full SHA for f6c77be

Commits on Sep 14, 2021

• ci(.github/workflows/*): lint PR style on GitHub runners (#9198)

  Show description for ec118dd
  bryangingechen

  committed
  ec118dd

  Copy full SHA for ec118dd

Commits on Jul 4, 2021

• ci(.github/workflows/*): switch to self-hosted runners (#8177)

  Show description for 180d004
  

  bryangingechen

  and

  gebner

  committed
  180d004

  Copy full SHA for 180d004

Commits on Jun 21, 2021

• perf(ci): use self-hosted runner for bors (#8024)

  Show description for 2fb0842
  gebner

  committed
  2fb0842

  Copy full SHA for 2fb0842

Commits on May 17, 2021

• ci(.github/workflows/build.yml): check counterexamples (#7618)

  Show description for 72e4cca
  bryangingechen

  committed
  72e4cca

  Copy full SHA for 72e4cca

Commits on May 11, 2021

• perf(ci): skip linting and tests on master branch (#7576)

  Show description for 9191a67
  gebner

  committed
  9191a67

  Copy full SHA for 9191a67

Commits on May 7, 2021

• ci(.github/workflows/{build,dependent-issues}.yml): auto-cancel workflows on previous commits (#7536)

  Show description for 6a7ddcc
  bryangingechen

  committed
  6a7ddcc

  Copy full SHA for 6a7ddcc

• ci(.github/workflows/build.yml): switch to trepplein (#7532)

  Show description for 93f9b3d
  gebner

  committed
  93f9b3d

  Copy full SHA for 93f9b3d

Commits on Apr 22, 2021

• fix(.github/workflows): missing closing parentheses in add_label_from_*.yml (#7320)

  bryangingechen

  committed
  5ac093c

  Copy full SHA for 5ac093c

• chore(.github/workflows): add delegated tag on comment (#7251)

  Show description for 6deafc2
  bryangingechen

  committed
  6deafc2

  Copy full SHA for 6deafc2

Commits on Apr 17, 2021

• chore(.github/workflows/build.yml): update elan script URL (#7234)

  Show description for ce667c4
  bryangingechen

  committed
  ce667c4

  Copy full SHA for ce667c4

Commits on Apr 15, 2021

• fix(.github/PULL_REQUEST_TEMPLATE.md): revert gitpod button URL (#7210)

  Show description for 8742be7
  bryangingechen

  committed
  8742be7

  Copy full SHA for 8742be7

Commits on Apr 14, 2021

• hack(ci): run lean make twice (#7192)

  Show description for b3eabc1
  gebner

  committed
  b3eabc1

  Copy full SHA for b3eabc1

Commits on Apr 8, 2021

• fix(.github/PULL_REQUEST_TEMPLATE.md): Fix the gitpod button link, looks like it moved with an update (#7096)

  Show description for b9d9bf0
  alexjbest

  committed
  b9d9bf0

  Copy full SHA for b9d9bf0

Commits on Mar 12, 2021

• feat(.docker): Docker containers for debian, alpine, and gitpod (#6515)

  Show description for 2dabe5a
  kim-em

  committed
  2dabe5a

  Copy full SHA for 2dabe5a

Commits on Mar 11, 2021

• ci(.github/workflows/build.yml): do not install azcopy, change upload logic (#6613)

  Show description for a814e18
  bryangingechen

  committed
  a814e18

  Copy full SHA for a814e18

Commits on Feb 14, 2021

• chore(.github/PULL_REQUEST_TEMPLATE.md): clarify instructions (#6222)

  bryangingechen

  committed
  713432f

  Copy full SHA for 713432f

Commits on Feb 7, 2021

• fix(scripts): make lint-style.* work on macos and windows (#6047)

  Show description for 132b0fe
  Julian

  committed
  132b0fe

  Copy full SHA for 132b0fe

Commits on Jan 29, 2021

• fix(scripts): fix mixing absolute and relative paths to the linter (#5810)

  Show description for 783e11a
  Julian

  committed
  783e11a

  Copy full SHA for 783e11a

Commits on Jan 5, 2021

• chore(scripts/*): rename files of the style linter (#5605)

  Show description for 78dc23f
  jcommelin

  committed
  78dc23f

  Copy full SHA for 78dc23f

Commits on Dec 9, 2020

• ci(.github/workflows/dependent-issues.yml): automation for "blocked-by-other-PR" label (#5261)

  Show description for 698d6b7
  bryangingechen

  committed
  698d6b7

  Copy full SHA for 698d6b7

Commits on Oct 8, 2020

• fix(bors.toml, build.yml): check for new linter, rename linter to "Lint style" (#4539)

  Show description for a912455
  

  gebner

  and

  bryangingechen

  committed
  a912455

  Copy full SHA for a912455

• ci(*): run style lint in parallel job, fix update-copy-mod-doc-exceptions.sh (#4513)

  Show description for b4dc912
  bryangingechen

  committed
  b4dc912

  Copy full SHA for b4dc912

Commits on Oct 7, 2020

• ci(scripts/*): linting for copyright, imports, module docstrings, line length (#4486)

  Show description for 4db1c72
  

  9 peoplecommitted
  4db1c72

  Copy full SHA for 4db1c72

Commits on Oct 3, 2020

• chore(.github/workflows): github action for crossing off PR dependencies (#4367)

  Show description for 946ab02
  

  bryangingechen

  and

  jcommelin

  committed
  946ab02

  Copy full SHA for 946ab02

Commits on Sep 24, 2020

• fix(.github/workflows/add_label_from_review.yml): fix label removal (#4240)

  Show description for 02ca5e2
  bryangingechen

  committed
  02ca5e2

  Copy full SHA for 02ca5e2

Commits on Sep 14, 2020

• chore(ci): teach bors and GitHub about new labels (#4146)

  Show description for 8877606
  

  robertylewis

  and

  bryangingechen

  committed
  8877606

  Copy full SHA for 8877606

Commits on Sep 3, 2020

• ci(scripts/detect_errors.py): enforce silent builds (#4025)

  Show description for 49173c0
  

  fpvandoorn

  and

  bryangingechen

  committed
  49173c0

  Copy full SHA for 49173c0