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

name: docker

on:
  push:
    paths:
      - cryptol-remote-api-max-occupancy.Dockerfile
      - .github/workflows/docker.yml

jobs:
  docker:
    runs-on: ubuntu-latest
    steps:
      - name: Checkout
        uses: actions/checkout@v3
      - name: Set up Docker Buildx
        uses: docker/setup-buildx-action@v2
      - name: Login to ghcr.io
        uses: docker/login-action@v2
        with:
          registry: ghcr.io
          username: ${{ github.repository_owner }}
          password: ${{ secrets.GITHUB_TOKEN }}
      - name: Build and push
        uses: docker/build-push-action@v3
        with:
          context: .
          push: true
          file: cryptol-remote-api-max-occupancy.Dockerfile
          tags: ghcr.io/weaversa/cryptol-remote-api-max-occupancy:latest