Skip to content
Juvix standard library CI

Export Set and Map types from the Prelude #723

Sign in to view logs

Export Set and Map types from the Prelude

Export Set and Map types from the Prelude #723

Triggered via pull request January 31, 2025 09:25
@janmasrovirajanmasrovira
opened #164
export-set-map
Status Cancelled
Total duration 1m 5s
Artifacts –

ci.yml

on: pull_request
build
57s
build
Fit to window
Zoom out
Zoom in

Annotations

1 error
build
Canceling since a higher priority waiting request for 'Juvix standard library CI-export-set-map' exists