56c225bd34
Merge pull request #2158 from ehuss/bump-version
...
Update to 0.4.34
2023-08-05 21:54:12 +00:00
55c017cad1
Update to 0.4.34
2023-08-05 14:34:42 -07:00
7849d55b99
Merge pull request #2157 from ehuss/macos-notify-copy
...
Add workaround for macOS notify problem.
2023-08-05 20:35:33 +00:00
c903cc8827
Add workaround for macOS notify problem.
2023-08-05 13:23:17 -07:00
4a797b9565
Revert "Merge pull request #2152 from ehuss/macos-notify-kqueue"
...
This reverts commit 347e7886e1a8fd6038f1
2023-08-05 12:53:23 -07:00
57b487eaa3
Merge pull request #2154 from ehuss/bump-version
...
Update to 0.4.33
2023-08-04 00:11:45 +00:00
891b7c06f2
Update to 0.4.33
2023-08-03 17:03:40 -07:00
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
228538ea62
Don't use distinct background for code in headers when printing
...
Fixes #1933
2023-08-02 23:31:46 -07:00
347e7886e1
Merge pull request #2152 from ehuss/macos-notify-kqueue
...
Switch macOS notify to kqueue.
2023-08-02 22:13:09 +00:00
bfa5fb8844
Switch macOS notify to kqueue.
2023-08-02 09:21:25 -07:00
a8fd6038f1
Merge pull request #2151 from ehuss/revert-toml
...
Revert toml update
2023-08-02 15:49:44 +00:00
fbfe887084
Add note to not update toml.
2023-08-02 08:39:23 -07:00
aed991f75f
Revert "Merge pull request #2125 from ehuss/update-toml"
...
This reverts commit 89797064b87824aed878
2023-08-02 08:32:44 -07:00
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
fcfde083e7
Enhancing themes with `color-scheme: light | dark;` implementation in CSS
2023-07-30 15:43:51 -07:00
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
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
9340e6a78d
Use a better merge-queue success check.
2023-07-29 09:13:55 -07:00
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
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
0fbfc90bea
Prepare CI workflows to support merge queues.
2023-07-24 20:16:07 -07:00
581e5025a2
Merge pull request #2139 from tshepang/patch-1
...
misplaced bracket
2023-07-21 07:32:56 -07:00
e57fce290b
misplaced bracket
2023-07-21 15:29:56 +02:00
d5a3682de9
Merge pull request #2137 from ehuss/mdbook-case-link
...
Fix link on case-sensitive filesystems.
2023-07-19 08:06:35 -07:00
75f5862218
Fix link on case-sensitive filesystems.
2023-07-19 07:54:39 -07:00
aed518f945
Merge pull request #2129 from ehuss/bump-version
...
Update to 0.4.32
2023-07-16 17:43:49 -07:00
e942d41c1d
Merge pull request #2128 from ehuss/release-token-perms
...
deploy: Rewrite and update permissions
2023-07-16 17:38:21 -07:00
38fcfd8732
Update to 0.4.32
2023-07-16 17:35:51 -07:00
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
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
baa936439d
deploy: Set the default shell so it doesn't need to be repeated.
2023-07-16 17:12:55 -07:00
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
0f25db67dc
Automatically publish to crates.io on new release
2023-07-16 16:29:45 -07:00
49ba91961f
Merge pull request #2126 from ehuss/update-deps
...
Update dependencies
2023-07-16 13:32:55 -07:00
28ce772ae9
Update msrv to 1.66.
2023-07-16 13:21:45 -07:00
424c2d9f6b
Update dependencies
2023-07-16 13:09:52 -07:00
89797064b8
Merge pull request #2125 from ehuss/update-toml
...
Update toml to 0.7.6
2023-07-16 13:08:40 -07:00
7824aed878
Merge pull request #2124 from ehuss/update-predicates
...
Update predicates to 3.0.3
2023-07-16 12:51:51 -07:00
8236c43c90
Merge pull request #2123 from ehuss/update-notify
...
Update notify to 6.0.1
2023-07-16 12:50:17 -07:00
6df89fbe94
Merge pull request #2122 from ehuss/update-opener
...
Update opener to 0.6.1
2023-07-16 12:50:10 -07:00
b423bf7ddd
Update toml to 0.7.6
2023-07-16 12:48:01 -07:00
cdbdb8248c
Merge pull request #2121 from ehuss/update-clap
...
Update to clap 4.3.12
2023-07-16 12:43:44 -07:00
db45052d7e
Update predicates to 3.0.3
2023-07-16 12:42:44 -07:00
804bbf6564
Update notify to 6.0.1
2023-07-16 12:40:45 -07:00
bd3b9bacf6
Update opener to 0.6.1
2023-07-16 12:37:23 -07:00
5505d57066
Update to clap 4.3.12
2023-07-16 12:33:53 -07:00
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
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
9eba0f6ab2
Fix theme-color meta tag not syncing with the theme
2023-07-09 08:57:46 +08:00
Eric Huss
Pavel Roskin
Giorgio Reale
riverbl
Tshepang Mbambo
zica