Skip to main content
GET
Get a job

Authorizations

Authorization
string
header
required

A Spec Hub API token (tfe_…). The CLI reads it from THEFORMALERA_TOKEN or from theformalera login.

Path Parameters

job_id
string
required

Job id returned by POST /v1/verify.

Response

OK

id
string
required

Job id.

Example:

"J-3f1c0a9b2d4e"

status
enum<string>
required

Job state.

Available options:
queued,
running,
done,
failed
tenant
string

Owning tenant.

request
string

Object-store key of the stored request.

kernels
integer

Number of kernels in the request.

done
integer

Kernels finished so far.

created
integer

Creation time (Unix seconds).

error
string

Failure reason when status is failed.

response
object

The engine response (results, certificates, lemmas), present once status is done.