Skip to content

Commit 9d8bba4

Browse files
committed
Prototype change
1 parent 73026bc commit 9d8bba4

1 file changed

Lines changed: 6 additions & 24 deletions

File tree

action.yaml

Lines changed: 6 additions & 24 deletions
Original file line numberDiff line numberDiff line change
@@ -34,52 +34,34 @@ 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
51-
shell: bash
52-
env:
53-
SCHEDULE_FILE: ${{ inputs.schedule_path }}
54-
GH_TOKEN: ${{ inputs.token }}
55-
run: |
56-
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-
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"
6953
- name: Run update script
7054
shell: bash
7155
run: |
7256
set -e
7357
echo "Updating ${{inputs.project_file_name}} using schedule ${{inputs.schedule_path}}"
7458
pixi run --manifest-path ${{ github.action_path }}/pyproject.toml update-dependencies "${{ github.workspace }}/${{ inputs.project_file_name }}" "${{ github.workspace }}/${{ inputs.schedule_path }}"
75-
7659
- name: Show changes (dry-run)
7760
if: ${{ inputs.create_pr != 'true' }}
7861
shell: bash
7962
run: |
8063
echo "Dry run: showing changes that would be committed"
8164
git --no-pager diff ${{ inputs.project_file_name }}
82-
8365
- name: Create Pull Request
8466
if: ${{ inputs.create_pr == 'true' }}
8567
uses: peter-evans/create-pull-request@v7

0 commit comments

Comments
 (0)