Skip to content

Actions: hypothesis/h

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
3,141 workflow runs
3,141 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump prettier from 3.3.3 to 3.4.1
CI #3725: Commit 6970fe5 pushed by dependabot bot
December 1, 2024 13:23 11h 22m 12s dependabot/npm_and_yarn/prettier-3.4.1
December 1, 2024 13:23 11h 22m 12s
CI
CI #3724: Scheduled
December 1, 2024 01:29 2m 14s main
December 1, 2024 01:29 2m 14s
CI
CI #3723: Scheduled
November 30, 2024 01:28 3m 46s main
November 30, 2024 01:28 3m 46s
Update @hypothesis/frontend-shared
CI #3722: Commit 8e388e0 pushed by robertknight
November 29, 2024 16:22 2m 5s update-frontend-shared
November 29, 2024 16:22 2m 5s
Display loading indicator in table when loading members
CI #3721: Commit a2f1368 pushed by robertknight
November 29, 2024 15:47 2m 4s main
November 29, 2024 15:47 2m 4s
Disable controls for a member when saving changes
CI #3719: Commit 6dc5847 pushed by robertknight
November 29, 2024 14:22 2m 44s main
November 29, 2024 14:22 2m 44s
CI
CI #3717: Scheduled
November 29, 2024 01:28 2m 3s main
November 29, 2024 01:28 2m 3s
Add UI for changing a member's role within a group
CI #3716: Commit a4865c4 pushed by robertknight
November 28, 2024 10:10 2m 49s main
November 28, 2024 10:10 2m 49s
Add UI for changing a member's role within a group
CI #3715: Commit d40ae8e pushed by robertknight
November 28, 2024 10:08 2m 3s role-edit-ui
November 28, 2024 10:08 2m 3s
Support removing members from a group in the UI
CI #3714: Commit d86e789 pushed by robertknight
November 28, 2024 10:03 2m 4s main
November 28, 2024 10:03 2m 4s
Remove member count and user search from group settings UI
CI #3712: Commit 762c920 pushed by robertknight
November 28, 2024 09:43 2m 5s main
November 28, 2024 09:43 2m 5s
Add UI for changing a member's role within a group
CI #3710: Commit c53d4df pushed by robertknight
November 28, 2024 07:43 2m 9s role-edit-ui
November 28, 2024 07:43 2m 9s
Add UI for changing a member's role within a group
CI #3709: Commit 4fb2246 pushed by robertknight
November 28, 2024 07:40 3m 35s role-edit-ui
November 28, 2024 07:40 3m 35s
Support removing members from a group in the UI
CI #3708: Commit 83c581f pushed by robertknight
November 28, 2024 07:11 3m 5s remove-group-member-ui
November 28, 2024 07:11 3m 5s
CI
CI #3707: Scheduled
November 28, 2024 01:28 2m 4s main
November 28, 2024 01:28 2m 4s