Skip to content

Add GAP syntax highlight #2

Add GAP syntax highlight

Add GAP syntax highlight #2

name: "Bot: Send Close Pull Request Signal"
on:
pull_request:
types:
[closed]
jobs:
send-close-signal:
name: "Send closing signal"
runs-on: ubuntu-latest
if: ${{ github.event.action == 'closed' }}
steps:
- name: "Create PRtifact"
run: |
mkdir -p ./pr
printf ${{ github.event.number }} > ./pr/NUM
- name: Upload Diff
uses: actions/upload-artifact@v4
with:
name: pr
path: ./pr