Skip to content

Actions: pubgrub-rs/pubgrub

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
672 workflow runs
672 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI
CI #686: Scheduled
December 7, 2023 06:11 1m 22s release
December 7, 2023 06:11 1m 22s
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
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
dev
November 30, 2023 23:49 56s
CI
CI #674: Merge group checks requested
November 30, 2023 23:48 46s
November 30, 2023 23:48 46s
CI
CI #673: Merge group checks requested
November 30, 2023 22:46 1m 58s
November 30, 2023 22:46 1m 58s
feat: merge dependencies for better error messages
CI #672: Pull request #163 opened by Eh2406
November 30, 2023 22:40 53s merge_dep
November 30, 2023 22:40 53s
perf: more efficient intersection
CI #671: Pull request #157 synchronize by Eh2406
November 30, 2023 20:24 58s more_efficient_intersection
November 30, 2023 20:24 58s
CI
CI #666: Scheduled
November 30, 2023 06:11 1m 17s release
November 30, 2023 06:11 1m 17s
perf: more efficient intersection
CI #665: Pull request #157 opened by Eh2406
November 29, 2023 20:39 48s more_efficient_intersection
November 29, 2023 20:39 48s
feat: add a simplify for error messages (#156)
CI #664: Commit 2b2d8d4 pushed by github-merge-queue bot
November 29, 2023 16:13 2m 4s dev
dev
November 29, 2023 16:13 2m 4s
CI
CI #663: Merge group checks requested
November 29, 2023 16:12 2m 8s
November 29, 2023 16:12 2m 8s
feat: add a simplify for error messages
CI #662: Pull request #156 synchronize by Eh2406
November 29, 2023 16:10 1m 5s simplify
November 29, 2023 16:10 1m 5s
ProTip! You can narrow down the results and go further in time using created:<2023-11-29 or the other filters available.