Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

test: autolabel A #17166

Closed
wants to merge 55 commits into from
Closed

test: autolabel A #17166

wants to merge 55 commits into from

Commits on Aug 18, 2024

  1. feat: add autolabelling of PRs

    @adomani
    adomani committed Aug 18, 2024
    Configuration menu
    Copy the full SHA
    6536d53 View commit details
    Browse the repository at this point in the history

  2. fix test

    @adomani
    adomani committed Aug 18, 2024
    Configuration menu
    Copy the full SHA
    64fdaad View commit details
    Browse the repository at this point in the history

Commits on Aug 30, 2024

  1. Update Mathlib/Tactic/Autolabels/EnvExtension.lean 

    Co-authored-by: Johan Commelin <[email protected]>
    @adomani @jcommelin
    adomani and jcommelin authored Aug 30, 2024
    Configuration menu
    Copy the full SHA
    7a1df6e View commit details
    Browse the repository at this point in the history

Commits on Sep 5, 2024

  1. Comments to address Jon's review

    @adomani
    adomani committed Sep 5, 2024
    Configuration menu
    Copy the full SHA
    2a9d807 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/master' into adomani/autolabels_… 

    …in_lean
    @adomani
    adomani committed Sep 5, 2024
    Configuration menu
    Copy the full SHA
    a7f9140 View commit details
    Browse the repository at this point in the history

  3. update deprecations, use simple extension, sort output

    @adomani
    adomani committed Sep 5, 2024
    Configuration menu
    Copy the full SHA
    8869066 View commit details
    Browse the repository at this point in the history

Commits on Sep 11, 2024

  1. remove cache get step

    @adomani
    adomani committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    e6872d2 View commit details
    Browse the repository at this point in the history

Commits on Sep 15, 2024

  1. use tee

    @adomani
    adomani committed Sep 15, 2024
    Configuration menu
    Copy the full SHA
    c93053b View commit details
    Browse the repository at this point in the history

  2. remove clutter

    @adomani
    adomani committed Sep 15, 2024
    Configuration menu
    Copy the full SHA
    f8fbcd3 View commit details
    Browse the repository at this point in the history

  3. fix

    @adomani
    adomani committed Sep 15, 2024
    Configuration menu
    Copy the full SHA
    5b7e9c4 View commit details
    Browse the repository at this point in the history

Commits on Sep 23, 2024

  1. reimplementation

    @joneugster
    joneugster committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    5db3a3b View commit details
    Browse the repository at this point in the history

  2. add gh functionality

    @joneugster
    joneugster committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    935552e View commit details
    Browse the repository at this point in the history

  3. add env

    @joneugster
    joneugster committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    0ec6a5b View commit details
    Browse the repository at this point in the history

  4. debug

    @joneugster
    joneugster committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    d22a5b5 View commit details
    Browse the repository at this point in the history

  5. fix

    @joneugster
    joneugster committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    2514dee View commit details
    Browse the repository at this point in the history

  6. what's the checkout dance

    @joneugster
    joneugster committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    039e3b9 View commit details
    Browse the repository at this point in the history

  7. debug

    @joneugster
    joneugster committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    58ec715 View commit details
    Browse the repository at this point in the history

  8. fix

    @joneugster
    joneugster committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    2b37c61 View commit details
    Browse the repository at this point in the history

  9. simplify logic

    @joneugster
    joneugster committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    387eaf2 View commit details
    Browse the repository at this point in the history

  10. cleanup workflow

    @joneugster
    joneugster committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    c7331a0 View commit details
    Browse the repository at this point in the history

  11. delete old approach

    @joneugster
    joneugster committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    468e4d9 View commit details
    Browse the repository at this point in the history

  12. doc

    @joneugster
    joneugster committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    91a3909 View commit details
    Browse the repository at this point in the history

  13. use 'gh pr'

    @joneugster
    joneugster committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    52027f1 View commit details
    Browse the repository at this point in the history

  14. fix label mapping

    @joneugster
    joneugster committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    7daf92f View commit details
    Browse the repository at this point in the history

