Skip to content

make dbgen instead of make all #68

make dbgen instead of make all

make dbgen instead of make all #68

Triggered via pull request April 26, 2024 13:04
Status Success
Total duration 4m 49s
Artifacts

lint.yml

on: pull_request
Fit to window
Zoom out
Zoom in