chore: switch CI runners to self-hosted (#16)

Co-authored-by: Jonathan Gadea Harder <jonathangadeaharder@Jonathans-MacBook-Pro.local>

Author: Jonathangadeaharder

.github/workflows/blueprint.yml

@@ -16,7 +16,7 @@ concurrency:
 
 jobs:
   build:
-    runs-on: ubuntu-latest
+    runs-on: self-hosted
     steps:
       - name: Checkout
         uses: actions/checkout@v4
@@ -59,7 +59,7 @@ jobs:
     environment:
       name: github-pages
       url: ${{ steps.deployment.outputs.page_url }}
-    runs-on: ubuntu-latest
+    runs-on: self-hosted
     needs: build
     steps:
       - name: Deploy to GitHub Pages

.github/workflows/ci.yml

@@ -11,7 +11,7 @@ on:
 
 jobs:
   build-and-verify:
-    runs-on: macos-latest
+    runs-on: self-hosted
     name: Build & Verify Formalization
     timeout-minutes: 25
     steps:

.lake/config/[anonymous]/lakefile.olean

@@ -0,0 +1,6 @@
+{"platform": "x86_64-apple-darwin24.6.0",
+ "options": {},
+ "name": "[anonymous]",
+ "leanHash": "3dc1a088b6d2d8eafe25a7cd7ec7b58d731bd7cc",
+ "idx": 0,
+ "configHash": "5dd739162975e92b"}