Skip to content

build: set dev backend server to same options as prod #679

build: set dev backend server to same options as prod

build: set dev backend server to same options as prod #679

Triggered via pull request October 1, 2023 16:34
Status Success
Total duration 1m 44s
Artifacts

ci.yml

on: pull_request
lint-frontend
38s
lint-frontend
check-frontend
42s
check-frontend
format-backend
10s
format-backend
lint-backend
15s
lint-backend
typecheck-python
7s
typecheck-python
test
1m 33s
test
Fit to window
Zoom out
Zoom in