From 01768b38216aa5e2cbfc3cc7a8bf4b2970c9fb72 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E6=81=95=E5=B1=B1?= Date: Thu, 4 Jul 2024 11:44:20 +0800 Subject: [PATCH 1/2] godel build trigger when specified dir is changed --- .github/workflows/godel_build.yml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/.github/workflows/godel_build.yml b/.github/workflows/godel_build.yml index efe613fb..4c7fa9fa 100644 --- a/.github/workflows/godel_build.yml +++ b/.github/workflows/godel_build.yml @@ -2,9 +2,12 @@ name: GodelScript Build on: push: - branches: [ main, lhk_dev ] + paths: + - godel-script/** pull_request: branches: [ main ] + paths: + - godel-script/** jobs: mac-aarch64-build: From 68e2a35276d677293c77be0973d433086b5f10e1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E6=81=95=E5=B1=B1?= Date: Thu, 4 Jul 2024 11:47:34 +0800 Subject: [PATCH 2/2] trigger ci --- godel-script/.gitignore | 2 +- godel-script/docs/language-reference/databases.md | 2 +- godel-script/docs/language-reference/program.md | 2 +- godel-script/docs/language-reference/schemas.md | 2 +- godel-script/docs/language-reference/type.md | 2 +- 5 files changed, 5 insertions(+), 5 deletions(-) diff --git a/godel-script/.gitignore b/godel-script/.gitignore index 38202cac..969e188c 100644 --- a/godel-script/.gitignore +++ b/godel-script/.gitignore @@ -1,3 +1,3 @@ # build directory build -cmake-build \ No newline at end of file +cmake-build diff --git a/godel-script/docs/language-reference/databases.md b/godel-script/docs/language-reference/databases.md index 609384e6..f477a7b4 100644 --- a/godel-script/docs/language-reference/databases.md +++ b/godel-script/docs/language-reference/databases.md @@ -47,4 +47,4 @@ impl Student { } ``` -Back to [README.md](../../README.md#documents) \ No newline at end of file +Back to [README.md](../../README.md#documents) diff --git a/godel-script/docs/language-reference/program.md b/godel-script/docs/language-reference/program.md index 0bd5c77d..022d1bba 100644 --- a/godel-script/docs/language-reference/program.md +++ b/godel-script/docs/language-reference/program.md @@ -108,4 +108,4 @@ fn main() { } ``` -Back to [README.md](../../README.md#documents) \ No newline at end of file +Back to [README.md](../../README.md#documents) diff --git a/godel-script/docs/language-reference/schemas.md b/godel-script/docs/language-reference/schemas.md index f45fe6e0..86bb38d2 100644 --- a/godel-script/docs/language-reference/schemas.md +++ b/godel-script/docs/language-reference/schemas.md @@ -205,4 +205,4 @@ Judge if this schema instance in universal set of another schema, duck type chec stmt.is() ``` -Back to [README.md](../../README.md#documents) \ No newline at end of file +Back to [README.md](../../README.md#documents) diff --git a/godel-script/docs/language-reference/type.md b/godel-script/docs/language-reference/type.md index 5f097686..0cdab631 100644 --- a/godel-script/docs/language-reference/type.md +++ b/godel-script/docs/language-reference/type.md @@ -109,4 +109,4 @@ fn max(self: *int) -> int; fn find(self: *T0, instance: T1) -> T0; ``` -Back to [README.md](../../README.md#documents) \ No newline at end of file +Back to [README.md](../../README.md#documents)