ci: remove patch file and cleanup justfile
This commit is contained in:
parent
9c48c8bf18
commit
b4bc093eca
2 changed files with 1 additions and 20 deletions
|
|
@ -1,7 +1,6 @@
|
|||
# Perform all necessary steps to update the PR checks
|
||||
update-pr-checks:
|
||||
python3 -m venv env
|
||||
env/bin/activate
|
||||
source env/bin/activate
|
||||
pip3 install ruamel.yaml
|
||||
python3 sync.py
|
||||
git apply pr-checks.patch
|
||||
|
|
|
|||
|
|
@ -1,18 +0,0 @@
|
|||
diff --git a/.github/workflows/__test-proxy.yml b/.github/workflows/__test-proxy.yml
|
||||
index b6831b7a0..3be758b02 100644
|
||||
--- a/.github/workflows/__test-proxy.yml
|
||||
+++ b/.github/workflows/__test-proxy.yml
|
||||
@@ -45,6 +45,13 @@ jobs:
|
||||
python-version: '3.11'
|
||||
- name: Check out repository
|
||||
uses: actions/checkout@v4
|
||||
+ - name: Set up GitHub CLI
|
||||
+ run: |
|
||||
+ curl -fsSL https://cli.github.com/packages/githubcli-archive-keyring.gpg | sudo dd of=/usr/share/keyrings/githubcli-archive-keyring.gpg
|
||||
+ sudo apt-key add /usr/share/keyrings/githubcli-archive-keyring.gpg
|
||||
+ sudo apt-add-repository https://cli.github.com/packages
|
||||
+ sudo apt-get update
|
||||
+ sudo apt-get install gh
|
||||
- name: Prepare test
|
||||
id: prepare-test
|
||||
uses: ./.github/actions/prepare-test
|
||||
Loading…
Add table
Add a link
Reference in a new issue