Refactor witnesses indexing functions to have the indexing logic in one place #655
Annotations
3 notices
|
Open nix environment
nix shell from devShell: .#
|
|
Open nix environment
exported 72 variables: 'AR' 'AS' 'CC' 'CONFIG_SHELL' 'CXX' 'HOST_PATH' 'IN_NIX_SHELL' 'LD' 'NIX_BINTOOLS' 'NIX_BINTOOLS_WRAPPER_TARGET_HOST_x86_64_unknown_linux_gnu' 'NIX_BUILD_CORES' 'NIX_CC' 'NIX_CC_WRAPPER_TARGET_HOST_x86_64_unknown_linux_gnu' 'NIX_CFLAGS_COMPILE' 'NIX_ENFORCE_NO_NATIVE' 'NIX_GHC_LIBDIR' 'NIX_HARDENING_ENABLE' 'NIX_LDFLAGS' 'NIX_PKG_CONFIG_WRAPPER_TARGET_HOST_x86_64_unknown_linux_gnu' 'NIX_STORE' 'NM' 'OBJCOPY' 'OBJDUMP' 'OLDPWD' 'PKG_CONFIG' 'PKG_CONFIG_PATH' 'RANLIB' 'READELF' 'SHELL' 'SIZE' 'SOURCE_DATE_EPOCH' 'STRINGS' 'STRIP' 'XDG_DATA_DIRS' '__structuredAttrs' 'allToolDeps' 'buildInputs' 'buildPhase' 'builder' 'cmakeFlags' 'configureFlags' 'depsBuildBuild' 'depsBuildBuildPropagated' 'depsBuildTarget' 'depsBuildTargetPropagated' 'depsHostHost' 'depsHostHostPropagated' 'depsTargetTarget' 'depsTargetTargetPropagated' 'doCheck' 'doInstallCheck' 'dontAddDisableDepTrack' 'enableDWARF' 'exactDeps' 'installPhase' 'mesonFlags' 'name' 'nativeBuildInputs' 'out' 'outputs' 'packageSetupDeps' 'patches' 'phases' 'preferLocalBuild' 'propagatedBuildInputs' 'propagatedNativeBuildInputs' 'shell' 'shellHook' 'stdenv' 'strictDeps' 'system' 'withHaddock'
|
|
Open nix environment
added 48 elements to PATH (reverse order, last has highest precedence): '/bin' '/sbin' '/usr/bin' '/usr/sbin' '/usr/local/bin' '/usr/local/sbin' '/nix/store/qcqmiq1mb3pkk2bxbj6d6gb2fk9knk8l-file-5.45/bin' '/nix/store/qqhrymypl970jc6npvi9a6sikhr84mdf-xz-5.4.6-bin/bin' '/nix/store/r05c0lpbnjc8dg3rrr3ck7s07pjy86j3-patch-2.7.6/bin' '/nix/store/agkxax48k35wdmkhmmija2i2sxg8i7ny-bash-5.2p26/bin' '/nix/store/18z454gyz0wpb641rw6gpqk0vi4wbxy6-gnumake-4.4.1/bin' '/nix/store/cyc3v8qfkhn4r38a8s5d7f2c33q624mz-bzip2-1.0.8-bin/bin' '/nix/store/nc9lq1lra01932rfyclq3gsh82cxbmii-gzip-1.13/bin' '/nix/store/95ljdxg4drk1iq8jkjfq2c0z5vbwv8vm-gnutar-1.35/bin' '/nix/store/hkx0wcm23i9ihqlysri8n41kl232kawb-gawk-5.2.2/bin' '/nix/store/md9apn3290h7kv0x198ihaaa3k6icg4b-gnugrep-3.11/bin' '/nix/store/ks6c62g0m3gqrs5i7m0cv6d6aqhdvirn-gnused-4.9/bin' '/nix/store/j4gkc44c1pwl5ccgxm83s4r746bsdcw9-diffutils-3.10/bin' '/nix/store/rr1yixvn0z63mgq9s04ig9j9qlz23s2g-findutils-4.9.0/bin' '/nix/store/i7qhgc0bs725qw3wdanznfkdna4z2ns2-coreutils-9.5/bin' '/nix/store/ywhx81lh73qwfj86fldfarz5q5rnwihg-numactl-2.0.18/bin' '/nix/store/wdpbay39lcqhc7yp1472f33lgjiai7x0-ncurses-6.4.20221231-dev/bin' '/nix/store/qi2525fzsnmgayxba5gxc2xi3x80g99x-ncurses-6.4.20221231/bin' '/nix/store/wwfrj9kvfi14xclc38qfwm71ah6aawdh-binutils-2.41/bin' '/nix/store/l46fjkzva0bhvy9p2r7p4vi68kr7a1db-binutils-wrapper-2.41/bin' '/nix/store/i7qhgc0bs725qw3wdanznfkdna4z2ns2-coreutils-9.5/bin' '/nix/store/082x03cmpnsqkfp4ljrhsadz68rh3q1h-glibc-2.39-52-bin/bin' '/nix/store/zc0nsv23pakbafngjy32kvhfzb16as43-gcc-13.3.0/bin' '/nix/store/mpm3i0sbqc9svfch6a17179fs64dz2kv-gcc-wrapper-13.3.0/bin' '/nix/store/pdqndw2kgjv8l3kd5ii0c833jqmxdanq-patchelf-0.15.0/bin' '/nix/store/c9v9xgr6gv4lspha3m52rhyg6fpg7p1w-stylish-haskell-exe-stylish-haskell-0.14.6.0/bin' '/nix/store/j4k9w2cxljk8hdq9khv7r6ii21qgj9cl-hlint-exe-hlint-3.8/bin' '/nix/store/kpbsjmry8giq709z10m7dg2vdh8wbjpv-haskell-language-server-exe-haskell-language-server-2.8.0.0/bin' '/nix/store/rvjk59pcjyi7hj74iv1wp6fmsr0q6ilj-ghcid-exe-ghcid-0.8.8/bin' '/nix/store/chwgjark05gp4lw9pksgb6i8yslr77gd-fourmolu-exe-fourmolu-0.16.2.0/bin' '/nix/store/xdc52dk55fqvxj55ih14mg76z6gbh2p7-cabal-gild-exe-cabal-gild-1.3.1.2/bin' '/nix/store/6r33fi9lhaq9j48q6qpvpr7jnjyjjpv1-cabal-install-exe-cabal-3.13.0.0/bin' '/nix/store/7s335s755hzr7c4ghzwrmcb8g17v6s1y-shellcheck-0.10.0-bin/bin' '/nix/store/f3ymf71aqidd42w28ndlc667n939l4nm-actionlint-1.7.1/bin' '/nix/store/pj4h8b49yi3w2wkdmxvm86slmv4cpcbv-yq-go-4.44.2/bin' '/nix/store/d2kin53ib2ii492ql1kznjsgy85lhwdz-jq-1.7.1-bin/bin' '/nix/store/vff2gc5q5hx3xygq40aad6vbnij2l3cv-gh-2.52.0/bin' '/nix/store/k3kpg9nqsaq9mhbyfijjlw4alnfr1c15-tasty-discover-exe-tasty-discover-5.0.0/bin' '/nix/store/q2fxszlsizd181y94aabdkirv171y3ba-pkg-config-wrapper-0.29.2/bin' '/nix/store/dqi0093zi0zl5nvs5svj3a8awn8g8wxi-happy-exe-happy-2.0.2/bin' '/nix/store/4bfg67pmyqxf1a9z6bdlj7b2mqy1gds6-alex-exe-alex-3.5.1.0/bin' '/nix/store/b8qj4zjnxp2na7rzzcknzwiq5qalzq27-ghc-shell-for-packages-ghc-9.8.2-env/bin' '/home/runner/work/cardano-api/cardano-api/scripts/devshell'
|
Loading