File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1010 checks :
1111 runs-on : ubuntu-latest
1212 steps :
13- - uses : actions/checkout@11d5960a326750d5838078e36cf38b85af677262 # v4
13+ - uses : actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
1414 with :
1515 persist-credentials : false
1616 - uses : prefix-dev/setup-pixi@a09b6247153796b190642a2b53fac4241043cf6f # v0.10.0
Original file line number Diff line number Diff line change 1212 copy-packages-noetic :
1313 runs-on : ubuntu-latest
1414 steps :
15- - uses : actions/checkout@fbc6f3992d24b796d5a048ff273f7fcc4a7b6c09 # v5
15+ - uses : actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
1616 with :
1717 persist-credentials : false
1818 - uses : prefix-dev/setup-pixi@a09b6247153796b190642a2b53fac4241043cf6f # v0.10.0
2525 copy-packages-humble :
2626 runs-on : ubuntu-latest
2727 steps :
28- - uses : actions/checkout@fbc6f3992d24b796d5a048ff273f7fcc4a7b6c09 # v5
28+ - uses : actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
2929 with :
3030 persist-credentials : false
3131 - uses : prefix-dev/setup-pixi@a09b6247153796b190642a2b53fac4241043cf6f # v0.10.0
Original file line number Diff line number Diff line change 1414 contents : write
1515 steps :
1616 # ghp-import pushes with the credentials persisted by checkout
17- - uses : actions/checkout@11d5960a326750d5838078e36cf38b85af677262 # v4
17+ - uses : actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
1818 - uses : prefix-dev/setup-pixi@a09b6247153796b190642a2b53fac4241043cf6f # v0.10.0
1919 - run : pixi run gh-deploy
Original file line number Diff line number Diff line change 1414 contents : write
1515 steps :
1616 - name : Checkout robostack.github.io
17- uses : actions/checkout@11d5960a326750d5838078e36cf38b85af677262 # v4
17+ uses : actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
1818 with :
1919 persist-credentials : false
2020 - uses : prefix-dev/setup-pixi@a09b6247153796b190642a2b53fac4241043cf6f # v0.10.0
Original file line number Diff line number Diff line change 1414 pixi-upgrade :
1515 runs-on : ubuntu-latest
1616 steps :
17- - uses : actions/checkout@11d5960a326750d5838078e36cf38b85af677262 # v4
17+ - uses : actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
1818 with :
1919 persist-credentials : false
2020 - name : Set up pixi
You can’t perform that action at this time.
0 commit comments