Skip to content

Actions: informalsystems/malachite

Actions

PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr.yml
650 workflow run results
650 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Add decision to the round state PR #25: Pull request #145 opened by ancazamfir
January 11, 2024 11:24 25s
January 11, 2024 11:24 25s
chore: Fix some of TODOs in code PR #24: Pull request #142 synchronize by ancazamfir
January 11, 2024 10:19 28s
January 11, 2024 10:19 28s
chore: Fix some of TODOs in code PR #23: Pull request #142 synchronize by ancazamfir
January 11, 2024 09:50 26s
January 11, 2024 09:50 26s
chore: Fix some of TODOs in code PR #22: Pull request #142 opened by ancazamfir
January 11, 2024 09:48 30s
January 11, 2024 09:48 30s
test: Add missing tests for L26 and invalid transitions PR #21: Pull request #141 synchronize by ancazamfir
January 10, 2024 17:41 30s
January 10, 2024 17:41 30s
test: Add missing tests for L26 and invalid transitions PR #20: Pull request #141 edited by ancazamfir
January 10, 2024 17:39 26s
January 10, 2024 17:39 26s
test: Add missing tests for L26 and invalid transitions PR #19: Pull request #141 opened by ancazamfir
January 10, 2024 17:38 26s
January 10, 2024 17:38 26s
chore: Address some remaining minor TODOs PR #18: Pull request #140 opened by romac
January 9, 2024 19:42 31s
January 9, 2024 19:42 31s
style: Rename top level folders to lowercase PR #17: Pull request #138 synchronize by romac
January 9, 2024 19:28 25s
January 9, 2024 19:28 25s
style: Rename top level folders to lowercase PR #16: Pull request #138 synchronize by romac
January 9, 2024 19:26 29s
January 9, 2024 19:26 29s
style: Rename top level folders to lowercase PR #15: Pull request #138 synchronize by romac
January 9, 2024 19:22 25s
January 9, 2024 19:22 25s
test(spec): A problematic run PR #14: Pull request #101 edited by romac
January 9, 2024 19:12 24s
January 9, 2024 19:12 24s
feat(code): Add logging PR #13: Pull request #112 edited by romac
January 9, 2024 19:12 26s
January 9, 2024 19:12 26s
chore(specs): Re-organize Specs/Quint folder PR #12: Pull request #139 synchronize by romac
January 9, 2024 18:55 29s
January 9, 2024 18:55 29s
chore(specs): Re-organize Specs/Quint folder PR #11: Pull request #139 edited by romac
January 9, 2024 18:54 30s
January 9, 2024 18:54 30s
chore(specs): Re-organize Specs/Quint folder PR #10: Pull request #139 edited by romac
January 9, 2024 18:54 28s
January 9, 2024 18:54 28s
chore(specs): Re-organize Specs/Quint folder PR #9: Pull request #139 synchronize by romac
January 9, 2024 16:19 27s
January 9, 2024 16:19 27s
chore(specs): Re-organize Specs/Quint folder PR #8: Pull request #139 synchronize by romac
January 9, 2024 16:03 32s
January 9, 2024 16:03 32s
chore(specs): Re-organize Specs/Quint folder PR #7: Pull request #139 opened by romac
January 9, 2024 15:52 31s
January 9, 2024 15:52 31s
style: Rename top level folders to lowercase PR #6: Pull request #138 edited by ancazamfir
January 9, 2024 14:22 27s
January 9, 2024 14:22 27s
style: Rename top level folders to lowercase PR #5: Pull request #138 opened by ancazamfir
January 9, 2024 13:48 33s
January 9, 2024 13:48 33s
test: Fix bug in MBT test where some steps were skipped PR #4: Pull request #129 synchronize by romac
January 4, 2024 10:24 30s
January 4, 2024 10:24 30s
test: Fix bug in MBT test where some steps were skipped PR #3: Pull request #129 edited by romac
January 4, 2024 10:20 27s
January 4, 2024 10:20 27s
test: Fix bug in MBT test where some steps were skipped PR #2: Pull request #129 edited by romac
January 4, 2024 10:20 25s
January 4, 2024 10:20 25s
test: Fix bug in MBT test where some steps were skipped PR #1: Pull request #129 synchronize by romac
January 4, 2024 10:15 28s
January 4, 2024 10:15 28s
ProTip! You can narrow down the results and go further in time using created:<2024-01-04 or the other filters available.