Skip to content
Build Reproducibility Index

Bump log from 0.4.16 to 0.4.20 #30

Sign in to view logs

Bump log from 0.4.16 to 0.4.20

Bump log from 0.4.16 to 0.4.20 #30

Workflow file for this run

.github/workflows/reproducibility.yaml at 6c625c5
name: Build Reproducibility Index
# See https://docs.github.com/en/actions/learn-github-actions/workflow-syntax-for-github-actions#example-using-concurrency-to-cancel-any-in-progress-job-or-run
concurrency:
group: ${{ github.workflow }}-${{ github.head_ref || github.ref }}
cancel-in-progress: true
on:
push:
branches: [main]
pull_request:
branches: [main]
jobs:
build_reproducibility_index:
runs-on: ubuntu-20.04
permissions:
# Allow the job to update the repo with the latest index.
contents: write
# Allow the job to add a comment to the PR.
pull-requests: write
steps:
- name: Checkout branch
uses: actions/checkout@v2
- name: Checkout hashes
uses: actions/checkout@v2
with:
ref: hashes
path: out
# We need to set up git user details before we can perform git operations.
- name: Git setup
run: |
git config --global user.email "[email protected]"
git config --global user.name "GitHub Actions"
# Copied from https://github.com/jens-maus/RaspberryMatic/blob/ea6b8ce0dd2d53ea88b2766ba8d7f8e1d667281f/.github/workflows/ci.yml#L34-L40
- name: free disk space
run: |
df --human-readable
sudo swapoff --all
sudo rm --force /swapfile
sudo apt clean
docker rmi $(docker image ls --all --quiet)
df --human-readable
- name: Docker pull
timeout-minutes: 10
run: |
./scripts/docker_pull
df --human-readable
# Build artifacts that are supposed to be reproducible.
- name: Build Functions server
run: |
./scripts/docker_run ./scripts/xtask build-oak-functions-server-variants
# Generate an index of the hashes of the reproducible artifacts.
- name: Generate Reproducibility Index
run: |
./scripts/docker_run ./scripts/build_reproducibility_index
# Remove all files from the "out" folder.
- name: Clear "out" folder
run: rm --recursive --force ./out/*
- name: Copy Reproducibility Index
run: cp ./reproducibility_index ./out/
- name: Diff Reproducibility Index
run: |
cd ./out
git add .
git status
git diff --staged | tee ../reproducibility_index.diff
# Print out the index to the logs of the action.
- name: Print Reproducibility Index
run: cat ./reproducibility_index
# Print out the index diff (compared to the previous commit) to the logs of the action.
- name: Print Reproducibility Index diff
run: cat ./reproducibility_index.diff
# From the "out" folder, commit the results and push to the `hashes` branch.
# This step only applies to `push` events (not `pull_request`), even if there are no actual
# changes to commit in the "out" folder (in which case the commit will be empty, but it will
# still be part of the history).
- name: Commit and push (post-merge only)
if: github.event_name == 'push'
run: |
cd ./out
git add .
git status
git diff --staged
git commit --allow-empty --message="Update hashes from ${GITHUB_SHA}"
git push
# Also post a reply on the PR thread with the contents of the index, after merge.
- name: Post Reproducibility Index (post-merge only)
uses: actions/[email protected]
if: github.event_name == 'push'
with:
github-token: ${{secrets.GITHUB_TOKEN}}
script: |
const fs = require('fs').promises;
const reproducibility_index_content = await fs.readFile('./reproducibility_index');
const reproducibility_index_diff_content = await fs.readFile('./reproducibility_index.diff');
const opts = await github.repos.listPullRequestsAssociatedWithCommit({
owner: context.repo.owner,
repo: context.repo.repo,
commit_sha: context.sha
});
// See:
// - https://octokit.github.io/rest.js/v17#previews
// - https://developer.github.com/v3/repos/commits/#list-pull-requests-associated-with-commit
opts.mediaType = {
previews: ['groot']
};
const issues = await github.paginate(opts);
await github.issues.createComment({
issue_number: issues[0].number,
owner: context.repo.owner,
repo: context.repo.repo,
body: `Reproducibility Index:
\`\`\`
${reproducibility_index_content}
\`\`\`
Reproducibility Index diff:
\`\`\`diff
${reproducibility_index_diff_content}
\`\`\`
`});