Skip to content
This repository has been archived by the owner on Apr 26, 2024. It is now read-only.

Minor speedups to CI linting #13827

Merged
merged 3 commits into from
Sep 16, 2022
Merged

Minor speedups to CI linting #13827

merged 3 commits into from
Sep 16, 2022

Commits on Sep 16, 2022

  1. Remove unnecessary fetch-depth: 0

    David Robertson committed Sep 16, 2022
    Configuration menu
    Copy the full SHA
    b6376b2 View commit details
    Browse the repository at this point in the history

  2. Use poetry action (which has some caching)

    David Robertson committed Sep 16, 2022
    Configuration menu
    Copy the full SHA
    fc9d9ef View commit details
    Browse the repository at this point in the history

  3. Changelog

    David Robertson committed Sep 16, 2022
    Configuration menu
    Copy the full SHA
    c92eab4 View commit details
    Browse the repository at this point in the history