Skip to content
Lint

Issue #635: cleaner job manager API for initializing the job database #1147

Sign in to view logs

Issue #635: cleaner job manager API for initializing the job database

Issue #635: cleaner job manager API for initializing the job database #1147

Triggered via push September 27, 2024 11:51
@soxofaansoxofaan
pushed 03a998f
issue635-job-manager-initialize
Status Success
Total duration 20s
Artifacts –

lint.yml

on: push
build
10s
build
Fit to window
Zoom out
Zoom in