Fixed broken links. CI pipeline for PRs.

.github/workflows/pr.yml

@@ -0,0 +1,20 @@
+name: ci-docs
+
+on:
+  pull_request:
+    branches:
+      - master
+
+jobs:
+  build:
+    runs-on: ubuntu-20.04
+    steps:
+      - uses: actions/checkout@v2
+        with:
+          fetch-depth: 0
+      - uses: actions/setup-node@v3
+        with:
+          node-version: 16
+      - uses: extractions/setup-just@v1
+      - name: Build
+        run: just build

docusaurus/docs/backends/01-what-is-a-backend.md

@@ -5,7 +5,7 @@ sidebar_position: 1
 # What is a backend?
 
 You can think of a backend as a target platform for your smart contract.
-This can be a piece of code allowing you to quickly check your code - like [OdraVM](02-mock-vm.md),
+This can be a piece of code allowing you to quickly check your code - like [OdraVM](02-odra-vm.md),
 a complete virtual machine, spinning up a blockchain for you - like [CasperVM](03-casper.md),
 or even a real blockchain - when using [Livenet backend](03-casper.md).
 

docusaurus/docs/backends/03-casper.md

@@ -226,7 +226,7 @@ You have to build it using your SDK.
 
 ## Execution
 
-First thing Odra does with your code, is similar to the one used in [OdraVM](02-mock-vm.md) - 
+First thing Odra does with your code, is similar to the one used in [OdraVM](02-odra-vm.md) - 
 a list of entrypoints is generated, thanks to the `#[odra::module]` macro.
 
 ```mermaid

justfile

@@ -2,6 +2,7 @@ install:
     cd docusaurus && npm install
 
 build:
+    just install
     cd docusaurus && npm run build
     rm -rf docs
     cp -r docusaurus/build docs
@@ -19,7 +20,6 @@ docs-new-version version:
     cd docusaurus && npm run docusaurus docs:version {{version}}
 
 ci-build-and-commit:
-    just install
     just build
     git config --local user.email "[email protected]"
     git config --local user.name "GitHub Action"