build

Prelude: fix types of Array primitives; add Option.join (#95) #283

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via push November 21, 2023 09:31

siddharth-krishna

main

Status Success

Total duration 2m 6s

Artifacts –

build.yml

on: push

Annotations

1 warning

Cache save failed.