Merge pull request #56 from nikomatsakis/publish-symposium-crates

Migrate to sacp v3, improve VSCode integration, prepare for binary distribution

Author: nikomatsakis

.github/workflows/ci.yml

@@ -98,8 +98,7 @@ jobs:
       - name: Install ACP tools
         run: |
           cargo install --force elizacp
-          cargo install --force sacp-conductor
-          cargo install --force --path src/symposium-acp-proxy
+          cargo install --force --path src/symposium-acp-agent
 
       - name: Setup Node.js
         uses: actions/setup-node@v4

.gitignore

@@ -43,6 +43,7 @@ yarn-error.log*
 
 # Editor files
 .vscode/settings.json
+!vscode-extension/test-workspace/.vscode/settings.json
 .idea/
 *.swp
 *.swo