only run lint on pr workflow (#386)

2023-07-06 12:46:02 +02:00 · 2023-07-06 12:46:02 +02:00 · 4fe38efc93
--- a/.github/workflows/lint.yml
+++ b/.github/workflows/lint.yml
@ -1,8 +1,6 @@
 name: Lint Code Base

 on:
-  push:
-    branches-ignore: [master]
  pull_request:
    branches: [master]

--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@ -2,7 +2,6 @@ name: Test and build

 on: [pull_request]

-
 jobs:
  build:
    strategy:
--- a/1
+++ b/1
@ -1,6 +1,7 @@
 SHELL = /bin/sh

 test: info
+	@echo Running tests
 	@script/cibuild --no-package

 info: