-
Notifications
You must be signed in to change notification settings - Fork 72
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge remote-tracking branch 'upstream/main' into dfa-search
- Loading branch information
Showing
203 changed files
with
31,653 additions
and
3,029 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,9 +1,14 @@ | ||
# References | ||
<!-- Any issues or pull requests relevant to this pull request --> | ||
<!-- | ||
Set the PR title to a meaningful commit message in imperative form. E.g.: | ||
clp-s: Don't add implicit wildcards ('*') at the beginning and the end of a query (fixes #390). | ||
--> | ||
|
||
# Description | ||
<!-- Describe what this request will change/fix and provide any details necessary for reviewers --> | ||
<!-- Describe what this request will change/fix and provide any details necessary for reviewers. --> | ||
|
||
|
||
|
||
# Validation performed | ||
<!-- What tests and validation you performed on the change --> | ||
<!-- Describe what tests and validation you performed on the change. --> | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,38 @@ | ||
name: "clp-docs" | ||
|
||
on: | ||
pull_request: | ||
push: | ||
workflow_dispatch: | ||
|
||
concurrency: | ||
group: "${{github.workflow}}-${{github.ref}}" | ||
# Cancel in-progress jobs for efficiency | ||
cancel-in-progress: true | ||
|
||
jobs: | ||
build: | ||
strategy: | ||
matrix: | ||
os: ["macos-latest", "ubuntu-latest"] | ||
runs-on: "${{matrix.os}}" | ||
steps: | ||
- uses: "actions/checkout@v4" | ||
with: | ||
submodules: "recursive" | ||
|
||
- uses: "actions/setup-python@v5" | ||
with: | ||
python-version: "3.10" | ||
|
||
- name: "Install task" | ||
shell: "bash" | ||
run: "npm install -g @go-task/cli" | ||
|
||
- if: "matrix.os == 'macos-latest'" | ||
name: "Install coreutils (for md5sum)" | ||
run: "brew install coreutils" | ||
|
||
- name: "Build docs" | ||
shell: "bash" | ||
run: "task docs:site" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.