Skip to content
Simple

Merge pull request #181 from well-typed/edsko/stdlib #172

Sign in to view logs

Merge pull request #181 from well-typed/edsko/stdlib

Merge pull request #181 from well-typed/edsko/stdlib #172

Triggered via push September 20, 2024 12:55
@edskoedsko
pushed b318849
main
Status Success
Total duration 4m 5s
Artifacts –

simple.yml

on: push
Matrix: native
Fit to window
Zoom out
Zoom in