Skip to content

Add STP-Parti-Bitwuzla Submission for SMT-COMP 2024 #132

Add STP-Parti-Bitwuzla Submission for SMT-COMP 2024

Add STP-Parti-Bitwuzla Submission for SMT-COMP 2024 #132

Workflow file for this run

name: Comment
on:
pull_request_target:
paths:
- submissions/*.json
jobs:
comment:
runs-on: ubuntu-latest
steps:
- name: Check out
uses: actions/checkout@v3
- uses: actions/cache@v3
with:
path: ~/.cache/pre-commit
key: pre-commit-${{ hashFiles('.pre-commit-config.yaml') }}
- name: Set up the environment
uses: ./.github/actions/setup-poetry-env
- name: Compute changed files
id: changed-files
uses: tj-actions/changed-files@v41
with:
files: |
submissions/*.json
- uses: actions/checkout@v3
with:
ref: ${{github.event.pull_request.head.ref}}
repository: ${{github.event.pull_request.head.repo.full_name}}
path: "fork"
- name: Show changed files
run: |
poetry run smtcomp show --into-comment-file comment.md --prefix fork/ ${{ steps.changed-files.outputs.all_changed_files }}
- name: PR comment with file
uses: thollander/actions-comment-pull-request@v2
with:
filePath: comment.md
comment_tag: summary