Cryptol

Cryptol #2957

Sign in to view logs

Triggered via schedule December 10, 2024 10:01

lisanna-dettwyler

master

Status Failure

Total duration 54m 50s

Artifacts 23

ci.yml

on: schedule

Matrix: build

Matrix: build-push-image

Matrix: test

Annotations

1 error and 157 warnings

test (test-lib, docstrings, windows-2019, false)

Process completed with exit code 6.

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build-push-image (Dockerfile, ghcr.io/galoisinc/cryptol, ghcr.io/galoisinc/cache-cryptol)

The `save-state` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build-push-image (Dockerfile, ghcr.io/galoisinc/cryptol, ghcr.io/galoisinc/cache-cryptol)

The `save-state` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build-push-image (Dockerfile, ghcr.io/galoisinc/cryptol, ghcr.io/galoisinc/cache-cryptol)

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build-push-image (Dockerfile, ghcr.io/galoisinc/cryptol, ghcr.io/galoisinc/cache-cryptol)

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build-push-image (Dockerfile, ghcr.io/galoisinc/cryptol, ghcr.io/galoisinc/cache-cryptol)

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build-push-image (Dockerfile, ghcr.io/galoisinc/cryptol, ghcr.io/galoisinc/cache-cryptol)

The `save-state` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build-push-image (Dockerfile, ghcr.io/galoisinc/cryptol, ghcr.io/galoisinc/cache-cryptol)

The `save-state` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build-push-image (Dockerfile, ghcr.io/galoisinc/cryptol, ghcr.io/galoisinc/cache-cryptol)

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build-push-image (Dockerfile, ghcr.io/galoisinc/cryptol, ghcr.io/galoisinc/cache-cryptol)

The `save-state` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build-push-image (Dockerfile, ghcr.io/galoisinc/cryptol, ghcr.io/galoisinc/cache-cryptol)

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build-push-image (Dockerfile, ghcr.io/galoisinc/cryptol, ghcr.io/galoisinc/cache-cryptol)

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build-push-image (Dockerfile, ghcr.io/galoisinc/cryptol, ghcr.io/galoisinc/cache-cryptol)

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build-push-image (Dockerfile, ghcr.io/galoisinc/cryptol, ghcr.io/galoisinc/cache-cryptol)

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build-push-image (Dockerfile, ghcr.io/galoisinc/cryptol, ghcr.io/galoisinc/cache-cryptol)

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build-push-image (Dockerfile, ghcr.io/galoisinc/cryptol, ghcr.io/galoisinc/cache-cryptol)

The `save-state` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build-push-image (Dockerfile, ghcr.io/galoisinc/cryptol, ghcr.io/galoisinc/cache-cryptol)

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build-push-image (Dockerfile, ghcr.io/galoisinc/cryptol, ghcr.io/galoisinc/cache-cryptol)

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build-push-image (Dockerfile, ghcr.io/galoisinc/cryptol, ghcr.io/galoisinc/cache-cryptol)

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build-push-image (Dockerfile, ghcr.io/galoisinc/cryptol, ghcr.io/galoisinc/cache-cryptol)

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build-push-image (Dockerfile, ghcr.io/galoisinc/cryptol, ghcr.io/galoisinc/cache-cryptol)

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build-push-image (Dockerfile, ghcr.io/galoisinc/cryptol, ghcr.io/galoisinc/cache-cryptol)

The `save-state` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build-push-image (Dockerfile, ghcr.io/galoisinc/cryptol, ghcr.io/galoisinc/cache-cryptol)

The `save-state` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build-push-image (Dockerfile, ghcr.io/galoisinc/cryptol, ghcr.io/galoisinc/cache-cryptol)

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build-push-image (Dockerfile, ghcr.io/galoisinc/cryptol, ghcr.io/galoisinc/cache-cryptol)

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build-push-image (Dockerfile, ghcr.io/galoisinc/cryptol, ghcr.io/galoisinc/cache-cryptol)

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build-push-image (Dockerfile, ghcr.io/galoisinc/cryptol, ghcr.io/galoisinc/cache-cryptol)

The `save-state` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build-push-image (Dockerfile, ghcr.io/galoisinc/cryptol, ghcr.io/galoisinc/cache-cryptol)

The `save-state` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build-push-image (Dockerfile, ghcr.io/galoisinc/cryptol, ghcr.io/galoisinc/cache-cryptol)

The `save-state` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `save-state` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `save-state` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `save-state` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `save-state` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `save-state` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `save-state` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `save-state` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `save-state` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `save-state` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `save-state` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `save-state` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `save-state` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `save-state` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `save-state` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `save-state` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `save-state` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `save-state` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `save-state` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `save-state` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `save-state` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `save-state` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `save-state` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `save-state` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `save-state` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `save-state` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `save-state` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

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

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build (ubuntu-22.04, 9.8.2, 3.10.3.0, true)

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build (ubuntu-22.04, 9.8.2, 3.10.3.0, true): src/Cryptol/ModuleSystem/Binds.hs#L338

Pattern match(es) are non-exhaustive

