Skip to content

Update the CHERI OS-feature matrix to CheriBSD 23.11 #35

Update the CHERI OS-feature matrix to CheriBSD 23.11

Update the CHERI OS-feature matrix to CheriBSD 23.11 #35

Workflow file for this run

name: ClosePullRequestAction
on:
pull_request_target:
types: [closed]
branches: [ master ]
jobs:
close:
runs-on: self-hosted
steps:
- name: Initialise environment
run: cat "$GITHUB_WORKSPACE/website/.github-env-$GITHUB_BASE_REF" >> $GITHUB_ENV
- name: Clean up
run: /srv/github-action-scripts/close-pr.sh