Skip to content

Merge branch 'main' of github.com:propensive/fury #129

Merge branch 'main' of github.com:propensive/fury

Merge branch 'main' of github.com:propensive/fury #129

Workflow file for this run

name: Repo Admin
on:
push:
branches: [ main ]
paths:
- doc/*
- src/*/*.scala
jobs:
admin:
runs-on: ubuntu-latest
permissions:
contents: write
steps:
- name: Checkout
uses: actions/checkout@v3
- name: Tidy repository
uses: propensive/[email protected]
- name: Autocommit changes
uses: stefanzweifel/git-auto-commit-action@v4