Skip to content
.github/workflows/ci.yml

Use |> Num.toNat in advance of Str dropping Nat #491

Sign in to view logs

Use |> Num.toNat in advance of Str dropping Nat

Use |> Num.toNat in advance of Str dropping Nat #491

Triggered via pull request January 18, 2024 11:56
@rtfeldmanrtfeldman
opened #161
str-without-nat
Status Success
Total duration 1m 20s
Artifacts –

ci.yml

on: pull_request
Matrix: build-and-test
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build-and-test (ubuntu-22.04)
Process completed with exit code 22.
build-and-test (ubuntu-20.04)
Process completed with exit code 22.