Skip to content
crux-llvm

crux-llvm #3443

Sign in to view logs

crux-llvm

crux-llvm #3443

Triggered via schedule November 1, 2025 10:02
@RyanGlScottRyanGlScott
⁠ e114414
master
Status Success
Total duration 20m 45s
Artifacts 6

crux-llvm-build.yml

on: schedule
config
6s
config
Matrix: build-push-image
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

51 warnings
config
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/
config
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/
config
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/
config
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/
config
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/
config
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/
config
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/
crux-llvm - GHC v9.10.1 - windows-2022
Cache save failed.
crux-llvm - GHC v9.10.1 - windows-2022
The qualified import of ‘Data.BitVector.Sized’ is redundant
crux-llvm - GHC v9.10.1 - windows-2022
This binding for ‘s'’ shadows the existing binding
crux-llvm - GHC v9.8.4 - ubuntu-24.04
Cache save failed.
crux-llvm - GHC v9.8.4 - ubuntu-24.04
The qualified import of ‘Data.BitVector.Sized’ is redundant
crux-llvm - GHC v9.8.4 - ubuntu-24.04
This binding for ‘s'’ shadows the existing binding
crux-llvm - GHC v9.6.7 - ubuntu-24.04
Cache save failed.
crux-llvm - GHC v9.6.7 - ubuntu-24.04
The qualified import of ‘Data.BitVector.Sized’ is redundant
crux-llvm - GHC v9.6.7 - ubuntu-24.04
This binding for ‘s'’ shadows the existing binding
crux-llvm - GHC v9.10.1 - ubuntu-22.04
Cache save failed.
crux-llvm - GHC v9.10.1 - ubuntu-22.04
The qualified import of ‘Data.BitVector.Sized’ is redundant
crux-llvm - GHC v9.10.1 - ubuntu-22.04
This binding for ‘s'’ shadows the existing binding
crux-llvm - GHC v9.10.1 - macos-14
Cache save failed.
crux-llvm - GHC v9.10.1 - macos-14
The qualified import of ‘Data.BitVector.Sized’ is redundant
crux-llvm - GHC v9.10.1 - macos-14
This binding for ‘s'’ shadows the existing binding
crux-llvm - GHC v9.10.1 - ubuntu-24.04
Cache save failed.
crux-llvm - GHC v9.10.1 - ubuntu-24.04
The qualified import of ‘Data.BitVector.Sized’ is redundant
crux-llvm - GHC v9.10.1 - ubuntu-24.04
This binding for ‘s'’ shadows the existing binding
build-push-image (.github/Dockerfile-crux-llvm, ghcr.io/galoisinc/crux-llvm, ghcr.io/galoisinc/ca...
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 (.github/Dockerfile-crux-llvm, ghcr.io/galoisinc/crux-llvm, ghcr.io/galoisinc/ca...
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 (.github/Dockerfile-crux-llvm, ghcr.io/galoisinc/crux-llvm, ghcr.io/galoisinc/ca...
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 (.github/Dockerfile-crux-llvm, ghcr.io/galoisinc/crux-llvm, ghcr.io/galoisinc/ca...
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 (.github/Dockerfile-crux-llvm, ghcr.io/galoisinc/crux-llvm, ghcr.io/galoisinc/ca...
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 (.github/Dockerfile-crux-llvm, ghcr.io/galoisinc/crux-llvm, ghcr.io/galoisinc/ca...
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 (.github/Dockerfile-crux-llvm, ghcr.io/galoisinc/crux-llvm, ghcr.io/galoisinc/ca...
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 (.github/Dockerfile-crux-llvm, ghcr.io/galoisinc/crux-llvm, ghcr.io/galoisinc/ca...
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 (.github/Dockerfile-crux-llvm, ghcr.io/galoisinc/crux-llvm, ghcr.io/galoisinc/ca...
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 (.github/Dockerfile-crux-llvm, ghcr.io/galoisinc/crux-llvm, ghcr.io/galoisinc/ca...
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 (.github/Dockerfile-crux-llvm, ghcr.io/galoisinc/crux-llvm, ghcr.io/galoisinc/ca...
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 (.github/Dockerfile-crux-llvm, ghcr.io/galoisinc/crux-llvm, ghcr.io/galoisinc/ca...
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 (.github/Dockerfile-crux-llvm, ghcr.io/galoisinc/crux-llvm, ghcr.io/galoisinc/ca...
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 (.github/Dockerfile-crux-llvm, ghcr.io/galoisinc/crux-llvm, ghcr.io/galoisinc/ca...
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 (.github/Dockerfile-crux-llvm, ghcr.io/galoisinc/crux-llvm, ghcr.io/galoisinc/ca...
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 (.github/Dockerfile-crux-llvm, ghcr.io/galoisinc/crux-llvm, ghcr.io/galoisinc/ca...
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 (.github/Dockerfile-crux-llvm, ghcr.io/galoisinc/crux-llvm, ghcr.io/galoisinc/ca...
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 (.github/Dockerfile-crux-llvm, ghcr.io/galoisinc/crux-llvm, ghcr.io/galoisinc/ca...
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 (.github/Dockerfile-crux-llvm, ghcr.io/galoisinc/crux-llvm, ghcr.io/galoisinc/ca...
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 (.github/Dockerfile-crux-llvm, ghcr.io/galoisinc/crux-llvm, ghcr.io/galoisinc/ca...
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 (.github/Dockerfile-crux-llvm, ghcr.io/galoisinc/crux-llvm, ghcr.io/galoisinc/ca...
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 (.github/Dockerfile-crux-llvm, ghcr.io/galoisinc/crux-llvm, ghcr.io/galoisinc/ca...
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 (.github/Dockerfile-crux-llvm, ghcr.io/galoisinc/crux-llvm, ghcr.io/galoisinc/ca...
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 (.github/Dockerfile-crux-llvm, ghcr.io/galoisinc/crux-llvm, ghcr.io/galoisinc/ca...
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 (.github/Dockerfile-crux-llvm, ghcr.io/galoisinc/crux-llvm, ghcr.io/galoisinc/ca...
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 (.github/Dockerfile-crux-llvm, ghcr.io/galoisinc/crux-llvm, ghcr.io/galoisinc/ca...
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 Digest
crux-llvm-macos-14-ARM64-9.10.1
48.9 MB
sha256:89b3d34aeff57892e2bd22c8786aad61392ce5f5ce8f4d4827e8cd8b15418ef9
crux-llvm-ubuntu-22.04-X64-9.10.1
35.2 MB
sha256:b93c1499c2ebdbd17def7a8663ff9a954cddaa67a6eabf49d79e6fd7c2e81368
crux-llvm-ubuntu-24.04-X64-9.10.1
35.1 MB
sha256:675520ce28c48632d95d8869bb3e39003a6ab0aacb485714cf8a597fee4f8733
crux-llvm-ubuntu-24.04-X64-9.6.7
34.9 MB
sha256:956a4bfad73f693854543a170fae292ea8f3805e803fee4c0335327f79c9fe80
crux-llvm-ubuntu-24.04-X64-9.8.4
34.9 MB
sha256:3f6f9696b544fc48e2634985b08e021a67d27986dc8c4995a2b078201d46e3be
crux-llvm-windows-2022-X64-9.10.1
32.9 MB
sha256:51b5b96f9e537d490746fa54d8db499feba5178af63e1f9a77f212e1a413d0c7