get rid of the no-op OpenBSD install workflow

DrHyde · Jul 17, 2022 · 1cd8add · 1cd8add
1 parent 92cedaf
commit 1cd8add
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 43 deletions.
diff --git a/.github/workflows/install-linux.yml b/.github/workflows/install-linux.yml
@@ -1,3 +1,6 @@
+# NB there's no OpenBSD version because nested virtualisation messes with
+# timing too much
+
 on: [push, pull_request]
 name: Linux install
 

diff --git a/.github/workflows/install-openbsd.yml b/.github/workflows/install-openbsd.yml