Merge pull request #65 from diffblue/fix-ci-branch

change the name of the branch we do CI on to 'main'

Author: tautschnig

.github/workflows/pull-request-checks.yaml

@@ -1,9 +1,9 @@
 name: Build and Test HW-CBMC
 on:
   push:
-    branches: [ master ]
+    branches: [ main ]
   pull_request:
-    branches: [ master ]
+    branches: [ main ]
 
 jobs:
   # This job takes approximately 15 minutes