15 Commits

Author	SHA1	Message	Date
Hendrik Eeckhaut	7bf9e4397e	Fixed publish dir	2023-08-30 18:50:09 +02:00
Hendrik Eeckhaut	5a7740bfe4	Added a link-checker to the documentation build	2023-08-09 09:38:36 +02:00
Hendrik Eeckhaut	087736f7ad	GitHub action: Corrected html publish dir	2023-07-25 11:39:34 +02:00
Hendrik Eeckhaut	68125dd093	Build for every commit ... only deploy for main branch	2023-07-25 10:54:09 +02:00
Hendrik Eeckhaut	2efef87eeb	Updated mdbook and katex version	2023-07-25 10:00:02 +02:00
sinu	47255f91ef	add CNAME to gh-pages workflow	2023-01-20 11:48:57 -08:00
sinu	027829f163	update publish dir	2022-11-28 12:53:53 -08:00
sinu	4ff0da86ec	allow_empty_commit	2022-11-28 12:42:06 -08:00
sinu	db39936576	manual deploy action	2022-11-28 12:33:01 -08:00
sinu	06c767ff71	unzip bin to /usr/local/bin	2022-11-28 12:23:26 -08:00
sinu	81345e2476	fetch mdbook-katex bin instead of build	2022-11-28 12:21:31 -08:00
sinu	471f3d8957	update mdbook-katex dependency	2022-11-28 10:50:25 -08:00
sinu	d59eff3b60	update github action	2022-11-23 12:50:03 -08:00
sinuio	8d94d53f32	remove pr trigger	2022-07-08 15:40:16 -07:00
sinuio	c7fb5cb671	add github action	2022-07-08 15:39:00 -07:00