Hoogle Search

Within LTS Haskell 24.2 (ghc-9.10.2)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. WebhookWorkflowRun :: RepoWebhookEvent

   github	GitHub.Data.Webhooks

   No documentation available.

2. artifactsForWorkflowRunR :: Name Owner -> Name Repo -> Id WorkflowRun -> FetchCount -> Request 'RA (WithTotalCount Artifact)

   github	GitHub.Endpoints.Actions.Artifacts

   List artifacts for a workflow run. See https://docs.github.com/en/rest/reference/actions#list-workflow-run-artifacts

3. jobsForWorkflowRunAttemptR :: Name Owner -> Name Repo -> Id WorkflowRun -> Id RunAttempt -> FetchCount -> GenRequest ('MtJSON :: MediaType Type) 'RA (WithTotalCount Job)

   github	GitHub.Endpoints.Actions.WorkflowJobs

   List jobs for a workflow run attempt. See https://docs.github.com/en/rest/actions/workflow-jobs#list-jobs-for-a-workflow-run-attempt

4. jobsForWorkflowRunR :: Name Owner -> Name Repo -> Id WorkflowRun -> FetchCount -> GenRequest ('MtJSON :: MediaType Type) 'RA (WithTotalCount Job)

   github	GitHub.Endpoints.Actions.WorkflowJobs

   List jobs for a workflow run. See https://docs.github.com/en/rest/actions/workflow-jobs#list-jobs-for-a-workflow-run

5. approveWorkflowRunR :: Name Owner -> Name Repo -> Id WorkflowRun -> GenRequest ('MtUnit :: MediaType Type) 'RW ()

   github	GitHub.Endpoints.Actions.WorkflowRuns

   Approve a workflow run for a fork pull request. See https://docs.github.com/en/rest/actions/workflow-runs#approve-a-workflow-run-for-a-fork-pull-request

6. cancelWorkflowRunR :: Name Owner -> Name Repo -> Id WorkflowRun -> GenRequest ('MtUnit :: MediaType Type) 'RW ()

   github	GitHub.Endpoints.Actions.WorkflowRuns

   Cancel a workflow run. See https://docs.github.com/en/rest/actions/workflow-runs#cancel-a-workflow-run

7. deleteWorkflowRunLogsR :: Name Owner -> Name Repo -> Id WorkflowRun -> GenRequest ('MtUnit :: MediaType Type) 'RW ()

   github	GitHub.Endpoints.Actions.WorkflowRuns

   Delete workflow run logs. See https://docs.github.com/en/rest/actions/workflow-runs#delete-workflow-run-logs

8. deleteWorkflowRunR :: Name Owner -> Name Repo -> Id WorkflowRun -> GenRequest ('MtUnit :: MediaType Type) 'RW ()

   github	GitHub.Endpoints.Actions.WorkflowRuns

   Delete a workflow run. See https://docs.github.com/en/rest/actions/workflow-runs#delete-a-workflow-run

9. downloadWorkflowRunAttemptLogsR :: Name Owner -> Name Repo -> Id WorkflowRun -> Id RunAttempt -> GenRequest ('MtRedirect :: MediaType Type) 'RO URI

   github	GitHub.Endpoints.Actions.WorkflowRuns

   Download workflow run attempt logs. See https://docs.github.com/en/rest/actions/workflow-runs#download-workflow-run-attempt-logs

10. downloadWorkflowRunLogsR :: Name Owner -> Name Repo -> Id WorkflowRun -> GenRequest ('MtRedirect :: MediaType Type) 'RA URI

    github	GitHub.Endpoints.Actions.WorkflowRuns

    Download workflow run logs. See https://docs.github.com/en/rest/actions/workflow-runs#download-workflow-run-logs

Page 16 of many | Previous | Next