Skip to content
Rust

Merge pull request #65 from johanhelsing/more-types-in-prelude #179

Sign in to view logs

Merge pull request #65 from johanhelsing/more-types-in-prelude

Merge pull request #65 from johanhelsing/more-types-in-prelude #179

Triggered via push October 13, 2023 15:29
@gschupgschup
pushed 0efbd2f
main
Status Success
Total duration 12m 37s
Artifacts –

rust.yml

on: push
build
12m 22s
build
Fit to window
Zoom out
Zoom in