Skip to content

Cryptol

Cryptol #3046

Annotations

33 warnings

build-push-image (PORTABILITY=false, cryptol-remote-api/Dockerfile, ghcr.io/galoisinc/cryptol-rem...

succeeded Jan 25, 2025 in 7m 30s
Set up job
1s
Run echo "::set-output name=prefix::portable-"
0s
Run rlespinasse/github-slug-action@v3.x
0s
Run echo "::set-output name=common-tag::$GITHUB_REF_SLUG"
0s
Run docker/setup-buildx-action@v1
3s
Labels
0s
Run docker/login-action@v1
0s
Run docker/build-push-action@v2
11s
Cache image build
2s
Run actions/checkout@v3
2s
Run actions/setup-python@v2
0s
Run abatilo/actions-poetry@v2.1.2
8s
Test cryptol-remote-api
1m 34s
Test cryptol-remote-api (TLS)
1m 34s
Build test-cryptol-remote-api
35s
Test cryptol-remote-api helm chart
2m 56s
ghcr.io/galoisinc/cryptol-remote-api:nightly
16s
ghcr.io/galoisinc/cryptol-remote-api:3.2.0.99
0s
Post Build test-cryptol-remote-api
0s
Post Run actions/setup-python@v2
0s
Post Run actions/checkout@v3
0s
Post Cache image build
0s
Post Run docker/build-push-action@v2
0s
Post Run docker/login-action@v1
0s
Post Run docker/setup-buildx-action@v1
2s
Complete job
0s