o1js
Version:
TypeScript framework for zk-SNARKs and zkApps
42 lines (39 loc) • 2.96 kB
text/typescript
// https://docs.github.com/en/actions/learn-github-actions/variables#default-environment-variables
declare global {
namespace NodeJS {
interface ProcessEnv {
// Always set to true when GitHub Actions is running the workflow. You can use this variable to differentiate when tests are being run locally or by GitHub Actions.
GITHUB_ACTIONS?: "true";
// The short ref name of the branch or tag that triggered the workflow run. This value matches the branch or tag name shown on GitHub. For example, feature-branch-1.
// For pull requests, the format is <pr_number>/merge.
GITHUB_REF_NAME: string;
// The name of the base ref or target branch of the pull request in a workflow run. This is only set when the event that triggers a workflow run is either pull_request or pull_request_target. For example, main.
GITHUB_BASE_REF: string;
// The head ref or source branch of the pull request in a workflow run. This property is only set when the event that triggers a workflow run is either pull_request or pull_request_target. For example, feature-branch-1.
GITHUB_HEAD_REF: string;
// The URL of the GitHub server. For example: https://github.com.
GITHUB_SERVER_URL: string;
// The owner and repository name. For example, octocat/Hello-World.
GITHUB_REPOSITORY: string;
// The commit SHA that triggered the workflow. The value of this commit SHA depends on the event that triggered the workflow. For more information, see "Events that trigger workflows." For example, ffac537e6cbbf934b08745a378932722df287a53.
GITHUB_SHA: string;
// The account ID of the person or app that triggered the initial workflow run. For example, 1234567. Note that this is different from the actor username.
GITHUB_ACTOR_ID: string;
// The name of the person or app that initiated the workflow. For example, octocat.
GITHUB_ACTOR: string;
// The path to the file on the runner that contains the full event webhook payload. For example, /github/workflow/event.json.
GITHUB_EVENT_PATH: string;
// A unique number for each workflow run within a repository. This number does not change if you re-run the workflow run. For example, 1658821493.
GITHUB_RUN_ID: string;
// The job_id of the current job. For example, greeting_job.
GITHUB_JOB: string;
// A unique number for each attempt of a particular workflow run in a repository. This number begins at 1 for the workflow run's first attempt, and increments with each re-run. For example, 3.
GITHUB_RUN_ATTEMPT: string;
}
}
}
// npm i https://pkg.sb.dev/dai-shi/waku/feature-a/54a65813/waku # stackblitz
// npm i https://pkg.sb.dev/dai-shi/waku/feature-a/waku # stackblitz
// npm i https://pkg.sb.dev/{GITHUB_REPOSITORY}/{GITHUB_REF_NAME}/{GITHUB_SHA}/{published-package} # stackblitz
// npm i https://pkg.sb.dev/54a6581354a65813 # short-form stackblitz
export {};