Update dependents automatically on master pushes (#75) #1

	name: 'Master Release'
	on:
	push:
	branches: [ "master" ]
	workflow_dispatch:
	concurrency:
	group: ${{ github.workflow }}-${{ github.ref }}
	cancel-in-progress: true

	env:
	CARGO_TERM_COLOR: always

	jobs:
	update-deps:
	name: "Update Dependents"
Check failure on line 15 in .github/workflows/master.yml View workflow run for this annotation GitHub Actions / Master Release Invalid workflow file `The workflow is not valid. .github/workflows/master.yml (Line: 15, Col: 5): Required property is missing: runs-on`
	steps:
	- name: 'Check out code'
	uses: actions/checkout@v4
	with:
	ref: ${{ github.event.push.head.sha }}
	fetch-depth: 0
	- name: 'Update dependents'
	run: \|
	set -x
	VERSION=${{ github.event.push.head.sha }}
	curl --fail \
	-X POST \
	-H "Accept: application/vnd.github+json" \
	-H "Authorization: Bearer ${{ secrets.JENKINS_GITHUB_PAT }}" \
	-H "X-GitHub-Api-Version: 2022-11-28" \
	https://api.github.com/repos/runtimeverification/devops/dispatches \
	-d '{"event_type":"on-demand-test","client_payload":{"repo":"runtimeverification/stable-mir-json","version":"'${VERSION}'"}}'

Provide feedback