Skip to content

Merge pull request #17 from shravanngoswamii/tor/benchmark-update #15

Merge pull request #17 from shravanngoswamii/tor/benchmark-update

Merge pull request #17 from shravanngoswamii/tor/benchmark-update #15

Workflow file for this run

name: Format
on:
push:
branches:
- master
pull_request:
branches:
- master
merge_group:
types: [checks_requested]
concurrency:
# Skip intermediate builds: always.
# Cancel intermediate builds: only if it is a pull request build.
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: ${{ startsWith(github.ref, 'refs/pull/') }}
jobs:
format:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: julia-actions/setup-julia@v2
with:
version: 1
- name: Format code
run: |
using Pkg
Pkg.add(; name="JuliaFormatter", uuid="98e50ef6-434e-11e9-1051-2b60c6c9e899")
using JuliaFormatter
format("."; verbose=true)
shell: julia --color=yes {0}
- uses: reviewdog/action-suggester@v1
if: github.event_name == 'pull_request'
with:
tool_name: JuliaFormatter
fail_on_error: true