Skip to content

chore(gitpod): use custom image #163

chore(gitpod): use custom image

chore(gitpod): use custom image #163

Workflow file for this run

name: Devcontainer
on:
pull_request:
branches:
- main
types:
- opened
- synchronize
- reopened
- ready_for_review
jobs:
devcontainer-test:
runs-on: ubuntu-latest
if: github.event.pull_request.draft != true
steps:
- name: Checkout
uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4.1.1
with:
submodules: true
- name: Build and run dev container task
uses: devcontainers/ci@c3e31cc561800ac318ed000e22ffc6713c93d009 # v0.3.1900000338
with:
runCmd: make
env: GITHUB_TOKEN
env:
GITHUB_TOKEN: ${{ github.token }}