Repository navigation

Update badges and CI - #247

Open

devmotion wants to merge 11 commits into

mainfrom

Open

Update badges and CI#247
devmotion wants to merge 11 commits into
mainfrom
dw/badges

Commits on Sep 15, 2025
- Update badges
  devmotion
  authored
  33d74ca
- Remove Travis config
  devmotion
  authored
  d9ea5ca
- Remove docs/Manifest.toml
  devmotion
  authored
  b457f9b
- Update .gitignore
  devmotion
  authored
  3b5e62e
- Update CI
  devmotion
  authored
  9ab1898
Commits on Mar 29, 2026
- Update .github/workflows/Documenter.yml
  
  devmotion
  and
  oxinabox
  authored
  94d8598
- Update .github/workflows/Documenter.yml
  devmotion
  authored
  8ce3903
- Update .github/workflows/CI.yml
  devmotion
  authored
  d091445
Commits on Oct 27, 2026
- Merge branch 'main' into dw/badges
  
  devmotion
  and
  claude
  committed
  f59b178
- Modernize CI setup
  
  devmotion
  and
  claude
  committed
  959dfd6
- Keep the test matrix close to the original
  
  devmotion
  and
  claude
  committed
  b38daad