Merge branch 'main' into release

convince-project · May 31, 2024 · 1889c85 · 1889c85
2 parents d229d6b + b6bf2e4
commit 1889c85
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 6 deletions.
diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
@@ -5,11 +5,7 @@ permissions:
   pages: write
   id-token: write
 
-on:
-  push:
-    branches: [ "main" ]
-  pull_request:
-    branches: [ "main" ]
+on: [push, pull_request]
 
 env:
   CARGO_TERM_COLOR: always

diff --git a/README.md b/README.md
@@ -12,7 +12,7 @@ There is no released version yet.
 
 ## Documentation
 
-API docs for the library crates are hosted at [](https://convince-project.github.io/scan).
+API docs for the library crates are hosted at [https://convince-project.github.io/scan/scan](https://convince-project.github.io/scan/scan).
 
 There is currently no user documentation/manual yet.