Skip to content
Ubuntu build

[Import] Data.Nat.* (#2633) #4369

Sign in to view logs

[Import] Data.Nat.* (#2633)

[Import] Data.Nat.* (#2633) #4369

Triggered via push March 3, 2025 04:01
@github-merge-queuegithub-merge-queue[bot]
pushed 35142dc
master
Status Success
Total duration 38m 10s
Artifacts –

ci-ubuntu.yml

on: push
test-stdlib
38m 2s
test-stdlib
Fit to window
Zoom out
Zoom in