Skip to content

Num.maxNat does not exist #164

Num.maxNat does not exist

Num.maxNat does not exist #164

Re-run triggered December 6, 2023 19:09
Status Success
Total duration 34m 52s
Artifacts

ci_manager.yml

on: pull_request
check-changes
20s
check-changes
ran-none
0s
ran-none
start-nix-linux-x86-64-tests  /  nix-linux-x86
38m 27s
start-nix-linux-x86-64-tests / nix-linux-x86
start-nix-linux-aarch64-build-default-test  /  nix-linux-arm64
49m 28s
start-nix-linux-aarch64-build-default-test / nix-linux-arm64
start-nix-linux-aarch64-cargo-build-test  /  nix-linux-arm64
43m 44s
start-nix-linux-aarch64-cargo-build-test / nix-linux-arm64
start-nix-macos-apple-silicon-tests  /  nix-apple-silicon
34m 17s
start-nix-macos-apple-silicon-tests / nix-apple-silicon
start-macos-x86-64-tests  /  test-rust-macos-x86-64
19m 31s
start-macos-x86-64-tests / test-rust-macos-x86-64
start-ubuntu-x86-64-tests  /  test zig, rust, wasm...
21m 39s
start-ubuntu-x86-64-tests / test zig, rust, wasm...
start-windows-release-build-test  /  windows-release-build
12m 24s
start-windows-release-build-test / windows-release-build
start-windows-tests  /  windows-test-subset
33m 35s
start-windows-tests / windows-test-subset
start-roc-benchmarks  /  benchmark roc programs
5m 22s
start-roc-benchmarks / benchmark roc programs
ran-full
0s
ran-full
Fit to window
Zoom out
Zoom in