GitHub actions

[david-r-cox]

I put together a GitHub action for publishing to dbdev. There's probably a cleaner way to do this but in case anyone finds it helpful:

name: Publish
permissions: {}

on:
  release:
    types: [created]

jobs:
  publish-dbdev:
    runs-on: macos-latest
    steps:
      - uses: actions/checkout@v4
      - uses: DeterminateSystems/nix-installer-action@main
      - name: Build dbdev
        run: nix build github:integrated-reasoning/nixpkgs/dbdev#dbdev
      - name: Create dbdev login script
        run: |
          cat << 'EOF' > dbdev_login.sh
          #!/usr/bin/env bash
          set -e

          if [ -z "${1}" ]; then
              echo "Error: Token not provided"
              exit 1
          fi

          expect << EOD
          set timeout 30
          spawn nix run github:integrated-reasoning/nixpkgs/dbdev#dbdev login
          expect {
              "Please paste the token" {
                  send "${1}\r"
                  exp_continue
              }
              timeout {
                  puts "Timed out waiting for token prompt"
                  exit 1
              }
              eof
          }
          EOD

          if [ $? -eq 0 ]; then
              echo "Successfully logged in to database.dev"
          else
              echo "Failed to log in to database.dev"
              exit 1
          fi
          EOF
          chmod +x dbdev_login.sh
      - name: Login to database.dev
        env:
          DBDEV_TOKEN: ${{ secrets.DBDEV_TOKEN }}
        run: ./dbdev_login.sh "$DBDEV_TOKEN"
      - name: Publish to database.dev
        run: nix run github:integrated-reasoning/nixpkgs/dbdev#dbdev publish

The action works around two current hurdles using dbdev in CI:

• As far as I can tell from looking at the docs and a quick grep through the repo, there's no way to provide the auth token to dbdev login using environment variables, as it expects an interactive input. Passing the token via pipe (echo $DBDEV_TOKEN | dbdev login) doesn't work either.
• Publishing packages appears broken on linux (it tries to publish to localhost:54321?), hence the macos runner.

Looking at the login issue again after stepping away for a bite, dbdev writes the token to .dbdev/credentials.toml. Writing this file directly without invoking dbdev login might be a better solution, but I haven't tested it.

This GitHub action uses a Nix to install dbdev and its dependencies. Once NixOS/nixpkgs#334750 lands nix build github:integrated-reasoning/nixpkgs/dbdev#dbdev can be replaced with nix build nixpkgs#dbdev.