Skip to content

Merge pull request #6 from polarity-lang/fix-clippy-hints #6

Merge pull request #6 from polarity-lang/fix-clippy-hints

Merge pull request #6 from polarity-lang/fix-clippy-hints #6

Triggered via push May 12, 2024 18:26
Status Success
Total duration 31s
Artifacts

ci.yml

on: push
Fit to window
Zoom out
Zoom in