ci: update

.github/workflows/check.yml

@@ -0,0 +1,17 @@
+on:
+  push:
+  pull_request:
+  workflow_dispatch:
+  schedule:
+    - cron: 0 20 * * *
+
+jobs:
+  check:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: laytan/setup-odin@v2
+        with:
+          token: ${{ secrets.GITHUB_TOKEN }}
+      - name: Checks
+        run: odin check . -no-entry-point -vet -strict-style -vet-tabs

.github/workflows/docs.yml

@@ -37,7 +37,7 @@ jobs:
           # The /home/runner/odin directory is in the PATH so output it there.
           odin build . -out:/home/runner/odin/odin-doc
           cd /home/runner
-      - uses: actions/checkout@v1
+      - uses: actions/checkout@v4
       - name: Generate documentation
         run: ./docs/generate.sh
       - uses: actions/configure-pages@v3