Skip to content

Generate Hermes binaries #215

Generate Hermes binaries

Generate Hermes binaries #215

name: Generate Hermes binaries
on:
schedule:
- cron: "0 0 * * *" # every day at midnight
jobs:
gen-hermes:
name: "Generate hermes binaries"
runs-on: ubuntu-latest
concurrency: gen-hermes
steps:
- uses: actions/checkout@v3
- run: ./scripts/gen-hermes
- name: Create Pull Request
id: cpr
uses: peter-evans/create-pull-request@v4
with:
title: "feat(hermes): update binaries"
commit-message: "feat(hermes): update binaries"
body: |
## DESCRIPTION
[New Hermes Release](https://github.com/informalsystems/hermes/releases/latest)
### DISCLAIMER
**After merging this PR, create a release tag based on the Hermes binary version using this pattern: `hermes/<HERMES-BINARY-VERSION>`.**
_Eg: `hermes/v1.8.2`_
branch: feat/gen-hermes
delete-branch: true