Commit graph

18 commits

Author SHA1 Message Date
Laurent d26ec690e8 (CI) add bounty stale bot 2024-03-05 14:13:59 +01:00
Pierre Chapuis 98e2ab94c9 fix CI (again)
https://github.com/eifinger/setup-rye/releases/tag/v2.0.0
2024-03-04 11:28:40 +01:00
Pierre Chapuis 83ff8f7007 fix CI
https://github.com/eifinger/setup-rye/releases/tag/v1.16.1
2024-03-02 14:07:13 +01:00
Cédric Deltheil d7aadf99de add spelling.yml to spot spelling mistakes
See https://github.com/crate-ci/typos/blob/master/docs/github-action.md
for details
2024-02-07 17:51:25 +01:00
Hugues Pouillot 1fa5266f56 fix github actions triggers 2024-02-06 16:48:18 +01:00
Cédric Deltheil 5984e8a4f1 docs.yml: fix changes from #230
i.e.  every step must define a `uses` or `run` key
2024-02-01 15:57:29 +01:00
Cédric Deltheil 3a9cd95615 docs.yml: revamp workflow
Adapted from the Material for MkDocs template[1]. The former workflow
was using mkdocs-deploy-gh-pages[2] which runs in an Alpine-based Docker
container preventing from installing PyTorch (needed for mkdocstrings).

[1]:
https://squidfunk.github.io/mkdocs-material/publishing-your-site/#with-github-actions
[2]:
https://github.com/mhausenblas/mkdocs-deploy-gh-pages
2024-02-01 15:45:45 +01:00
Cédric Deltheil b94706ff79 ci.yml: specify including paths 2024-02-01 11:20:07 +01:00
Cédric Deltheil 07cb2ff21c gh-pages: update CUSTOM_DOMAIN env variable
docs.refine.rs -> refine.rs
2024-01-31 16:10:43 +01:00
Cédric Deltheil d7cce87fa4 set CUSTOM_DOMAIN in docs.yml GH workflow
See:
https://github.com/mhausenblas/mkdocs-deploy-gh-pages/tree/master#custom-domain-for-github-pages
2024-01-11 11:02:07 +01:00
Cédric Deltheil 60981b79a6 add github workflow for mkdocs 2024-01-08 17:54:54 +01:00
Pierre Chapuis a08e04c5af fix CI on push
for reference, documentation is here:
ttps://docs.github.com/en/actions/learn-github-actions/contexts#github-context
2024-01-08 10:17:21 +01:00
Pierre Chapuis c27fd62fc5 add a way to run CI on external PRs using a label 2023-12-14 17:52:56 +01:00
limiteinductive 86c54977b9 replace poetry by rye for python dependency management
Co-authored-by: Cédric Deltheil <cedric@deltheil.me>
Co-authored-by: Pierre Chapuis <git@catwell.info>
2023-12-08 17:40:10 +01:00
Pierre Chapuis 0dfdd0d419 use extras instead of groups 2023-09-13 17:02:47 +02:00
Pierre Chapuis 7651daa01f update checkout action 2023-09-04 15:54:10 +02:00
Pierre Chapuis 32c1cfdbb1 add black to CI 2023-08-30 14:50:03 +02:00
Cédric Deltheil 48f674c433 initial commit 2023-08-04 15:28:41 +02:00