Skip to content

add docker-helper.sh to lift examples using pac-nix docker image #514

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
katrinafyi merged 5 commits into from
Aug 4, 2025
Merged

add docker-helper.sh to lift examples using pac-nix docker image #514

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
e649567
add docker-helper.sh to lift examples using pac-nix docker image
katrinafyi Jul 17, 2025
e77d227
add readme
katrinafyi Jul 17, 2025
1e78486
move docs into mdbook
katrinafyi Jul 23, 2025
7cda677
ci: increase link checking retry and timeout
katrinafyi Jul 23, 2025
1ee7f1b
liftmake.sh: fall back to $GCC if $CC unset
katrinafyi Jul 23, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 8 additions & 0 deletions .gitattributes
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,3 +1,11 @@
*.mill linguist-language=Scala
mill linguist-generated
mill.bat linguist-generated

src/test/compiled.url.txt text eol=lf
src/test/make/docker-flake.txt text eol=lf

Makefile text eol=lf
*.sh text eol=lf
*.mk text eol=lf
*.md5sum text eol=lf linguist-generated
2 changes: 2 additions & 0 deletions .github/workflows/check-doc-links.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -23,6 +23,8 @@ args=(
--insecure
--no-progress
--max-concurrency 16
--max-retries 10
--timeout 40
"$@"
)

Expand Down
1 change: 1 addition & 0 deletions docs/src/SUMMARY.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -31,6 +31,7 @@
# Devleopment Guidelines

- [Testing](development/testing.md)
- [Integration (system) tests](development/integration-tests.md)
- [Assertions](development/assertions.md)
- [Scala](development/scala.md)

Expand Down
Loading