Skip to content

CI: stop relying on custom zarith pin #1401

CI: stop relying on custom zarith pin

CI: stop relying on custom zarith pin #1401

Workflow file for this run

name: Check changelog
on:
pull_request:
branches:
- master
types:
- labeled
- opened
- reopened
- synchronize
- unlabeled
jobs:
check-changelog:
name: Check changelog
runs-on: ubuntu-latest
steps:
- name: Check changelog
uses: tarides/changelog-check-action@v1