Skip to content

Commit

Permalink
Reorder workaround + rename lint/workflow filename
Browse files Browse the repository at this point in the history
  • Loading branch information
arnavb committed May 31, 2024
1 parent c71f03d commit 861d33b
Showing 1 changed file with 3 additions and 4 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@ jobs:
with:
dotnet-version: '8.x'
- run: dotnet build
lint_check:
lint:
runs-on: ubuntu-latest

steps:
Expand All @@ -24,11 +24,10 @@ jobs:
with:
dotnet-version: |
6.0.403
8.x
- name: Install Tools
run: dotnet tool restore
- name: Temporary workaround
run: dotnet new globaljson --sdk-version 6.0.403 --roll-forward minor
- name: Install Tools
run: dotnet tool restore
- run: dotnet dotnet-fsharplint lint JimBroBot.fsproj
format_check:
runs-on: ubuntu-latest
Expand Down

0 comments on commit 861d33b

Please sign in to comment.