Skip to content

Commit c209bfa

Browse files
committed
Prototype change
1 parent 73026bc commit c209bfa

File tree

1 file changed

+8
-18
lines changed

1 file changed

+8
-18
lines changed

action.yaml

Lines changed: 8 additions & 18 deletions
Original file line numberDiff line numberDiff line change
@@ -34,52 +34,42 @@ runs:
3434
steps:
3535
- name: Checkout code
3636
uses: actions/checkout@v6
37-
3837
- name: Set up Git
3938
shell: bash
4039
run: |
4140
git config user.name "Scientific Python [bot]"
4241
git config user.email "scientific-python@users.noreply.github.com"
43-
4442
- uses: prefix-dev/setup-pixi@v0.9.3
4543
name: Setup Pixi
4644
with:
4745
pixi-version: v0.49.0
4846
manifest-path: ${{ github.action_path }}/pyproject.toml
49-
50-
- name: Regenerate schedule file if necessary
47+
- name: Fetch Schedule from release
48+
uses: robinraju/release-downloader@v1.3
49+
with:
50+
repository: "savente93/SPEC0-schedule"
51+
latest: true
52+
fileName: "schedule.json"
53+
- name: Move schedule file
5154
shell: bash
5255
env:
5356
SCHEDULE_FILE: ${{ inputs.schedule_path }}
5457
GH_TOKEN: ${{ inputs.token }}
5558
run: |
5659
set -e
57-
if [ ! -f "${{ github.workspace }}/$SCHEDULE_FILE" ]; then
58-
echo "Regenerating schedule.json..."
59-
pixi run generate-schedule --locked
60-
if diff -q schedule.json "${{ github.workspace }}/$SCHEDULE_FILE" >/dev/null; then
61-
echo "Source and destination have identical contents - nothing to move."
62-
else
63-
mv schedule.json "${{ github.workspace }}/$SCHEDULE_FILE"
64-
fi
65-
else
66-
echo "Schedule file already exists at $SCHEDULE_FILE"
67-
fi
68-
60+
mv schedule.json "${{ github.workspace }}/$SCHEDULE_FILE"
6961
- name: Run update script
7062
shell: bash
7163
run: |
7264
set -e
7365
echo "Updating ${{inputs.project_file_name}} using schedule ${{inputs.schedule_path}}"
7466
pixi run --manifest-path ${{ github.action_path }}/pyproject.toml update-dependencies "${{ github.workspace }}/${{ inputs.project_file_name }}" "${{ github.workspace }}/${{ inputs.schedule_path }}"
75-
7667
- name: Show changes (dry-run)
7768
if: ${{ inputs.create_pr != 'true' }}
7869
shell: bash
7970
run: |
8071
echo "Dry run: showing changes that would be committed"
8172
git --no-pager diff ${{ inputs.project_file_name }}
82-
8373
- name: Create Pull Request
8474
if: ${{ inputs.create_pr == 'true' }}
8575
uses: peter-evans/create-pull-request@v7

0 commit comments

Comments
 (0)