WIP updates

djmaxus · Aug 16, 2024 · 5fc5b0c · 5fc5b0c
1 parent 6668a9b
commit 5fc5b0c
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 5 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,8 +1,10 @@
 name: CI
+
 on:
   push:
   pull_request:
     branches: [ "master", "develop" ]
+  workflow_dispatch:
 
 env:
   CARGO_TERM_COLOR: always

diff --git a/.github/workflows/webpage.yml b/.github/workflows/webpage.yml
@@ -1,9 +1,8 @@
-name: Deploy Jekyll with GitHub Pages dependencies preinstalled
+name: Repository webpage
 
 on:
   push:
     branches: ["master"]
-  workflow_dispatch:
 
 permissions:
   contents: read
@@ -12,7 +11,7 @@ permissions:
 
 concurrency:
   group: "pages"
-  cancel-in-progress: true
+  cancel-in-progress: false
 
 jobs:
   build:

diff --git a/ci.sh b/ci.sh
@@ -8,5 +8,5 @@ cargo clippy --profile=ci --all-features --tests --examples -- -Dwarnings && \
 cargo nextest run --cargo-profile=ci --workspace --all-features --hide-progress-bar --failure-output final && \
 cargo test --profile=ci --doc
 
-# TODO: no_std tests
-# TODO: cargo audit
+# TODO no_std tests
+# TODO cargo audit