chrisplim · March 7, 2025 05:19 · chrisplim · Mar 7, 2025
diff --git a/workflow b/workflow
 name: CI
 run-name: CI - ${{ github.head_ref || github.ref }}

 on:
  push:
    branches:
      - master
  pull_request:

 concurrency:
  group: ${{ github.workflow }}-${{ github.ref }}
  cancel-in-progress: true

 permissions:
  contents: 'read'
  id-token: 'write'

 jobs:
  job-name:
    steps:
      - run: echo "hello"
	name: CI
	run-name: CI - ${{ github.head_ref \|\| github.ref }}

	on:
	push:
	branches:
	- master
	pull_request:

	concurrency:
	group: ${{ github.workflow }}-${{ github.ref }}
	cancel-in-progress: true

	permissions:
	contents: 'read'
	id-token: 'write'

	jobs:
	job-name:
	steps:
	- run: echo "hello"
No results found