10 commits

Author	SHA1	Message	Date
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