Skip to content

Implement scoring for SR2025 #14

Implement scoring for SR2025

Implement scoring for SR2025 #14

Workflow file for this run

name: Validate
on:
push:
branches:
- main
pull_request:
jobs:
validate:
runs-on: ubuntu-latest
steps:
- name: Checkout sources
uses: actions/checkout@v3
- uses: PeterJCLaw/srcomp-validate-action@v0.7