Skip to content

Commit dbec163

Browse files
authored
Initial commit
0 parents  commit dbec163

30 files changed

+1230
-0
lines changed

.config/dotnet-tools.json

+12
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
{
2+
"version": 1,
3+
"isRoot": true,
4+
"tools": {
5+
"fsdocs-tool": {
6+
"version": "20.0.1",
7+
"commands": [
8+
"fsdocs"
9+
]
10+
}
11+
}
12+
}

.github/workflows/build-and-test.yml

+44
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,44 @@
1+
name: Build and test
2+
3+
on:
4+
push:
5+
branches: [ main ]
6+
pull_request:
7+
branches: [ main ]
8+
9+
10+
jobs:
11+
build-and-test-linux:
12+
13+
runs-on: ubuntu-latest
14+
15+
steps:
16+
- uses: actions/checkout@v4
17+
- name: Setup .NET
18+
uses: actions/setup-dotnet@v4
19+
with:
20+
dotnet-version: 8.x.x
21+
- name: make script executable
22+
run: chmod u+x build.sh
23+
- name: Build and test
24+
working-directory: ./
25+
run: ./build.sh runTests
26+
- name: Upload coverage reports to Codecov
27+
uses: codecov/codecov-action@v5
28+
with:
29+
token: ${{ secrets.CODECOV_TOKEN }}
30+
slug: BioFSharp/BioFSharp.XYZ
31+
32+
build-and-test-windows:
33+
34+
runs-on: windows-latest
35+
36+
steps:
37+
- uses: actions/checkout@v4
38+
- name: Setup .NET
39+
uses: actions/setup-dotnet@v4
40+
with:
41+
dotnet-version: 8.x.x
42+
- name: Build and test
43+
working-directory: ./
44+
run: ./build.cmd runTests

.github/workflows/deploy-docs.yml

+31
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,31 @@
1+
name: Deploy Docs
2+
3+
on:
4+
push:
5+
branches: [ main ]
6+
paths:
7+
- 'docs/**'
8+
9+
jobs:
10+
deploy:
11+
runs-on: ubuntu-latest
12+
steps:
13+
- name: Checkout
14+
uses: actions/checkout@v4
15+
- name: make script executable
16+
run: chmod u+x build.sh
17+
- name: Setup .NET
18+
uses: actions/setup-dotnet@v4
19+
with:
20+
dotnet-version: 8.x.x
21+
- name: make script executable
22+
run: chmod u+x build.sh
23+
- name: restore tools
24+
run: dotnet tool restore
25+
- name: Build Docs
26+
working-directory: ./
27+
run: ./build.sh builddocs
28+
- name: Deploy
29+
uses: JamesIves/github-pages-deploy-action@v4
30+
with:
31+
folder: output # The folder the action should deploy.

0 commit comments

Comments
 (0)