2023-10-06 21:31:38 +00:00
|
|
|
on: [push]
|
|
|
|
|
jobs:
|
2023-10-12 15:06:34 +00:00
|
|
|
ls:
|
2023-10-21 15:35:04 +00:00
|
|
|
runs-on: docker
|
2023-10-06 21:31:38 +00:00
|
|
|
steps:
|
2024-04-26 12:22:00 +00:00
|
|
|
- name: Manually checkout
|
|
|
|
|
env:
|
|
|
|
|
REPO: '${{ github.repository }}'
|
|
|
|
|
TOKEN: '${{ secrets.GITHUB_TOKEN }}'
|
|
|
|
|
GIT_SERVER: 'git.php.fail'
|
|
|
|
|
run: |
|
|
|
|
|
git clone --branch $GITHUB_REF_NAME https://${TOKEN}@${GIT_SERVER}${REPO}.git .
|
|
|
|
|
git fetch
|
|
|
|
|
git checkout ${{ github.head_ref }}
|
|
|
|
|
- run: ls
|
2023-10-21 15:28:13 +00:00
|
|
|
- run: env | sort
|
