Skip to content

Actions: pubgrub-rs/pubgrub

Actions

Deploy documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy_documentation.yml
102 workflow runs
102 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

build(deps): bump thiserror from 2.0.0 to 2.0.6 (#296) Deploy documentation #174: Commit e9170cb pushed by github-merge-queue bot
December 13, 2024 11:37 19s dev
dev
December 13, 2024 11:37 19s
build(deps): bump serde from 1.0.214 to 1.0.215 (#289) Deploy documentation #173: Commit dbedcc5 pushed by github-merge-queue bot
December 12, 2024 22:41 21s dev
dev
December 12, 2024 22:41 21s
build(deps): bump rustc-hash from 2.0.0 to 2.1.0 (#288) Deploy documentation #172: Commit 5b38ebb pushed by github-merge-queue bot
December 12, 2024 22:39 25s dev
dev
December 12, 2024 22:39 25s
Return Id<DP::P> over ID<DP::P> (#295) Deploy documentation #171: Commit 7105f8d pushed by github-merge-queue bot
December 12, 2024 22:38 17s dev
dev
December 12, 2024 22:38 17s
Merge partial solution impl blocks (#292) Deploy documentation #170: Commit ea28e95 pushed by github-merge-queue bot
December 12, 2024 22:34 20s dev
dev
December 12, 2024 22:34 20s
Monitor only the resolve step in the sudoku bench (#285) Deploy documentation #169: Commit 3741e3b pushed by github-merge-queue bot
November 26, 2024 09:19 30s dev
dev
November 26, 2024 09:19 30s
Add cold annotations (#286) Deploy documentation #168: Commit 4c6cdde pushed by github-merge-queue bot
November 22, 2024 18:15 1m 10s dev
dev
November 22, 2024 18:15 1m 10s
Create an arena for package names (#242) Deploy documentation #167: Commit 4ac6c42 pushed by github-merge-queue bot
November 20, 2024 20:41 25s dev
dev
November 20, 2024 20:41 25s
Move offline provider into a separate module (#283) Deploy documentation #166: Commit 4bde6d6 pushed by github-merge-queue bot
November 20, 2024 08:29 31s dev
dev
November 20, 2024 08:29 31s
Add bench for backtracking (#281) Deploy documentation #165: Commit 8a29d57 pushed by github-merge-queue bot
November 18, 2024 20:37 21s dev
dev
November 18, 2024 20:37 21s
Release version-ranges v0.1.1 (#282) Deploy documentation #164: Commit 51d38dd pushed by github-merge-queue bot
November 14, 2024 18:19 34s dev
dev
November 14, 2024 18:19 34s
Add FromIter for Ranges (#278) Deploy documentation #163: Commit 33f68e4 pushed by github-merge-queue bot
November 14, 2024 13:21 15s dev
dev
November 14, 2024 13:21 15s
Add IntoIter on Ranges (#276) Deploy documentation #162: Commit 2a37e13 pushed by github-merge-queue bot
November 12, 2024 13:12 25s dev
dev
November 12, 2024 13:12 25s
Document invariant on Ranges (#277) Deploy documentation #161: Commit 36c2e41 pushed by github-merge-queue bot
November 11, 2024 14:11 18s dev
dev
November 11, 2024 14:11 18s
Regress performance: Use Arc<usize> for more sudoku realism (#272) Deploy documentation #160: Commit 1f3baca pushed by github-merge-queue bot
November 8, 2024 21:31 20s dev
dev
November 8, 2024 21:31 20s
build(deps): bump serde from 1.0.210 to 1.0.214 (#268) Deploy documentation #159: Commit 57971c4 pushed by github-merge-queue bot
November 8, 2024 14:13 20s dev
dev
November 8, 2024 14:13 20s
build(deps): bump thiserror from 1.0.64 to 2.0.0 (#275) Deploy documentation #158: Commit ff2e08c pushed by github-merge-queue bot
November 8, 2024 14:09 31s dev
dev
November 8, 2024 14:09 31s
Add codespeed for continuous profiling (and sudoku) (#271) Deploy documentation #157: Commit eb3b386 pushed by github-merge-queue bot
November 7, 2024 22:40 23s dev
dev
November 7, 2024 22:40 23s
Add version ranges readme (#266) Deploy documentation #156: Commit 4099a2e pushed by github-merge-queue bot
November 5, 2024 20:19 27s dev
dev
November 5, 2024 20:19 27s
Add missing LICENSE file in published version-ranges crates (#267) Deploy documentation #155: Commit 216f3fd pushed by github-merge-queue bot
October 31, 2024 15:47 28s dev
dev
October 31, 2024 15:47 28s
Add description to version ranges (#265) Deploy documentation #154: Commit 3fab343 pushed by github-merge-queue bot
October 29, 2024 21:40 28s dev
dev
October 29, 2024 21:40 28s
Improve Term documentation (#264) Deploy documentation #153: Commit 65e108d pushed by github-merge-queue bot
October 29, 2024 21:11 24s dev
dev
October 29, 2024 21:11 24s
Split version ranges into their own crate (#262) Deploy documentation #152: Commit 8c37699 pushed by github-merge-queue bot
October 29, 2024 15:28 27s dev
dev
October 29, 2024 15:28 27s
build(deps): bump thiserror from 1.0.63 to 1.0.64 (#259) Deploy documentation #151: Commit be52667 pushed by github-merge-queue bot
October 15, 2024 19:35 17s dev
dev
October 15, 2024 19:35 17s
build(deps): bump priority-queue from 2.1.0 to 2.1.1 (#260) Deploy documentation #150: Commit f1f37e9 pushed by github-merge-queue bot
October 15, 2024 19:35 20s dev
dev
October 15, 2024 19:35 20s