Skip to content

Actions: pivovarit/more-gatherers

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
587 workflow runs
587 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Reconfigure pit results publishing (#7) Release Drafter #7: Commit ee70672 pushed by pivovarit
October 7, 2024 20:22 15s main
main
October 7, 2024 20:22 15s
Reconfigure pit results publishing build #20: Pull request #7 opened by pivovarit
October 7, 2024 20:22 22s reconfigure-pit-publishing
reconfigure-pit-publishing
October 7, 2024 20:22 22s
Cache JDK used during mutation testing (#6) Release Drafter #6: Commit 5e08018 pushed by pivovarit
October 7, 2024 20:17 17s main
main
October 7, 2024 20:17 17s
Cache JDK used during mutation testing build #19: Pull request #6 synchronize by pivovarit
October 7, 2024 20:16 20s pitest-jdk-cache
pitest-jdk-cache
October 7, 2024 20:16 20s
Cache JDK used during mutation testing build #18: Pull request #6 opened by pivovarit
October 7, 2024 20:16 22s pitest-jdk-cache
pitest-jdk-cache
October 7, 2024 20:16 22s
pages build and deployment pages-build-deployment #4: by github-pages bot
October 7, 2024 20:15 27s gh-pages
gh-pages
October 7, 2024 20:15 27s
Configure 'pitest' profile (#5) pitest #4: Commit 7bb68e9 pushed by pivovarit
October 7, 2024 20:14 32s main
main
October 7, 2024 20:14 32s
Configure 'pitest' profile (#5) Release Drafter #5: Commit 7bb68e9 pushed by pivovarit
October 7, 2024 20:14 15s main
main
October 7, 2024 20:14 15s
Configure 'pitest' profile (#5) build #17: Commit 7bb68e9 pushed by pivovarit
October 7, 2024 20:14 28s main
main
October 7, 2024 20:14 28s
Configure 'pitest' profile build #16: Pull request #5 opened by pivovarit
October 7, 2024 20:14 29s configure-pitest
configure-pitest
October 7, 2024 20:14 29s
pages build and deployment pages-build-deployment #3: by github-pages bot
October 7, 2024 20:12 28s gh-pages
gh-pages
October 7, 2024 20:12 28s
Remove ExampleTest (#4) Release Drafter #4: Commit 565dd74 pushed by pivovarit
October 7, 2024 20:11 15s main
main
October 7, 2024 20:11 15s
Remove ExampleTest (#4) pitest #3: Commit 565dd74 pushed by pivovarit
October 7, 2024 20:11 29s main
main
October 7, 2024 20:11 29s
Remove ExampleTest (#4) build #15: Commit 565dd74 pushed by pivovarit
October 7, 2024 20:11 23s main
main
October 7, 2024 20:11 23s
Remove ExampleTest build #14: Pull request #4 opened by pivovarit
October 7, 2024 20:11 23s remove-example-test
remove-example-test
October 7, 2024 20:11 23s
pages build and deployment pages-build-deployment #2: by github-pages bot
October 7, 2024 20:08 28s gh-pages
gh-pages
October 7, 2024 20:08 28s
pages build and deployment pages-build-deployment #1: by pivovarit
October 7, 2024 20:04 42s gh-pages
gh-pages
October 7, 2024 20:04 42s
Add Gatherers.zipWithIndex() (#3) pitest #2: Commit 03cff46 pushed by pivovarit
October 7, 2024 19:58 35s main
main
October 7, 2024 19:58 35s
Add Gatherers.zipWithIndex() (#3) build #13: Commit 03cff46 pushed by pivovarit
October 7, 2024 19:58 28s main
main
October 7, 2024 19:58 28s
Add Gatherers.zipWithIndex() (#3) Release Drafter #3: Commit 03cff46 pushed by pivovarit
October 7, 2024 19:58 11s main
main
October 7, 2024 19:58 11s
Add Gatherers.zipWithIndex() build #12: Pull request #3 synchronize by pivovarit
October 7, 2024 19:58 30s zip-with-index
zip-with-index
October 7, 2024 19:58 30s
Add Gatherers.zipWithIndex() build #11: Pull request #3 synchronize by pivovarit
October 7, 2024 19:57 29s zip-with-index
zip-with-index
October 7, 2024 19:57 29s
Add Gatherers.zipWithIndex() build #10: Pull request #3 synchronize by pivovarit
October 7, 2024 19:57 29s zip-with-index
zip-with-index
October 7, 2024 19:57 29s
Add Gatherers.zipWithIndex() build #9: Pull request #3 synchronize by pivovarit
October 7, 2024 19:56 29s zip-with-index
zip-with-index
October 7, 2024 19:56 29s
Add Gatherers.zipWithIndex() build #8: Pull request #3 synchronize by pivovarit
October 7, 2024 19:53 23s zip-with-index
zip-with-index
October 7, 2024 19:53 23s
ProTip! You can narrow down the results and go further in time using created:<2024-10-07 or the other filters available.