job_kinds

Data source: JuliaCI/julia-ci-timing

✎ View and edit SQL

This data as json

0 records

CREATE TABLE job_kinds (
    id      INTEGER PRIMARY KEY,
    name    TEXT NOT NULL UNIQUE,
    kind    TEXT,                            
    os      TEXT,
    triplet TEXT,
    flags   TEXT                             
);