Skip to content
CI

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

Sign in to view logs

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

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

Triggered via push October 12, 2024 01:30
@ManasC478ManasC478
pushed 7d4be5d
feature/update-github-actions
Status Success
Total duration 51s
Artifacts –

ci.yml

on: push
typecheck
8s
typecheck
lint
12s
lint
test
26s
test
build
10s
build
Fit to window
Zoom out
Zoom in