build (ubuntu-22.04, 9.8.2, 3.10.3.0, true): src/Cryptol/ModuleSystem/Binds.hs#L344

Pattern match(es) are non-exhaustive

build (ubuntu-22.04, 9.8.2, 3.10.3.0, true): src/Cryptol/ModuleSystem/Binds.hs#L351

Pattern match(es) are non-exhaustive

build (ubuntu-22.04, 9.8.2, 3.10.3.0, true): src/Cryptol/ModuleSystem/Binds.hs#L357

Pattern match(es) are non-exhaustive

build (ubuntu-22.04, 9.8.2, 3.10.3.0, true): src/Cryptol/ModuleSystem/Binds.hs#L364

Pattern match(es) are non-exhaustive

build (ubuntu-22.04, 9.8.2, 3.10.3.0, true): src/Cryptol/Eval/FFI/GenHeader.hs#L188

Pattern match(es) are non-exhaustive

build (ubuntu-22.04, 9.8.2, 3.10.3.0, true)

Defined but not used: type constructor or class ‘ArgoPanic’

build (ubuntu-22.04, 9.6.5, 3.10.3.0, true): src/Cryptol/ModuleSystem/Binds.hs#L338

Pattern match(es) are non-exhaustive

build (ubuntu-22.04, 9.6.5, 3.10.3.0, true): src/Cryptol/ModuleSystem/Binds.hs#L344

Pattern match(es) are non-exhaustive

build (ubuntu-22.04, 9.6.5, 3.10.3.0, true): src/Cryptol/ModuleSystem/Binds.hs#L351

Pattern match(es) are non-exhaustive

build (ubuntu-22.04, 9.6.5, 3.10.3.0, true): src/Cryptol/ModuleSystem/Binds.hs#L357

Pattern match(es) are non-exhaustive

build (ubuntu-22.04, 9.6.5, 3.10.3.0, true): src/Cryptol/ModuleSystem/Binds.hs#L364

Pattern match(es) are non-exhaustive

build (ubuntu-22.04, 9.6.5, 3.10.3.0, true): src/Cryptol/Eval/FFI/GenHeader.hs#L188

Pattern match(es) are non-exhaustive

build (ubuntu-22.04, 9.6.5, 3.10.3.0, true)

Defined but not used: type constructor or class ‘ArgoPanic’

build (ubuntu-22.04, 9.6.5, 3.10.3.0, true)

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build (ubuntu-22.04, 9.4.8, 3.10.3.0, true)

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build (ubuntu-22.04, 9.4.8, 3.10.3.0, true): src/Cryptol/ModuleSystem/Binds.hs#L338

Pattern match(es) are non-exhaustive

build (ubuntu-22.04, 9.4.8, 3.10.3.0, true): src/Cryptol/ModuleSystem/Binds.hs#L344

Pattern match(es) are non-exhaustive

build (ubuntu-22.04, 9.4.8, 3.10.3.0, true): src/Cryptol/ModuleSystem/Binds.hs#L351

Pattern match(es) are non-exhaustive

build (ubuntu-22.04, 9.4.8, 3.10.3.0, true): src/Cryptol/ModuleSystem/Binds.hs#L357

Pattern match(es) are non-exhaustive

build (ubuntu-22.04, 9.4.8, 3.10.3.0, true): src/Cryptol/ModuleSystem/Binds.hs#L364

Pattern match(es) are non-exhaustive

build (ubuntu-22.04, 9.4.8, 3.10.3.0, true): src/Cryptol/Eval/FFI/GenHeader.hs#L188

Pattern match(es) are non-exhaustive

build (ubuntu-22.04, 9.4.8, 3.10.3.0, true)

Defined but not used: type constructor or class ‘ArgoPanic’

build (macos-14, 9.4.8, true): src/Cryptol/ModuleSystem/Binds.hs#L338

Pattern match(es) are non-exhaustive

build (macos-14, 9.4.8, true): src/Cryptol/ModuleSystem/Binds.hs#L344

Pattern match(es) are non-exhaustive

build (macos-14, 9.4.8, true): src/Cryptol/ModuleSystem/Binds.hs#L351

Pattern match(es) are non-exhaustive

build (macos-14, 9.4.8, true): src/Cryptol/ModuleSystem/Binds.hs#L357

Pattern match(es) are non-exhaustive

build (macos-14, 9.4.8, true): src/Cryptol/ModuleSystem/Binds.hs#L364

Pattern match(es) are non-exhaustive

build (macos-14, 9.4.8, true): src/Cryptol/Eval/FFI/GenHeader.hs#L188

Pattern match(es) are non-exhaustive

build (macos-14, 9.4.8, true)

Defined but not used: type constructor or class ‘ArgoPanic’

build (macos-14, 9.4.8, true)

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build (windows-2019, 9.4.8, true): src/Cryptol/ModuleSystem/Binds.hs#L338

Pattern match(es) are non-exhaustive

build (windows-2019, 9.4.8, true): src/Cryptol/ModuleSystem/Binds.hs#L344

Pattern match(es) are non-exhaustive

build (windows-2019, 9.4.8, true): src/Cryptol/ModuleSystem/Binds.hs#L351

