Minor fixes (#93)

* Run Maven workflow only on source changes. * Fix link.
HarvardPL · Oct 17, 2024 · f7149bf · f7149bf
1 parent 4a4efaa
commit f7149bf
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git a/.github/workflows/maven.yml b/.github/workflows/maven.yml
@@ -10,9 +10,11 @@ name: Java CI with Maven
 
 on:
   push:
-    branches: [ "master" ]
+    branches: ["master"]
+    paths: ["src/**"]
   pull_request:
-    branches: [ "master" ]
+    branches: ["master"]
+    paths: ["src/**"]
 
 jobs:
   build:

diff --git a/docs/lang_ref/index.md b/docs/lang_ref/index.md
@@ -9,4 +9,4 @@ nav_order: 5
 This set of documents describes the Formulog language (as opposed to its current implementation).
 Please raise a [GitHub issue](https://github.com/HarvardPL/formulog/issues/new) if anything is unclear, incomplete, or incorrect :)
 
-For an overview of Formulog and its motivations, we recommend checking out our [publications]({{ site.baseurl }}{% link pubs.md %}).
+For an overview of Formulog and its motivations, we recommend checking out our [publications]({{ site.base_url }}{% link pubs.md %}).