Skip to content

Integration

Integration #217

Triggered via push November 1, 2023 07:38
Status Success
Total duration 1m 40s
Artifacts

integration.yaml

on: push
install-dependencies
45s
install-dependencies
check-formatting
17s
check-formatting
lint-source-code
16s
lint-source-code
type-check-source-code
32s
type-check-source-code
run-tests
20s
run-tests
compile-source-code
18s
compile-source-code
Fit to window
Zoom out
Zoom in