Skip to content

Convert user id to string for ease of usage #26

Convert user id to string for ease of usage

Convert user id to string for ease of usage #26

name: Build / Lint / Format Check
on:
push:
branches:
- master
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: actions/setup-dotnet@v4
with:
dotnet-version: "8.x"
- run: dotnet build
# lint:
# runs-on: ubuntu-latest
# steps:
# - uses: actions/checkout@v4
# - uses: actions/setup-dotnet@v4
# with:
# dotnet-version: "8.0.105"
# - name: Install Tools
# run: dotnet tool restore
# - run: dotnet dotnet-fsharplint lint JimBroBot.fsproj
format_check:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: actions/setup-dotnet@v4
with:
dotnet-version: "8.x"
- name: Install Tools
run: dotnet tool restore
- run: dotnet fantomas --check .