Merge branch 'stable-1.4'

wilfwilson · wilfwilson · commit 3e11cbfefbd3 · 2021-05-12T18:59:39.000+01:00
diff --git a/.appveyor.yml b/.appveyor.yml
diff --git a/.github/workflows/gap.yml b/.github/workflows/gap.yml
@@ -1,5 +1,11 @@
 name: "Digraphs tests"
-on: [push, pull_request]
+on:
+  workflow_dispatch:
+  pull_request:
+  push:
+  schedule:
+    # Every day at 3:30 AM UTC
+    - cron: '30 3 * * *'
 
 jobs:
   test:
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
@@ -1,5 +1,11 @@
 name: "linting"
-on: [push, pull_request]
+on:
+  workflow_dispatch:
+  pull_request:
+  push:
+  schedule:
+    # Every day at 3:30 AM UTC
+    - cron: '30 3 * * *'
 
 jobs:
   lint:
