Skip to content
CI

Merge branch 'develop' into feature/update-github-actions #133

Sign in to view logs

Merge branch 'develop' into feature/update-github-actions

Merge branch 'develop' into feature/update-github-actions #133

Triggered via push October 12, 2024 12:16
@ManasC478ManasC478
pushed 762133f
feature/update-github-actions
Status Success
Total duration 1m 3s
Artifacts –

ci.yml

on: push
typecheck
10s
typecheck
lint
13s
lint
test
27s
test
build
23s
build
Fit to window
Zoom out
Zoom in