Skip to content
Check github actions

Merge pull request #9123 from bjorng/bjorn/dialyzer/use-zip-generators #200

Sign in to view logs

Merge pull request #9123 from bjorng/bjorn/dialyzer/use-zip-generators

Merge pull request #9123 from bjorng/bjorn/dialyzer/use-zip-generators #200

Triggered via push November 29, 2024 12:34
@bjorngbjorng
pushed fd21725
master
Status Success
Total duration 23s
Artifacts –

github-actions-checker.yaml

on: push
ratchet
14s
ratchet
Fit to window
Zoom out
Zoom in