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: 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)