generated from github-education-resources/primer-copilot
-
Notifications
You must be signed in to change notification settings - Fork 2
84 lines (73 loc) · 3.01 KB
/
1-copilot-extension.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
name: Step 1, Copilot Extension in a Codespace
# This step triggers after push to main#devcontainer.json.
# This workflow updates from step 1 to step 2.
# This will run every time we main#devcontainer.json
# Reference: https://docs.github.com/en/actions/learn-github-actions/events-that-trigger-workflows
on:
workflow_dispatch:
push:
paths:
- ".devcontainer/devcontainer.json"
branches:
- main
# Reference: https://docs.github.com/en/actions/security-guides/automatic-token-authentication
permissions:
# Need `contents: read` to checkout the repository.
# Need `contents: write` to update the step metadata.
contents: write
jobs:
# The purpose of this job is to output the current step number
# (retreived from the step file). This output variable can
# then be referenced in other jobs and used in conditional.
# expressions.
get_current_step:
name: Check current step number
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
- id: get_step
run: echo "current_step=$(cat ./.github/steps/-step.txt)" >> $GITHUB_OUTPUT
outputs:
current_step: ${{ steps.get_step.outputs.current_step }}
on_add_devcontainer:
name: On Add Devcontainer
needs: get_current_step
# We will only run this action when:
# 1. This repository isn't the template repository.
# Reference: https://docs.github.com/en/actions/learn-github-actions/contexts
# Reference: https://docs.github.com/en/actions/learn-github-actions/expressions
if: ${{ !github.event.repository.is_template && needs.get_current_step.outputs.current_step == 1 }}
# We'll run Ubuntu for performance instead of Mac or Windows.
runs-on: ubuntu-latest
steps:
# We'll need to check out the repository so that we can edit the README.
- name: Checkout
uses: actions/checkout@v4
# Verify the learner added the file contents.
- name: Check workflow contents, jobs
uses: skills/action-check-file@v1
with:
file: ".devcontainer/devcontainer.json"
search: "GitHub.copilot"
# In README.md, switch step 1 for step 2.
- name: Update to step 2
uses: skills/action-update-step@v2
with:
token: ${{ secrets.GLOBAL_CLASSROOM_ORG_TOKEN }}
from_step: 1
to_step: 2
# Commits pushed by an Action will not create a new workflow run. To work
# around this, create a repository_dispatch event to ensure that GitHub
# Classroom's autograding workflow runs on the commit created by
# skills/action-update-step.
# Reference: https://docs.github.com/en/actions/using-workflows/triggering-a-workflow#triggering-a-workflow-from-a-workflow
- name: Trigger autograding workflow
run: |
gh api \
--method POST \
-H "Accept: application/vnd.github+json" \
"/repos/${GITHUB_REPOSITORY}/dispatches" \
-f "event_type=autograde"
env:
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}