aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorYann Herklotz <git@yannherklotz.com>2020-08-14 02:19:15 +0100
committerYann Herklotz <git@yannherklotz.com>2020-08-14 02:19:15 +0100
commit9d6979baa0e4b505862bcedee1dfd075f36579c3 (patch)
tree4e678199d57e4d87d38ad92a6ceada28e2578b2a
parent6ba64984bb534d7f12433ad5370a4ea87e0341c9 (diff)
downloadvericert-9d6979baa0e4b505862bcedee1dfd075f36579c3.tar.gz
vericert-9d6979baa0e4b505862bcedee1dfd075f36579c3.zip
Fix links in gh-pages sitev1.0.1
-rw-r--r--.github/workflows/main.yml14
-rw-r--r--docs/index.org4
2 files changed, 16 insertions, 2 deletions
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 7e04aa3..2326979 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -1,5 +1,19 @@
name: CI
+on:
+ push:
+ branches: [ master ]
+ paths:
+ - "**.v"
+ - "**.ml"
+ - "**.mli"
+ pull_request:
+ branches: [ master ]
+ paths:
+ - "**.v"
+ - "**.ml"
+ - "**.mli"
+
jobs:
build:
runs-on: ubuntu-latest
diff --git a/docs/index.org b/docs/index.org
index 907ac25..6ec0130 100644
--- a/docs/index.org
+++ b/docs/index.org
@@ -12,7 +12,7 @@ The project is currently a work in progress, so proofs remain to be finished. C
- local arrays and pointers
- control-flow structures such as if-statements, for-loops, etc...
-* TOC
+* Content
-[[/docs/toc.html][- Vericert Coq Documentation]]
+- [[./docs/toc.html][Vericert Coq Documentation]]
- [[./building.org][Building Vericert]]