Skip to content
This repository has been archived by the owner on Nov 15, 2023. It is now read-only.

GHA updates and pin #1768

Merged
merged 4 commits into from
Oct 17, 2022
Merged

GHA updates and pin #1768

merged 4 commits into from
Oct 17, 2022

Commits on Oct 17, 2022

  1. Configuration menu
    Copy the full SHA
    320e2f5 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    e5c1cce View commit details
    Browse the repository at this point in the history
  3. Update and pin GHA deps

    chevdor committed Oct 17, 2022
    Configuration menu
    Copy the full SHA
    ba1298c View commit details
    Browse the repository at this point in the history
  4. Pin all external GHA deps

    chevdor committed Oct 17, 2022
    Configuration menu
    Copy the full SHA
    d9d9457 View commit details
    Browse the repository at this point in the history