Skip to content
This repository was archived by the owner on May 11, 2026. It is now read-only.
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
15 changes: 0 additions & 15 deletions .devcontainer/Dockerfile

This file was deleted.

48 changes: 0 additions & 48 deletions .devcontainer/devcontainer.json

This file was deleted.

26 changes: 0 additions & 26 deletions .devcontainer/k3d.yaml

This file was deleted.

74 changes: 0 additions & 74 deletions .devcontainer/on-create.sh

This file was deleted.

13 changes: 0 additions & 13 deletions .devcontainer/post-create.sh

This file was deleted.

14 changes: 0 additions & 14 deletions .devcontainer/post-start.sh

This file was deleted.

9 changes: 0 additions & 9 deletions .devcontainer/set-branch-env.sh

This file was deleted.

37 changes: 37 additions & 0 deletions .github/workflows/create-codespace-dagger.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,37 @@
name: Codespace Creation
description: This workflow runs when a pull request is opened, reopened, or synchronized. It uses Dagger to create a codespace for the PR.

on:
pull_request:
types: [synchronize, opened, reopened]

jobs:
codespace-manager:
name: Codespace Manager
runs-on: ubuntu-latest
steps:
- name: Checkout code
uses: actions/checkout@v4
# - name: Print all ENVS
# run: printenv
- name: Create Codespace with Dagger
uses: dagger/dagger-for-github@8.0.0
env:
# setting tokens here so that it can be referenced below without exposing in dagger cloud logs
# should be referenced as env://GITHUB_TOKEN in the Dagger module
GITHUB_TOKEN: ${{ github.token }}
CODESPACE_TOKEN: ${{ secrets.CODESPACES_PAT }}
with:
module: github.com/BCIT-LTC/daggerverse/codespace-manager@40-codespace-manager-module
call: >-
create-codespace-by-pull-request
--source=.
--token=env://CODESPACE_TOKEN
--organization=${{ github.repository_owner }}
--repo_name=${{ github.event.repository.name }}
--branch_name=${{ github.event.pull_request.head.ref }}
--pull_request_number=${{ github.event.pull_request.number }}
cloud-token: ${{ secrets.DAGGER_CLOUD_TOKEN }}
version: "latest"


38 changes: 38 additions & 0 deletions .github/workflows/delete-codespace-dagger.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,38 @@
name: Codespace Deletion
description: This workflow runs when a pull request is closed. It uses Dagger to delete the codespace associated with the PR.

on:
pull_request:
types: [closed]

jobs:

codespace-manager:
name: Codespace Manager
runs-on: ubuntu-latest
steps:
- name: Checkout code
uses: actions/checkout@v4
# - name: Print all ENVS
# run: printenv
- name: Delete Codespace with Dagger
uses: dagger/dagger-for-github@8.0.0
env:
# setting tokens here so that it can be referenced below without exposing in dagger cloud logs
# should be referenced as env://GITHUB_TOKEN in the Dagger module
GITHUB_TOKEN: ${{ github.token }}
CODESPACE_TOKEN: ${{ secrets.CODESPACES_PAT }}
with:
module: github.com/BCIT-LTC/daggerverse/codespace-manager@40-codespace-manager-module
call: >-
delete-codespace-by-pull-request
--source=.
--token=env://CODESPACE_TOKEN
--organization=${{ github.repository_owner }}
--repo_name=${{ github.event.repository.name }}
--branch_name=${{ github.event.pull_request.head.ref }}
--pull_request_number=${{ github.event.pull_request.number }}
cloud-token: ${{ secrets.DAGGER_CLOUD_TOKEN }}
version: "latest"