From f7149bf41af0ca7b8bb29a2e0a9249ea48da0e46 Mon Sep 17 00:00:00 2001 From: Aaron Bembenek Date: Thu, 17 Oct 2024 16:45:36 +1100 Subject: [PATCH] Minor fixes (#93) * Run Maven workflow only on source changes. * Fix link. --- .github/workflows/maven.yml | 6 ++++-- docs/lang_ref/index.md | 2 +- 2 files changed, 5 insertions(+), 3 deletions(-) diff --git a/.github/workflows/maven.yml b/.github/workflows/maven.yml index 0e4ce69d..2041e261 100644 --- 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 index a4e49da0..dbecc29f 100644 --- 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 %}). \ No newline at end of file +For an overview of Formulog and its motivations, we recommend checking out our [publications]({{ site.base_url }}{% link pubs.md %}). \ No newline at end of file