rify 0.7.1

RDF reasoner that operates on RIF-like conjunctive rules. Outputs a machine readable proof of some claim which can be cheaply verified.
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

on: [pull_request]

name: CI

jobs:
  all:
    name: Normal Build, Test Suite, Test JS bindings, Rustfmt, Clippy
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v2
      - uses: actions-rs/toolchain@v1
        with:
          toolchain: stable
          override: true
          components: rustfmt, clippy
      - uses: extractions/setup-just@v1
      - uses: jetli/wasm-pack-action@v0.3.0
      - uses: actions/setup-node@v1
        with:
          node-version: '13.x'
      - run: cargo build
      - run: cargo test
      - run: just js-test
      - run: cargo clippy -- -D warnings
      - run: cargo fmt --all -- --check