Skip to content

Sneaky bug in Eq instance definition that made Decompilation nontermi… #1547

Sneaky bug in Eq instance definition that made Decompilation nontermi…

Sneaky bug in Eq instance definition that made Decompilation nontermi… #1547

Triggered via push December 14, 2024 20:42
Status Failure
Total duration 8m 52s
Artifacts

build.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 3 warnings
build (ubuntu-latest)
Process completed with exit code 2.
build (macos-latest)
Process completed with exit code 2.
build (ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build (ubuntu-latest)
Unexpected input(s) 'skip_adding_nixpkgs_channel', valid inputs are ['extra_nix_config', 'github_access_token', 'install_url', 'install_options', 'nix_path']
build (macos-latest)
Unexpected input(s) 'skip_adding_nixpkgs_channel', valid inputs are ['extra_nix_config', 'github_access_token', 'install_url', 'install_options', 'nix_path']