Skip to content

Merge pull request #488 from typelevel/gsoc #247

Merge pull request #488 from typelevel/gsoc

Merge pull request #488 from typelevel/gsoc #247

Triggered via push February 7, 2024 01:04
Status Success
Total duration 1m 6s
Artifacts

ci.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build
No push credentials found. Ignoring the 'useDaemon' option.