Skip to content

Actions: informalsystems/malachite

PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
118 workflow run results
118 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix(spec): Asynchronous flow for GetValue
PR #68: Pull request #159 edited by josef-widder
January 17, 2024 09:52 12s
January 17, 2024 09:52 12s
fix(spec): Asynchronous flow for GetValue
PR #67: Pull request #159 opened by josef-widder
January 17, 2024 09:51 15s
January 17, 2024 09:51 15s
fix(spec): Always start propose timeout
PR #66: Pull request #157 synchronize by romac
January 16, 2024 10:48 11s
January 16, 2024 10:48 11s
fix(spec): Always start propose timeout
PR #65: Pull request #157 edited by romac
January 16, 2024 10:41 12s
January 16, 2024 10:41 12s
fix(spec): Always start propose timeout
PR #64: Pull request #157 edited by romac
January 16, 2024 10:41 14s
January 16, 2024 10:41 14s
fix(spec): Always start propose timeout
PR #63: Pull request #157 synchronize by romac
January 16, 2024 10:40 16s
January 16, 2024 10:40 16s
feat(spec): Clean up, addresses all points in issue 151
PR #62: Pull request #154 edited by romac
January 16, 2024 10:34 11s
January 16, 2024 10:34 11s
feat(spec): Clean up, addresses all points in issue 151
PR #61: Pull request #154 synchronize by romac
January 16, 2024 10:33 16s
January 16, 2024 10:33 16s
feat(spec): Add test to execute line 32 in different scenarios
PR #60: Pull request #156 edited by romac
January 16, 2024 09:56 11s
January 16, 2024 09:56 11s
feat(spec): Add test to execute line 32 in different scenarios
PR #59: Pull request #156 edited by romac
January 16, 2024 09:56 13s
January 16, 2024 09:56 13s
fix(spec): Always start propose timeout
PR #58: Pull request #157 edited by josef-widder
January 16, 2024 09:52 16s
January 16, 2024 09:52 16s
feat(spec): Clean up, addresses all points in issue 151
PR #57: Pull request #154 edited by romac
January 16, 2024 09:52 22s
January 16, 2024 09:52 22s
feat(spec): Clean up, addresses all points in issue 151
PR #56: Pull request #154 edited by romac
January 16, 2024 09:52 12s
January 16, 2024 09:52 12s
feat(spec): Clean up, addresses all points in issue 151
PR #55: Pull request #154 synchronize by romac
January 16, 2024 09:52 17s
January 16, 2024 09:52 17s
fix(spec): Always start propose timeout
PR #54: Pull request #157 synchronize by romac
January 16, 2024 09:51 17s
January 16, 2024 09:51 17s
feat(spec): Clean up, addresses all points in issue 151
PR #49: Pull request #154 synchronize by josef-widder
January 15, 2024 16:03 35s
January 15, 2024 16:03 35s
feat(mbt): Compute process name <=> address mapping automatically
PR #48: Pull request #158 opened by romac
January 15, 2024 15:42 26s
January 15, 2024 15:42 26s
fix(spec): Always start propose timeout
PR #47: Pull request #157 synchronize by romac
January 15, 2024 15:23 36s
January 15, 2024 15:23 36s
fix(spec): Always start propose timeout
PR #46: Pull request #157 edited by romac
January 15, 2024 15:22 24s
January 15, 2024 15:22 24s
feat(spec): Clean up, addresses all points in issue 151
PR #45: Pull request #154 edited by romac
January 15, 2024 15:22 31s
January 15, 2024 15:22 31s
feat(spec): Add test to execute line 32 in different scenarios
PR #44: Pull request #156 edited by romac
January 15, 2024 15:21 25s
January 15, 2024 15:21 25s