heyting 0.7.0

Complex logical query answering over knowledge graph embeddings
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32

name: Release
on:
  push:
    tags: ['v*']
jobs:
  publish:
    runs-on: ubuntu-latest
    environment: crates-io
    permissions:
      id-token: write
    steps:
      - uses: actions/checkout@v6
      - uses: dtolnay/rust-toolchain@stable
      - uses: Swatinem/rust-cache@v2
      - run: cargo test
      # The check runs BEFORE auth: a locally-published version must skip the
      # whole publish leg, or crates-io-auth-action fails the run on a repo
      # with no Trusted Publishing config (cargo has no --idempotent yet:
      # rust-lang/cargo#13397).
      - name: Check if version already published
        id: published
        run: |
          version=$(cargo metadata --no-deps --format-version 1 | jq -r '.packages[0].version')
          count=$(curl -sf https://index.crates.io/he/yt/heyting | jq -r '.vers' | grep -Fxc "$version" || true)
          echo "count=$count" >> "$GITHUB_OUTPUT"
      - uses: rust-lang/crates-io-auth-action@v1
        id: auth
        if: steps.published.outputs.count == '0'
      - run: cargo publish
        if: steps.published.outputs.count == '0'
        env:
          CARGO_REGISTRY_TOKEN: ${{ steps.auth.outputs.token }}