Skip to content

Merge branch 'main' into brendt/ray #3532

Merge branch 'main' into brendt/ray

Merge branch 'main' into brendt/ray #3532

Workflow file for this run

# Check file types and sizes
name: check files
on: [push, pull_request]
jobs:
checkfiles:
runs-on: ubuntu-latest
steps:
- name: checkout
uses: actions/checkout@v3
- id: files
uses: Ana06/[email protected]
continue-on-error: true
- run: |
for f in ${{ steps.files.outputs.added }}; do
${GITHUB_WORKSPACE}/.github/./isbin.sh $f
done