Skip to content

Allow external use of keep-alive API #45

Allow external use of keep-alive API

Allow external use of keep-alive API #45

Workflow file for this run

on:
pull_request:
merge_group:
# This is required to silence emails about the workflow having no jobs.
# We simply define a dummy job that does nothing much.
jobs:
dummy:
runs-on: ubuntu-latest
steps:
- run: /usr/bin/true