Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/peterjclaw/srcomp-validate-action
A GitHub Action to validate a compstate.
https://github.com/peterjclaw/srcomp-validate-action
github-actions srcomp
Last synced: about 1 month ago
JSON representation
A GitHub Action to validate a compstate.
- Host: GitHub
- URL: https://github.com/peterjclaw/srcomp-validate-action
- Owner: PeterJCLaw
- Created: 2022-03-27T20:33:57.000Z (over 2 years ago)
- Default Branch: main
- Last Pushed: 2024-05-04T16:37:53.000Z (7 months ago)
- Last Synced: 2024-10-09T23:03:18.826Z (about 1 month ago)
- Topics: github-actions, srcomp
- Language: Python
- Homepage:
- Size: 12.7 KB
- Stars: 1
- Watchers: 3
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# SRComp Validate Action
A GitHub Action to validate a compstate.
## Usage
This action aims to be a fully self-contained validator for Compstate repos. Usage is therefore very simple:
``` yaml
name: Validate
on:
push:
branches:
- main
pull_request:
jobs:
validate:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- uses: PeterJCLaw/[email protected]
```