Commits on Sep 24, 2024

  1. code review by adomani

    @joneugster
    joneugster committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    6e1520e View commit details
    Browse the repository at this point in the history

  2. code review by grunweg

    @joneugster
    joneugster committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    11323cd View commit details
    Browse the repository at this point in the history

  3. unicode fun

    @joneugster
    joneugster committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    5ebde10 View commit details
    Browse the repository at this point in the history

  4. error on multiple arguments

    @joneugster
    joneugster committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    8a87f44 View commit details
    Browse the repository at this point in the history

  5. adding tests; incorporating feedback

    @joneugster
    joneugster committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    2a9a253 View commit details
    Browse the repository at this point in the history

  6. implement autodetection of folder name

    @joneugster
    joneugster committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    703923a View commit details
    Browse the repository at this point in the history

  7. typo

    @joneugster
    joneugster committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    bf008de View commit details
    Browse the repository at this point in the history

  8. Apply suggestions from code review 

    Co-authored-by: grunweg <[email protected]>
    @joneugster @grunweg
    joneugster and grunweg authored Sep 24, 2024
    Configuration menu
    Copy the full SHA
    e7d4ad4 View commit details
    Browse the repository at this point in the history

  9. test workflow failure

    @joneugster
    joneugster committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    d282ed6 View commit details
    Browse the repository at this point in the history

  10. undo test

    @joneugster
    joneugster committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    b0d8c74 View commit details
    Browse the repository at this point in the history

  11. add test ensuring all content folders are covered

    @joneugster
    joneugster committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    f858411 View commit details
    Browse the repository at this point in the history

  12. move test to executable call

    @joneugster
    joneugster committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    2334e69 View commit details
    Browse the repository at this point in the history

  13. test

    @joneugster
    joneugster committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    46c4c05 View commit details
    Browse the repository at this point in the history

  14. undo tests

    @joneugster
    joneugster committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    87b7b0a View commit details
    Browse the repository at this point in the history

  15. remove action triggering on push

    @joneugster
    joneugster committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    31030f0 View commit details
    Browse the repository at this point in the history

  16. cleanup

    @joneugster
    joneugster committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    dc82420 View commit details
    Browse the repository at this point in the history

  17. Update scripts/autolabel.lean 

    Co-authored-by: damiano <[email protected]>
    @joneugster @adomani
    joneugster and adomani authored Sep 24, 2024
    Configuration menu
    Copy the full SHA
    f82c300 View commit details
    Browse the repository at this point in the history

  18. turn error/warnings into github annotations

    @joneugster
    joneugster committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    d38a6a2 View commit details
    Browse the repository at this point in the history

  19. fix

    @joneugster
    joneugster committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    b039a37 View commit details
    Browse the repository at this point in the history

  20. remove workflow_dispatch

    @joneugster
    joneugster committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    382dd5d View commit details
    Browse the repository at this point in the history

Commits on Sep 25, 2024

  1. update documentation about requiring gh

    @joneugster
    joneugster committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    47588c7 View commit details
    Browse the repository at this point in the history

  2. update "CI" label definiton 

    Co-authored-by: damiano <[email protected]>
    @joneugster @adomani
    joneugster and adomani authored Sep 25, 2024
    Configuration menu
    Copy the full SHA
    66f4bee View commit details
    Browse the repository at this point in the history

  3. Apply suggestions from code review 

    Co-authored-by: damiano <[email protected]>
    @joneugster @adomani
    joneugster and adomani authored Sep 25, 2024
    Configuration menu
    Copy the full SHA
    d2da3fe View commit details
    Browse the repository at this point in the history

Commits on Sep 26, 2024

  1. Apply suggestions from code review 

    Co-authored-by: Bryan Gin-ge Chen <[email protected]>
    @joneugster @bryangingechen
    joneugster and bryangingechen authored Sep 26, 2024
    Configuration menu
    Copy the full SHA
    0a8735f View commit details
    Browse the repository at this point in the history

  2. update line number of github annotations

    @joneugster
    joneugster committed Sep 26, 2024
    Configuration menu
    Copy the full SHA
    dd53deb View commit details
    Browse the repository at this point in the history

  3. update github annotations

    @joneugster
    joneugster committed Sep 26, 2024
    Configuration menu
    Copy the full SHA
    516f65c View commit details
    Browse the repository at this point in the history

  4. fixes

    @joneugster
    joneugster committed Sep 26, 2024
    Configuration menu
    Copy the full SHA
    ba612b1 View commit details
    Browse the repository at this point in the history

  5. typos

    @joneugster
    joneugster committed Sep 26, 2024
    Configuration menu
    Copy the full SHA
    dba7335 View commit details
    Browse the repository at this point in the history

  6. more verbose error message

    @joneugster
    joneugster committed Sep 26, 2024
    Configuration menu
    Copy the full SHA
    7756396 View commit details
    Browse the repository at this point in the history

  7. trigger workflow when modifying itself

    @joneugster
    joneugster committed Sep 26, 2024
    Configuration menu
    Copy the full SHA
    8fdf59c View commit details
    Browse the repository at this point in the history

  8. initial test

    @joneugster
    joneugster committed Sep 26, 2024
    Configuration menu
    Copy the full SHA
    78199af View commit details
    Browse the repository at this point in the history