Merge pull request #518 from IntersectMBO/lehins/add-missing-pieces-to-unsound-pure-kes Add missing pieces to unsound pure kes #1930
lehinsAnnotations
6 warnings and 4 notices
|
build (9.12.1, macos-latest)
pkgconf 2.3.0_1 is already installed and up-to-date.
To reinstall 2.3.0_1, run:
brew reinstall pkgconf
|
|
build (9.10.1, macos-latest)
pkgconf 2.3.0_1 is already installed and up-to-date.
To reinstall 2.3.0_1, run:
brew reinstall pkgconf
|
|
build (9.2.8, macos-latest)
pkgconf 2.3.0_1 is already installed and up-to-date.
To reinstall 2.3.0_1, run:
brew reinstall pkgconf
|
|
build (8.10.7, macos-13)
pkgconf 2.3.0_1 is already installed and up-to-date.
To reinstall 2.3.0_1, run:
brew reinstall pkgconf
|
|
build (9.8.2, macos-latest)
pkgconf 2.3.0_1 is already installed and up-to-date.
To reinstall 2.3.0_1, run:
brew reinstall pkgconf
|
|
build (9.6.6, macos-latest)
pkgconf 2.3.0_1 is already installed and up-to-date.
To reinstall 2.3.0_1, run:
brew reinstall pkgconf
|
|
build (8.10.7, ubuntu-latest)
Hint: to reproduce this environment locally, use either: `nix develop github:input-output-hk/devx#ghc8107-iog`, or `docker run -it -v $(pwd):/workspaces ghcr.io/input-output-hk/devx-devcontainer:x86_64-linux.ghc8107-iog`
|
|
build (8.10.7, ubuntu-latest)
Hint: to reproduce this environment locally, use either: `nix develop github:input-output-hk/devx#ghc8107-iog`, or `docker run -it -v $(pwd):/workspaces ghcr.io/input-output-hk/devx-devcontainer:x86_64-linux.ghc8107-iog`
|
|
build (9.6.6, ubuntu-latest)
Hint: to reproduce this environment locally, use either: `nix develop github:input-output-hk/devx#ghc966-iog`, or `docker run -it -v $(pwd):/workspaces ghcr.io/input-output-hk/devx-devcontainer:x86_64-linux.ghc966-iog`
|
|
build (9.6.6, ubuntu-latest)
Hint: to reproduce this environment locally, use either: `nix develop github:input-output-hk/devx#ghc966-iog`, or `docker run -it -v $(pwd):/workspaces ghcr.io/input-output-hk/devx-devcontainer:x86_64-linux.ghc966-iog`
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
Linux-8.10.7 Build & test logs
|
4.04 KB |
|
|
Linux-9.10.1 Build & test logs
|
4.04 KB |
|
|
Linux-9.12.1 Build & test logs
|
4.04 KB |
|
|
Linux-9.2.8 Build & test logs
|
4.02 KB |
|
|
Linux-9.6.6 Build & test logs
|
4.02 KB |
|
|
Linux-9.8.2 Build & test logs
|
4.02 KB |
|
|
Windows-8.10.7 Build & test logs
|
4.06 KB |
|
|
Windows-9.10.1 Build & test logs
|
4.06 KB |
|
|
Windows-9.12.1 Build & test logs
|
4.06 KB |
|
|
Windows-9.2.8 Build & test logs
|
4.03 KB |
|
|
Windows-9.6.6 Build & test logs
|
4.03 KB |
|
|
Windows-9.8.2 Build & test logs
|
4.03 KB |
|
|
cache-af799cd159e97266621604ae7b46fd1eed0acea7-ghc810
|
42.3 MB |
|
|
cache-af799cd159e97266621604ae7b46fd1eed0acea7-ghc96
|
56 MB |
|
|
macOS-8.10.7 Build & test logs
|
4 KB |
|
|
macOS-9.10.1 Build & test logs
|
4.02 KB |
|
|
macOS-9.12.1 Build & test logs
|
4.02 KB |
|
|
macOS-9.2.8 Build & test logs
|
4 KB |
|
|
macOS-9.6.6 Build & test logs
|
4 KB |
|
|
macOS-9.8.2 Build & test logs
|
4 KB |
|