Misc fixes for v0.2.6

Author: wsx-antithesis

.github/workflows/ci.yml

@@ -0,0 +1,22 @@
+name: "CI"
+on:
+  pull_request:
+    branches:
+    - main
+  push:
+    branches:
+    - main
+jobs:
+  build:
+    strategy:
+      matrix:
+        min-version: [true, false]
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v3
+    - uses: cachix/install-nix-action@v26
+      with:
+        nix_path: nixpkgs=channel:nixos-unstable
+    - if: ${{ matrix.min-version }}
+      run: nix develop . -c cargo update -Z direct-minimal-versions
+    - run: nix flake check --keep-going --print-build-logs

.github/workflows/publish.yml

@@ -0,0 +1,33 @@
+name: Publish Crate
+
+on:
+  workflow_dispatch:
+    inputs:
+      dry-run:
+        description: 'Is this a dry-run?'
+        required: true
+        default: true
+        type: boolean
+  
+jobs:
+  publish:
+    name: Publish
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v4
+
+    - uses: actions-rust-lang/[email protected]
+      with:
+        toolchain: stable
+    
+    - name: Cargo Publish (Dry Run)
+      if:  ${{ inputs.dry-run == true || inputs.dry-run == 'true' }} 
+      run: cargo publish --dry-run --token ${CRATES_TOKEN} -p antithesis_sdk
+      env:
+        CRATES_TOKEN: ${{ secrets.CARGO_REGISTRY_TOKEN }}
+
+    - name: Cargo Publish
+      if:   ${{ inputs.dry-run != true && inputs.dry-run != 'true' }} 
+      run: cargo publish --token ${CRATES_TOKEN} -p antithesis_sdk
+      env:
+        CRATES_TOKEN: ${{ secrets.CARGO_REGISTRY_TOKEN }}

.github/workflows/zulip_notifier.yml

@@ -0,0 +1,33 @@
+name: Zulip Notification Bot
+
+on:
+  push:
+
+permissions:
+  contents: read
+
+jobs:
+  post-to-zulip:
+    runs-on: ubuntu-latest
+
+    steps:
+      - uses: actions/checkout@v3
+      - uses: actions/github-script@v7
+        id: generate-msg
+        with:
+          script: |
+            let message = `- **${context.actor}** \`${context.ref}\` | ${context.sha.substring(0,7)} | [${context.payload.head_commit.message?.split('\n')[0]}](${context.payload.compare})`
+            let topic = context.repo.repo
+            core.setOutput("topic", topic);
+            core.setOutput("msg", message);
+
+      - name: Send a stream message
+        uses: zulip/github-actions-zulip/send-message@v1
+        with:
+          api-key: ${{ secrets.ZULIP_API_KEY }}
+          email: ${{ secrets.ZULIP_BOT_EMAIL }}
+          organization-url: ${{ secrets.ZULIP_ORG_URL }}
+          to: "Commits"
+          type: "stream"
+          topic: ${{ steps.generate-msg.outputs.topic }}
+          content: ${{ steps.generate-msg.outputs.msg }}

.gitignore

@@ -0,0 +1,3 @@
+target/
+.envrc
+.direnv/

Cargo.lock

@@ -0,0 +1,3 @@
+[workspace]
+members = ["simple", "lib"]
+resolver = "2"