Skip to content

Merge pull request #26 from bindermuehle/fix-pipeline #25

Merge pull request #26 from bindermuehle/fix-pipeline

Merge pull request #26 from bindermuehle/fix-pipeline #25

Triggered via push June 18, 2024 19:01
Status Success
Total duration 35s
Artifacts

main.yml

on: push
Build
17s
Build
Typechecker
21s
Typechecker
Unit and Integration Tests
19s
Unit and Integration Tests
Linter
24s
Linter
Fit to window
Zoom out
Zoom in