feat: Support Windows and Nightly builds

.eslintrc.js

@@ -0,0 +1,17 @@
+module.exports = {
+  env: {
+    browser: true,
+    commonjs: true,
+    es2021: true,
+    mocha: true
+  },
+  extends: ["eslint:recommended", "prettier"],
+  overrides: [
+  ],
+  parserOptions: {
+    ecmaVersion: 'latest'
+  },
+  ignorePatterns: ["dist/**"],
+  rules: {
+  }
+}

.github/workflows/main.yml

@@ -14,8 +14,14 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        os: [macos-latest, ubuntu-latest]
-        dafny: [2.3.0, 3.0.0, 3.1.0, 3.2.0, 3.3.0, 3.4.0]
+        os: [macos-latest, ubuntu-latest, windows-latest]
+        dafny: [3.0.0, 3.7.3, 3.8.1, nightly-2022-09-23-2bc0042]
+        # Windows 2.3.0 requires mono
+        include:
+          - os: macos-latest
+            dafny: 2.3.0
+          - os: ubuntu-latest
+            dafny: 2.3.0
     steps:
       - name: Checkout
         uses: actions/checkout@v2
@@ -26,5 +32,22 @@ jobs:
           dafny-version: ${{ matrix.dafny }}
 
       - name: verify dafny
+        shell: bash
         run: __tests__/verify-dafny.sh ${{ matrix.dafny }}
+
+      - name: verify something with dafny
         shell: bash
+        run: dafny /compile:0 __tests__/test.dfy 
+
+  unit-tests:
+    name: Run tests
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v2
+      - name: Install
+        run: npm ci
+      - name: Lint
+        run: npm run lint
+      - name: Test
+        run: npm test

.gitignore

@@ -0,0 +1,2 @@
+/node_modules
+/.history

__tests__/test.dfy

@@ -0,0 +1,8 @@
+// A file to verify _something_
+module Test {
+  predicate test()
+    ensures test() ==> false
+  {
+    false
+  }
+}

__tests__/verify-dafny.sh

@@ -8,9 +8,25 @@ if [ -z "$1" ]; then
   exit 1
 fi
 
-dafny_version="$(dafny /version)"
+expectedVersionString=$1
+version="-version"
+
+if [[ $expectedVersionString = nightly* ]]
+then
+  echo "Nightly versions do not output a version number that matches the full version string"
+	expectedVersionString=""
+fi
+
+if [[ $expectedVersionString = 2.3.0 ]]
+then
+  echo "Version 2.3.0 expects /version"
+	version="/version"
+fi
+
+echo "Expected Dafny Version: $expectedVersionString"
+dafny_version="$(dafny $version)"
 echo "Found $dafny_version"
-if ! echo "$dafny_version" | grep -q "Dafny $1"; then
+if ! echo "$dafny_version" | grep -q "Dafny $expectedVersionString"; then
   echo "Unexpected version" 1>&2
   exit 1
 fi

action.yml

@@ -9,7 +9,5 @@ inputs:
     required: true
     default: "3.1.0"
 runs:
-  using: "composite"
-  steps:
-    - run: $GITHUB_ACTION_PATH/install-dafny.sh ${{ inputs.dafny-version }}
-      shell: bash
+  using: "node16"
+  main: "dist/index.js"