fix krnlc lockfile + docs + ci

.github/workflows/ci.yaml

@@ -79,6 +79,8 @@ jobs:
         with:
           toolchain: nightly-2023-04-15
           components: rust-src, rustc-dev, llvm-tools-preview
+      - name: check krnlc
+        run: cargo +nightly-2023-04-15 check --locked --no-default-features --features use-installed-tools -vv
       - name: install krnlc
         run: cargo +nightly-2023-04-15 install --path krnlc --root . --locked --no-default-features --features use-installed-tools -vv --debug
       - name: krnlc check 

docs/publishing.md

@@ -7,16 +7,18 @@
 # publishing
 1. Create a new branch ie "publish-v0.1.0".
 2. Bump all crates to the next version, removing the prerelease, ie "=0.1.0".
-3. Recompile with the new krnlc version. 
-4. Set publish to true for workspace / krnlc.
-5. Commit and push the new branch.
-6. PR to merge with main. Wait for CI and merge.
-7. Pull the merged main.
-8. Tag main with the version, ie `git tag v0.1.0`.
-9. Push the tag `git push origin v0.1.0`.
-10. Move into each crate directory and cargo publish.
+3. Update krnlc lockfile.
+4. Recompile with the new krnlc version. 
+5. Set publish to true for workspace / krnlc.
+6. Commit and push the new branch.
+7. PR to merge with main. Wait for CI and merge.
+8. Pull the merged main.
+9. Tag main with the version, ie `git tag v0.1.0`.
+10. Push the tag `git push origin v0.1.0`.
+11. Move into each crate directory and cargo publish.
 
 # bumping next pre-release
 1. Set publish to false for workspace / krnlc.
 2. Bump all versions to the next version with prerelease "alpha", ie "=0.1.1-alpha".
+3. Update krnlc lockfile. 
 3. Commit and push to main.