Pattern match(es) are non-exhaustive

build (windows-2019, 9.4.8, true): src/Cryptol/ModuleSystem/Binds.hs#L357

Pattern match(es) are non-exhaustive

build (windows-2019, 9.4.8, true): src/Cryptol/ModuleSystem/Binds.hs#L364

Pattern match(es) are non-exhaustive

build (windows-2019, 9.4.8, true): src/Cryptol/Eval/FFI/GenHeader.hs#L188

Pattern match(es) are non-exhaustive

build (windows-2019, 9.4.8, true)

Defined but not used: type constructor or class ‘ArgoPanic’

build (windows-2019, 9.4.8, true)

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build (ubuntu-20.04, 9.4.8, false): src/Cryptol/ModuleSystem/Binds.hs#L338

Pattern match(es) are non-exhaustive

build (ubuntu-20.04, 9.4.8, false): src/Cryptol/ModuleSystem/Binds.hs#L344

Pattern match(es) are non-exhaustive

build (ubuntu-20.04, 9.4.8, false): src/Cryptol/ModuleSystem/Binds.hs#L351

Pattern match(es) are non-exhaustive

build (ubuntu-20.04, 9.4.8, false): src/Cryptol/ModuleSystem/Binds.hs#L357

Pattern match(es) are non-exhaustive

build (ubuntu-20.04, 9.4.8, false): src/Cryptol/ModuleSystem/Binds.hs#L364

Pattern match(es) are non-exhaustive

build (ubuntu-20.04, 9.4.8, false): src/Cryptol/Eval/FFI/GenHeader.hs#L188

Pattern match(es) are non-exhaustive

build (ubuntu-20.04, 9.4.8, false)

Defined but not used: type constructor or class ‘ArgoPanic’

build (ubuntu-20.04, 9.4.8, false)

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

build (macos-13, 9.4.8, true): src/Cryptol/ModuleSystem/Binds.hs#L338

Pattern match(es) are non-exhaustive

build (macos-13, 9.4.8, true): src/Cryptol/ModuleSystem/Binds.hs#L344

Pattern match(es) are non-exhaustive

build (macos-13, 9.4.8, true): src/Cryptol/ModuleSystem/Binds.hs#L351

Pattern match(es) are non-exhaustive

build (macos-13, 9.4.8, true): src/Cryptol/ModuleSystem/Binds.hs#L357

Pattern match(es) are non-exhaustive

build (macos-13, 9.4.8, true): src/Cryptol/ModuleSystem/Binds.hs#L364

Pattern match(es) are non-exhaustive

build (macos-13, 9.4.8, true): src/Cryptol/Eval/FFI/GenHeader.hs#L188

Pattern match(es) are non-exhaustive

build (macos-13, 9.4.8, true)

Defined but not used: type constructor or class ‘ArgoPanic’

build (macos-13, 9.4.8, true)

The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

Artifacts

Produced during runtime

Name	Size
Windows MSI installer (GHC 9.4.8) Expired	58.5 MB
cryptol-3.2.0.99-macos-13-X64 (GHC 9.4.8) Expired	23.2 MB
cryptol-3.2.0.99-macos-13-X64-with-solvers (GHC 9.4.8) Expired	54.5 MB
cryptol-3.2.0.99-macos-14-ARM64 (GHC 9.4.8) Expired	61.8 MB
cryptol-3.2.0.99-macos-14-ARM64-with-solvers (GHC 9.4.8) Expired	89.7 MB
cryptol-3.2.0.99-ubuntu-20.04-X64 (GHC 9.4.8) Expired	42.6 MB
cryptol-3.2.0.99-ubuntu-20.04-X64-with-solvers (GHC 9.4.8) Expired	80.6 MB
cryptol-3.2.0.99-ubuntu-22.04-X64 (GHC 9.4.8) Expired	42.6 MB
cryptol-3.2.0.99-ubuntu-22.04-X64 (GHC 9.6.5) Expired	41.7 MB
cryptol-3.2.0.99-ubuntu-22.04-X64 (GHC 9.8.2) Expired	41.9 MB
cryptol-3.2.0.99-ubuntu-22.04-X64-with-solvers (GHC 9.4.8) Expired	81.8 MB
cryptol-3.2.0.99-ubuntu-22.04-X64-with-solvers (GHC 9.6.5) Expired	80.9 MB
cryptol-3.2.0.99-ubuntu-22.04-X64-with-solvers (GHC 9.8.2) Expired	81 MB
cryptol-3.2.0.99-windows-2019-X64 (GHC 9.4.8) Expired	59 MB
cryptol-3.2.0.99-windows-2019-X64-with-solvers (GHC 9.4.8) Expired	96.7 MB
macos-13-bin	55.6 MB
macos-13-dist-bin	53 MB
macos-14-bin	57.4 MB
macos-14-dist-bin	89.8 MB
ubuntu-22.04-bin	75.8 MB
ubuntu-22.04-dist-bin	80.3 MB
windows-2019-bin	74.4 MB
windows-2019-dist-bin	95.2 MB