runId property
int?
runId
A unique number for each run within a repository.
This number does not change if you re-run the workflow run.
Implementation
int? get runId => int.tryParse(_env('GITHUB_RUN_ID') ?? '');