Update to nightly-2024-12-15 (#144)

* fix build flags * Update to latest nightly * Update to nightly-2024-12-15 * fmt * Remove Docker and server container code. Use fuzzy_match for permission boundaries * Ignore path liveness when collecting actual/expected permissions in boundary analysis. * Delete commented out code * Supress diagnostics, filter unreachable blocks from CleanedGraph * Implement boundariew for Aggregate rvalues * Clippy is such a pedant * Update to latest RawVec representation. Fix various lints * "path" -> "place" --------- Co-authored-by: gavinleroy <[email protected]>
cognitive-engineering-lab · Jan 2, 2025 · f830872 · f830872
1 parent 865e1c4
commit f830872
Show file tree

Hide file tree

Showing 80 changed files with 2,482 additions and 2,880 deletions.
diff --git a/.dockerignore b/.dockerignore
diff --git a/.github/workflows/standalone.yml b/.github/workflows/standalone.yml
@@ -1,27 +1,27 @@
-# TODO: automatically publish WASM port (somehow...)
 name: standalone
 
-# on:
-#   pull_request:
-#     branches: [main]
-#     types: [labeled,closed]
+on:
+  pull_request:
+    branches: [standalone-wasm]
+    types: [labeled,closed]
 
-# jobs:
-#   update-frontend:
-#     needs: publish-crates
-#     runs-on: ubuntu-latest
-#     steps:
-#       - uses: actions/checkout@v3
-#       - uses: DeterminateSystems/nix-installer-action@main
-#       - uses: DeterminateSystems/magic-nix-cache-action@main
-#       - uses: DeterminateSystems/flake-checker-action@main
+ jobs:
+  update-frontend:
+    needs: publish-crates
+    runs-on: ubuntu-latest
+    if: false # disable for now
+    steps:
+      - uses: actions/checkout@v3
+      - uses: DeterminateSystems/nix-installer-action@main
+      - uses: DeterminateSystems/magic-nix-cache-action@main
+      - uses: DeterminateSystems/flake-checker-action@main
 
-#       - name: Build Docs and Standalone
-#         run: nix develop .#minimal --command ci-build-pages
+      - name: Build Docs and Standalone
+        run: nix develop .#minimal --command ci-build-pages
 
-#       - uses: JamesIves/[email protected]
-#         with:
-#           branch: gh-pages
-#           folder: ./frontend/packages/aquascope-standalone/dist
-#           clean: true
-#           clean-exclude: dev
+      - uses: JamesIves/[email protected]
+        with:
+          branch: gh-pages
+          folder: ./frontend/packages/aquascope-standalone/dist
+          clean: true
+          clean-exclude: dev
diff --git a/Caddyfile b/Caddyfile