This repository has no description
🧑💻 Name CI jobs and workflows
author
Gwenn Le Bihan
date
(Oct 22, 2025, 7:01 PM +0200)
commit
811115ca
811115ca1ca1347b10e0dab530f4c3298ebedfff
parent
5192c6d2
5192c6d2a69bcb724026e47507ad575e92ad8fdf
+14
-7
+7
-4
.github/workflows/check.yml
+7
-4
.github/workflows/check.yml
···
1
+
name: Checks
2
+
1
3
on:
2
4
pull_request: {}
3
-
push: { branches: [ main ] }
5
+
push: { branches: [main] }
4
6
5
7
jobs:
6
-
perf-check:
8
+
benchmark:
9
+
name: Benchmark
7
10
runs-on: ubuntu-latest
8
11
steps:
9
12
- uses: actions/checkout@v5
···
52
55
53
56
${{ steps.video.outputs.artifact-url }}
54
57
check:
58
+
name: Lint
55
59
runs-on: ubuntu-latest
56
60
steps:
57
61
- uses: actions/checkout@v5
···
66
70
with: { command: check, args: --no-default-features --features web }
67
71
68
72
test:
73
+
name: Test
69
74
runs-on: ubuntu-latest
70
75
steps:
71
76
- uses: actions/checkout@v5
···
76
81
- uses: Swatinem/rust-cache@v2
77
82
- uses: actions-rs/cargo@v1
78
83
with: { command: test, args: --workspace }
79
-
80
-
+3
.github/workflows/deploy.yml
.github/workflows/demo.yml
+3
.github/workflows/deploy.yml
.github/workflows/demo.yml
+4
-3
.github/workflows/docs.yml
+4
-3
.github/workflows/docs.yml
···
1
+
name: Documentation
2
+
1
3
on:
2
4
push:
3
5
branches: [main]
···
6
8
contents: write
7
9
8
10
jobs:
9
-
deploy-docs:
11
+
deploy:
12
+
name: Deploy
10
13
runs-on: ubuntu-latest
11
14
steps:
12
15
- uses: actions/checkout@v5
···
31
34
force_orphan: true
32
35
publish_dir: target/doc
33
36
github_token: "${{ secrets.GITHUB_TOKEN }}"
34
-
35
-