Commit df3c24d5 authored Aug 31, 2021 by Paul Schütze

Change names of github workflows again

parent 2a304e1d

.github/workflows/compilation-and-test.yml

+1 −1

Original line number	Diff line number	Diff line
		name: compile-test
		name: compile&test
		on:
		pull_request:
		types: [opened, reopened, edited, ready_for_review, synchronize]

.github/workflows/format-and-lint.yml

+1 −1

Original line number	Diff line number	Diff line
		name: format-and-lint
		name: format&lint
		on:
		pull_request:
		types: [opened, reopened, edited, ready_for_review, synchronize]