Skip to content

Update documentation formatting and infrastructure - #792

Merged
devmotion merged 6 commits into
JuliaDiff:masterfrom
abhro:docs
Jan 2, 2026
Merged

Update documentation formatting and infrastructure#792
devmotion merged 6 commits into
JuliaDiff:masterfrom
abhro:docs

Conversation

@abhro

@abhroabhro commented Jan 2, 2026

Copy link
Copy Markdown
Contributor

Mostly minor fix-ups. Please see each commit for a more self-contained change.

- Give steps names
- Use `shell:` option for cleaner command specificatiosn
Make multi-line formulae appear as intended
@codecov

codecovBot commented Jan 2, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 90.75%. Comparing base (e1eb522) to head (7d3b67c).
⚠️ Report is 1 commits behind head on master.

Additional details and impacted files
@@ Coverage Diff @@## master #792 +/- ##
=======================================
Coverage 90.75% 90.75% =======================================
Files 11 11 Lines 1071 1071 =======================================
Hits 972 972 Misses 99 99 

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@abhro

abhro commented Jan 2, 2026

Copy link
Copy Markdown
ContributorAuthor

All CI failures are limited to the pre-release version

Comment thread.github/workflows/ci.yml Outdated
Comment threaddocs/src/dev/how_it_works.md
@abhro

abhro commented Jan 2, 2026

Copy link
Copy Markdown
ContributorAuthor

Umm, not sure why there are suddenly new CI failures on 56749e0. Especially since the commit doesn't change any relevant code for it?

Comment thread.github/workflows/ci.yml Outdated
Comment thread.github/workflows/ci.yml Outdated
Signed-off-by: abhro <5664668+abhro@users.noreply.github.com>
@devmotion
devmotion merged commit 71258ec into JuliaDiff:masterJan 2, 2026
21 of 27 checks passed
@abhro
abhro deleted the docs branch January 2, 2026 14:25
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

@abhro@devmotion