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

Update GitHub actions #1783

Merged
merged 3 commits into from
Aug 3, 2023
Merged

Update GitHub actions #1783

merged 3 commits into from
Aug 3, 2023

Commits on Jul 24, 2023

  1. Update GitHub actions

    @Eric-Arellano
    Eric-Arellano committed Jul 24, 2023
    Configuration menu
    Copy the full SHA
    2d106a9 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into update-ci-actions

    @Eric-Arellano
    Eric-Arellano authored Jul 24, 2023
    Configuration menu
    Copy the full SHA
    1658a96 View commit details
    Browse the repository at this point in the history

Commits on Jul 28, 2023

  1. Merge branch 'master' into update-ci-actions

    @mtreinish
    mtreinish authored Jul 28, 2023
    Configuration menu
    Copy the full SHA
    b7a764b View commit details
    Browse the repository at this point in the history