mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-09-11 22:17:18 +03:00
Merge pull request #967 from GaloisInc/lisanna/remote-api-docker
Build and push .github/Dockerfile-remote-api to galoisinc/cryptol-remote-api
This commit is contained in:
commit
85413b3212
18
.github/workflows/docker.yml
vendored
18
.github/workflows/docker.yml
vendored
@ -4,7 +4,7 @@ on:
|
||||
tags: ["v?[0-9]+.[0-9]+.[0-9]+"]
|
||||
|
||||
jobs:
|
||||
docker:
|
||||
cryptol:
|
||||
runs-on: ubuntu-latest
|
||||
steps:
|
||||
- uses: actions/checkout@v2
|
||||
@ -21,3 +21,19 @@ jobs:
|
||||
tags: "latest,${{ steps.outputs.outputs.cryptol-version }}"
|
||||
add_git_labels: true
|
||||
push: true
|
||||
cryptol-remote-api:
|
||||
runs-on: ubuntu-latest
|
||||
steps:
|
||||
- uses: actions/checkout@v2
|
||||
with:
|
||||
submodules: true
|
||||
- run: .github/ci.sh set_version
|
||||
id: outputs
|
||||
- name: Publish to Registry
|
||||
uses: docker/build-push-action@v1
|
||||
with:
|
||||
repository: galoisinc/cryptol-remote-api
|
||||
tags: "latest,${{ steps.outputs.outputs.cryptol-version }}"
|
||||
add_git_labels: true
|
||||
push: true
|
||||
dockerfile: .github/Dockerfile-remote-api
|
||||
|
20
.github/workflows/nightly.yml
vendored
20
.github/workflows/nightly.yml
vendored
@ -38,7 +38,7 @@ jobs:
|
||||
path: docs
|
||||
name: docs
|
||||
|
||||
docker:
|
||||
docker-cryptol:
|
||||
runs-on: ubuntu-latest
|
||||
needs: [outputs]
|
||||
steps:
|
||||
@ -55,6 +55,24 @@ jobs:
|
||||
add_git_labels: true
|
||||
push: ${{ github.event_name == 'schedule' }}
|
||||
|
||||
docker-cryptol-remote-api:
|
||||
runs-on: ubuntu-latest
|
||||
needs: [outputs]
|
||||
steps:
|
||||
- uses: actions/checkout@v2
|
||||
with:
|
||||
submodules: true
|
||||
- name: Publish to Registry
|
||||
uses: docker/build-push-action@v1
|
||||
with:
|
||||
username: ${{ secrets.GITHUBCRYPTOL_USERNAME }}
|
||||
password: ${{ secrets.GITHUBCRYPTOL }}
|
||||
repository: galoisinc/cryptol-remote-api
|
||||
tags: "nightly"
|
||||
add_git_labels: true
|
||||
push: ${{ github.event_name == 'schedule' }}
|
||||
dockerfile: .github/Dockerfile-remote-api
|
||||
|
||||
build:
|
||||
needs: [outputs, docs]
|
||||
runs-on: ${{ matrix.os }}
|
||||
|
Loading…
Reference in New Issue
Block a user