Merge branch 'stable-1.4'

digraphs · May 12, 2021 · 3e11cbf · 3e11cbf
2 parents 739c9a5 + c1237d6
commit 3e11cbf
Show file tree

Hide file tree

Showing 3 changed files with 14 additions and 59 deletions.
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: