Workflow runs · playframework/play-json · GitHub

Actions

All workflows

Actions

Loading...

Showing runs from all workflows

777 workflow runs

777 workflow runs

Actor

Merge pull request #865 from xuwei-k/patch-1 Release Drafter #288: Commit b69d5a0 pushed by mkurz

April 8, 2023 08:06

29s main

main

April 8, 2023 08:06

29s

remove unnecessary shapeless dependency Check #368: Pull request #865 opened by xuwei-k

April 8, 2023 06:53

1h 9m 39s xuwei-k:patch-1

xuwei-k:patch-1

April 8, 2023 06:53

1h 9m 39s

ProTip! You can narrow down the results and go further in time using created:<2023-04-08 or the other filters available.