fix spacing after "Proof." #23

Triggered via push January 30, 2024 11:29

panglesd

master

Status Success

Total duration 29m 13s

Artifacts 1

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

build.yaml

on: push

Matrix: linux-build

Matrix: mac-build

27 warnings

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, docker/setup-qemu-action@v1, docker/setup-buildx-action@v1, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The following actions uses node12 which is deprecated and will be forced to run on node16: docker/setup-qemu-action@v1, docker/setup-buildx-action@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

ERROR: context builder cannot be removed, run `docker context rm default` to remove this context

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 `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/

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

ERROR: context builder cannot be removed, run `docker context rm default` to remove this context

Produced during runtime

Name	Size
archives Expired	68.7 MB