Skip to content

Actions: pubgrub-rs/pubgrub

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
222 workflow run results
222 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat!: allocation free errors (#168)
CI #694: Commit 28c63ce pushed by github-merge-queue bot
December 16, 2023 21:16 1m 12s dev
dev
December 16, 2023 21:16 1m 12s
feat!: allocation free errors (#168)
Deploy documentation #87: Commit 28c63ce pushed by github-merge-queue bot
December 16, 2023 21:16 29s dev
dev
December 16, 2023 21:16 29s
CI
CI #693: Merge group checks requested
December 16, 2023 21:15 1m 5s
December 16, 2023 21:15 1m 5s
feat: merge dependencies for better error messages
CI #692: Pull request #163 synchronize by mpizenberg
December 15, 2023 22:31 59s merge_dep
December 15, 2023 22:31 59s
feat: merge dependencies for better error messages
CI #691: Pull request #163 synchronize by mpizenberg
December 15, 2023 22:14 1m 7s merge_dep
December 15, 2023 22:14 1m 7s
feat: merge dependencies for better error messages
CI #690: Pull request #163 synchronize by mpizenberg
December 15, 2023 21:57 1m 1s merge_dep
December 15, 2023 21:57 1m 1s
feat!: allocation free errors
CI #689: Pull request #168 synchronize by Eh2406
December 15, 2023 17:40 1m 1s error
December 15, 2023 17:40 1m 1s
feat!: allocation free errors
CI #688: Pull request #168 opened by Eh2406
December 14, 2023 23:41 1m 7s error
December 14, 2023 23:41 1m 7s
CI
CI #687: Scheduled
December 14, 2023 06:11 1m 38s release
December 14, 2023 06:11 1m 38s
CI
CI #686: Scheduled
December 7, 2023 06:11 1m 22s release
December 7, 2023 06:11 1m 22s
pages build and deployment
pages-build-deployment #19: by github-pages bot
December 5, 2023 18:00 37s gh-pages
December 5, 2023 18:00 37s
ci: replace unmaintained action-rs (#166)
Deploy documentation #86: Commit 75c4a35 pushed by github-merge-queue bot
December 5, 2023 17:59 30s dev
dev
December 5, 2023 17:59 30s
ci: replace unmaintained action-rs (#166)
CI #685: Commit 75c4a35 pushed by github-merge-queue bot
December 5, 2023 17:59 1m 0s dev
dev
December 5, 2023 17:59 1m 0s
CI
CI #684: Merge group checks requested
December 5, 2023 17:59 1m 6s
December 5, 2023 17:59 1m 6s
ci: replace unmaintained action-rs
CI #683: Pull request #166 synchronize by mpizenberg
December 1, 2023 20:30 58s mp/no-action-rs
December 1, 2023 20:30 58s
ci: replace unmaintained action-rs
CI #682: Pull request #166 synchronize by mpizenberg
December 1, 2023 20:24 1m 2s mp/no-action-rs
December 1, 2023 20:24 1m 2s
ci: replace unmaintained action-rs
CI #681: Pull request #166 synchronize by mpizenberg
December 1, 2023 20:18 51s mp/no-action-rs
December 1, 2023 20:18 51s
ci: replace unmaintained action-rs
CI #680: Pull request #166 opened by mpizenberg
December 1, 2023 20:14 1m 0s mp/no-action-rs
December 1, 2023 20:14 1m 0s
feat: merge dependencies for better error messages
CI #679: Pull request #163 synchronize by Eh2406
December 1, 2023 18:14 1m 53s merge_dep
December 1, 2023 18:14 1m 53s
feat: merge dependencies for better error messages
CI #678: Pull request #163 synchronize by Eh2406
December 1, 2023 18:12 1m 20s merge_dep
December 1, 2023 18:12 1m 20s
pages build and deployment
pages-build-deployment #18: by github-pages bot
December 1, 2023 16:32 28s gh-pages
December 1, 2023 16:32 28s
perf: more efficient intersection (#157)
Deploy documentation #85: Commit 4c28c6c pushed by github-merge-queue bot
December 1, 2023 16:32 27s dev
dev
December 1, 2023 16:32 27s
perf: more efficient intersection (#157)
CI #677: Commit 4c28c6c pushed by github-merge-queue bot
December 1, 2023 16:32 48s dev
dev
December 1, 2023 16:32 48s
CI
CI #676: Merge group checks requested
December 1, 2023 16:31 2m 7s
December 1, 2023 16:31 2m 7s
pages build and deployment
pages-build-deployment #17: by github-pages bot
November 30, 2023 23:49 32s gh-pages
November 30, 2023 23:49 32s