feature/remove-cache #38

Merged
ahuston-0 merged 3 commits from feature/remove-cache into main 2025-03-12 23:12:33 -04:00
Showing only changes of commit 3361b8b3a7 - Show all commits

View File

@ -94,14 +94,13 @@ jobs:
run: nix ./utils/eval-to-drv.sh post
- name: Calculate diff
run: nix ./utils/diff-evals.sh
- name: Read diff into environment
run: |
delimiter="$(openssl rand -hex 8)"
{
echo "POSTDIFF<<${delimiter}"
cat post-diff
echo "${delimiter}"
} >> $GITHUB_ENV
- name: Read file contents
id: read_file
uses: andstor/file-reader-action@v1
with:
path: "post-diff"
- name: File contents
run: echo "${ steps.read_file.outputs.contents }"
- name: Write PR body template
uses: https://github.com/DamianReeves/write-file-action@v1.3
with:
@ -114,7 +113,7 @@ jobs:
```
```
{{ env.POSTDIFF }}
{{ steps.read_file.outputs.contents }}
```
Auto-generated by [update.yml][1] with the help of