Daily Disk Digest #87

	name: Daily Disk Digest

	on:
	schedule:
	# Runs at 12:00 UTC (8am ET) every weekday — after arXiv's ~00:00 UTC daily announcement.
	# Note: GitHub scheduled workflows can be delayed by 15-60 minutes at busy times.
	# Adjust the time to suit your timezone. Uses standard cron syntax:
	# ┌─ minute (0-59)
	# │ ┌─ hour in UTC (0-23)
	# │ │ ┌─ day of month (1-31)
	# │ │ │ ┌─ month (1-12)
	# │ │ │ │ ┌─ day of week (0=Sun, 1=Mon ... 5=Fri)
	# │ │ │ │ │
	- cron: "0 12 * * 1-5"
	workflow_dispatch: # Also allows manual runs from the GitHub Actions tab

	permissions:
	contents: write # to commit posted-ids.json back after each run

	jobs:
	digest:
	runs-on: ubuntu-latest

	steps:
	- name: Checkout repo
	uses: actions/checkout@v5

	- name: Set up Node.js
	uses: actions/setup-node@v5
	with:
	node-version: "22"
	cache: "npm"

	- name: Install dependencies
	run: npm ci

	- name: Run Disk Digest
	env:
	SLACK_BOT_TOKEN: ${{ secrets.SLACK_BOT_TOKEN }}
	SLACK_CHANNEL_ID: ${{ secrets.SLACK_CHANNEL_ID }}
	PARLEY_API_KEY: ${{ secrets.PARLEY_API_KEY }}
	PARLEY_BASE_URL: ${{ secrets.PARLEY_BASE_URL }}
	run: node disk-digest.js

	# Persist the record of already-digested papers so later runs skip them
	- name: Commit posted-ids.json
	run: \|
	test -f posted-ids.json \|\| exit 0
	git config user.name "github-actions[bot]"
	git config user.email "github-actions[bot]@users.noreply.github.com"
	git add posted-ids.json
	git diff --staged --quiet && exit 0
	git commit -m "Record digested paper IDs"
	git pull --rebase origin ${{ github.ref_name }}
	git push

Navigation Menu