Eric Huss
f7e212ec9c
Merge pull request #2150 from proski/header-code-background
...
Don't use distinct background for code in headers when printing
2023-08-03 22:46:50 +00:00
Pavel Roskin
228538ea62
Don't use distinct background for code in headers when printing
...
Fixes #1933
2023-08-02 23:31:46 -07:00
Eric Huss
347e7886e1
Merge pull request #2152 from ehuss/macos-notify-kqueue
...
Switch macOS notify to kqueue.
2023-08-02 22:13:09 +00:00
Eric Huss
bfa5fb8844
Switch macOS notify to kqueue.
2023-08-02 09:21:25 -07:00
Eric Huss
a8fd6038f1
Merge pull request #2151 from ehuss/revert-toml
...
Revert toml update
2023-08-02 15:49:44 +00:00
Eric Huss
fbfe887084
Add note to not update toml.
2023-08-02 08:39:23 -07:00
Eric Huss
aed991f75f
Revert "Merge pull request #2125 from ehuss/update-toml"
...
This reverts commit 89797064b8
, reversing
changes made to 7824aed878
.
2023-08-02 08:32:44 -07:00
Eric Huss
ab2cb71c00
Merge pull request #2134 from GiorgioReale/master
...
Enhancing themes with `color-scheme: light | dark;` implementation in CSS
2023-07-30 22:50:08 +00:00
Giorgio Reale
fcfde083e7
Enhancing themes with color-scheme: light | dark;
implementation in CSS
2023-07-30 15:43:51 -07:00
Eric Huss
4614a3637a
Merge pull request #2146 from riverbl/fix-extra-watch-dirs
...
Fix issues with extra-watch-dirs
2023-07-30 17:08:46 +00:00
Eric Huss
d450544d6b
Merge pull request #2148 from ehuss/fix-merge-queue
...
Use a better merge-queue success check.
2023-07-29 16:23:04 +00:00
Eric Huss
9340e6a78d
Use a better merge-queue success check.
2023-07-29 09:13:55 -07:00
riverbl
e00b8835cc
Fix issues with extra-watch-dirs
...
Fix paths specified in extra-watch-dirs being relative to the current working directory rather than the book root
If there is an error canonicalising paths in extra-watch-dirs, log the error and exit rather than panicking
2023-07-28 20:07:20 +01:00
Eric Huss
429ca06289
Merge pull request #2140 from ehuss/merge-queue-workflow
...
Prepare CI workflows to support merge queues.
2023-07-24 20:35:16 -07:00
Eric Huss
0fbfc90bea
Prepare CI workflows to support merge queues.
2023-07-24 20:16:07 -07:00
Eric Huss
581e5025a2
Merge pull request #2139 from tshepang/patch-1
...
misplaced bracket
2023-07-21 07:32:56 -07:00
Tshepang Mbambo
e57fce290b
misplaced bracket
2023-07-21 15:29:56 +02:00
Eric Huss
d5a3682de9
Merge pull request #2137 from ehuss/mdbook-case-link
...
Fix link on case-sensitive filesystems.
2023-07-19 08:06:35 -07:00
Eric Huss
75f5862218
Fix link on case-sensitive filesystems.
2023-07-19 07:54:39 -07:00
Eric Huss
aed518f945
Merge pull request #2129 from ehuss/bump-version
...
Update to 0.4.32
2023-07-16 17:43:49 -07:00
Eric Huss
e942d41c1d
Merge pull request #2128 from ehuss/release-token-perms
...
deploy: Rewrite and update permissions
2023-07-16 17:38:21 -07:00
Eric Huss
38fcfd8732
Update to 0.4.32
2023-07-16 17:35:51 -07:00
Eric Huss
82ec68128d
Merge pull request #2127 from ehuss/auto-publish
...
Automatically publish to crates.io on new release
2023-07-16 17:28:50 -07:00
Eric Huss
9497354cfd
Rewrite asset deploy.
...
This switches to `gh` which is the more modern CLI, and also
available by default which removes the old installer script.
This also tightens the scope where GITHUB_TOKEN is exposed to just
the step where `gh` is executed.
Finally, it tightens the permissions on the GITHUB_TOKEN (though
`contents: write` is extremely permissive, since that allows writing to
almost anything in the repo).
2023-07-16 17:16:15 -07:00
Eric Huss
baa936439d
deploy: Set the default shell so it doesn't need to be repeated.
2023-07-16 17:12:55 -07:00
Eric Huss
394061d28d
Rename make-release.sh to make-release-asset.sh
...
This is to better reflect what the script does.
2023-07-16 17:12:29 -07:00
Eric Huss
0f25db67dc
Automatically publish to crates.io on new release
2023-07-16 16:29:45 -07:00
Eric Huss
49ba91961f
Merge pull request #2126 from ehuss/update-deps
...
Update dependencies
2023-07-16 13:32:55 -07:00
Eric Huss
28ce772ae9
Update msrv to 1.66.
2023-07-16 13:21:45 -07:00
Eric Huss
424c2d9f6b
Update dependencies
2023-07-16 13:09:52 -07:00
Eric Huss
89797064b8
Merge pull request #2125 from ehuss/update-toml
...
Update toml to 0.7.6
2023-07-16 13:08:40 -07:00
Eric Huss
7824aed878
Merge pull request #2124 from ehuss/update-predicates
...
Update predicates to 3.0.3
2023-07-16 12:51:51 -07:00
Eric Huss
8236c43c90
Merge pull request #2123 from ehuss/update-notify
...
Update notify to 6.0.1
2023-07-16 12:50:17 -07:00
Eric Huss
6df89fbe94
Merge pull request #2122 from ehuss/update-opener
...
Update opener to 0.6.1
2023-07-16 12:50:10 -07:00
Eric Huss
b423bf7ddd
Update toml to 0.7.6
2023-07-16 12:48:01 -07:00
Eric Huss
cdbdb8248c
Merge pull request #2121 from ehuss/update-clap
...
Update to clap 4.3.12
2023-07-16 12:43:44 -07:00
Eric Huss
db45052d7e
Update predicates to 3.0.3
2023-07-16 12:42:44 -07:00
Eric Huss
804bbf6564
Update notify to 6.0.1
2023-07-16 12:40:45 -07:00
Eric Huss
bd3b9bacf6
Update opener to 0.6.1
2023-07-16 12:37:23 -07:00
Eric Huss
5505d57066
Update to clap 4.3.12
2023-07-16 12:33:53 -07:00
Eric Huss
cf88c4e720
Merge pull request #2116 from Stargateur/patch-1
...
Add oh-my-zsh quick exemple to shell completions
2023-07-16 10:59:37 -07:00
Eric Huss
9911e86039
Merge pull request #2118 from zica87/zica87-patch-1
...
Fix theme-color meta tag not syncing with the theme
2023-07-16 10:55:53 -07:00
zica
9eba0f6ab2
Fix theme-color meta tag not syncing with the theme
2023-07-09 08:57:46 +08:00
Antoine
6d265c1cce
Add oh-my-zsh quick exemple to shell completions
...
I have trouble to find this information, doesn't cost must to add it here.
2023-07-08 13:48:51 +02:00
Eric Huss
904aa530b5
Merge pull request #2111 from ehuss/bump-version
...
Update to 0.4.31
2023-06-29 13:10:11 -07:00
Eric Huss
fa316f3edc
Update to 0.4.31
2023-06-29 12:33:55 -07:00
Eric Huss
41d19e7338
Merge pull request #2110 from ehuss/strikethrough-single
...
Document that strikethrough can also use a single tilde.
2023-06-29 12:31:38 -07:00
Eric Huss
4f15a3f85c
Document that strikethrough can also use a single tilde.
2023-06-29 12:27:06 -07:00
Eric Huss
222166ca5a
Merge pull request #2109 from ehuss/update-proc-macro2
...
Update proc-macro2
2023-06-29 12:22:50 -07:00
Eric Huss
ab3eb81e52
Update proc-macro2
2023-06-29 10:57:45 -07:00