Skip to content

Actions: pubgrub-rs/pubgrub

Actions

Deploy documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy_documentation.yml
33 workflow run results
33 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ci: add merge queue to workflow and skip commit check outside (#146) Deploy documentation #80: Commit 6e84368 pushed by github-merge-queue bot
November 6, 2023 01:19 40s dev
dev
November 6, 2023 01:19 40s
feat: move to edition 2021 Deploy documentation #79: Commit eb73235 pushed by Eh2406
November 3, 2023 15:46 34s dev
dev
November 3, 2023 15:46 34s
test: prop test for error report and refactor Deploy documentation #78: Commit 67e3be2 pushed by Eh2406
October 30, 2023 16:58 39s dev
dev
October 30, 2023 16:58 39s
feat: more verbose debug assert Deploy documentation #77: Commit 8951e37 pushed by Eh2406
October 27, 2023 12:46 45s dev
dev
October 27, 2023 12:46 45s
feat: allow depending on the empty set Deploy documentation #76: Commit 75618a0 pushed by Eh2406
October 22, 2023 22:17 38s dev
dev
October 22, 2023 22:17 38s
feat: extend error type to Send + Sync (#136) Deploy documentation #75: Commit 29c48fb pushed by Eh2406
October 19, 2023 17:50 27s dev
dev
October 19, 2023 17:50 27s
feat: Extend error type to Send + Sync (#136) Deploy documentation #74: Commit b14fa78 pushed by Eh2406
October 19, 2023 17:42 33s dev
dev
October 19, 2023 17:42 33s
refactor: make CI green Deploy documentation #73: Commit 879fd6b pushed by Eh2406
October 19, 2023 17:29 31s dev
dev
October 19, 2023 17:29 31s