cryptol_client 0.1.1

`cryptol_client` is a collection of utilities for connecting to and interacting with a running `cryptol-remote-api` instance.
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
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80

name: Build, Test, and Publish

on: [push, pull_request]

jobs:
  cargo-build:
    runs-on: ubuntu-latest
    steps:
      - name: Checkout
        uses: actions/checkout@v3
      - name: Rust Toolchain
        uses: dtolnay/rust-toolchain@stable
      - run: cargo build

  cargo-fmt:
    runs-on: ubuntu-latest
    steps:
      - name: Checkout
        uses: actions/checkout@v3
      - name: Rust Toolchain
        uses: dtolnay/rust-toolchain@stable
        with:
          components: rustfmt
      - run: cargo fmt --all -- --check

  cargo-clippy:
    runs-on: ubuntu-latest
    needs: cargo-build
    steps:
      - name: Checkout
        uses: actions/checkout@v3
      - name: Rust Toolchain
        uses: dtolnay/rust-toolchain@stable
        with:
          components: clippy
      - run: cargo clippy --all-targets --all-features -- -Dclippy::all -Dclippy::pedantic

  cargo-doc:
    runs-on: ubuntu-latest
    needs: cargo-build
    steps:
      - name: Checkout
        uses: actions/checkout@v3
      - name: Rust Toolchain
        uses: dtolnay/rust-toolchain@stable
      - run: cargo doc --no-deps

  cargo-test:
    runs-on: ubuntu-latest
    needs: cargo-build
    services:
      cryptol-remote-api:
        image: ghcr.io/weaversa/cryptol-remote-api-max-occupancy:latest
        credentials:
          username: ${{ github.repository_owner }}
          password: ${{ secrets.GITHUB_TOKEN }}
        ports:
          - 8080:8080
        options: -v ${{ github.workspace }}:/home/cryptol
    steps:
      - name: Checkout
        uses: actions/checkout@v3
      - name: Rust Toolchain
        uses: dtolnay/rust-toolchain@stable
      - run: cargo test --all-targets
        env:
          CRYPTOL_SERVER_URL: http://0.0.0.0:8080

  crates_io_publish:
    if: github.ref == 'refs/heads/main'
    runs-on: ubuntu-latest
    needs: [cargo-fmt, cargo-clippy, cargo-doc, cargo-test]
    steps:
      - name: Checkout
        uses: actions/checkout@v3
      - name: Rust Toolchain
        uses: dtolnay/rust-toolchain@stable
      - run: cargo publish --token ${CRATES_IO_TOKEN}
        env:
          CRATES_IO_TOKEN: ${{ secrets.CRATES_IO_TOKEN }}