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
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
904aa530b5
Merge pull request #2111 from ehuss/bump-version
...
Update to 0.4.31
2023-06-29 13:10:11 -07:00
fa316f3edc
Update to 0.4.31
2023-06-29 12:33:55 -07:00
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
4f15a3f85c
Document that strikethrough can also use a single tilde.
2023-06-29 12:27:06 -07:00
222166ca5a
Merge pull request #2109 from ehuss/update-proc-macro2
...
Update proc-macro2
2023-06-29 12:22:50 -07:00
ab3eb81e52
Update proc-macro2
2023-06-29 10:57:45 -07:00
f37486a74f
Merge pull request #2106 from ehuss/spelling
...
Fix some spellings
2023-06-25 11:54:23 -07:00
a38b854338
Fix some spellings
2023-06-25 11:37:53 -07:00
e18113a746
Merge pull request #2104 from zqianem/gh-443/sidebar-scroll
...
Fix flicker when setting sidebar scroll position
2023-06-25 11:29:27 -07:00
d4edbd1acf
Merge pull request #2105 from Spartan2909/patch-1
...
Fix typo
2023-06-24 20:38:35 +05:30
056e45a003
Fix typo
2023-06-24 15:35:40 +01:00
72b3227824
Fix flicker when setting sidebar scroll position
...
Previously, sidebar scroll was set in an external script which caused a
flicker as the sidebar is initially rendered without any scroll before
being scrolled to the desired location.
Switching to an inline script right after the HTML tags for the sidebar
seems to avoid the flicker in most cases. In addition, logic is added to
avoid scrolling jumps when navigating via links within the sidebar.
2023-06-21 19:25:21 -05:00
a51f8a6b8e
Merge pull request #2101 from zqianem/gh-443/menu-border
...
Avoid menu border flash during page navigation
2023-06-19 13:21:08 -07:00
1ef8d70ac4
Avoid menu border flash during page navigation
...
Partially addresses #443
2023-06-17 21:42:54 -05:00
a204946d39
Merge pull request #2096 from tshepang/patch-1
...
main branch is not always "master" these days
2023-06-07 10:01:06 -07:00
3c7795cf44
main branch is not always "master" these days
2023-06-07 18:47:15 +02:00
9349204636
Merge pull request #2094 from ehuss/bump-version
...
Update to 0.4.30
2023-05-28 15:06:19 -07:00
d2bcd04133
Update to 0.4.30
2023-05-28 14:54:05 -07:00
61708ad0bd
Merge pull request #2093 from ehuss/hiddenlines
...
Support hidden lines in languages other than Rust
2023-05-28 14:21:54 -07:00
Eric Huss
Tshepang Mbambo
zica
Antoine
Dylan DPC
Caleb Robson
Em Zhan