Skip to content

Actions: informalsystems/malachite

Actions

Quint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
quint.yml
346 workflow run results
346 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(spec): message handling section of english spec revisited Quint #246: Pull request #162 synchronize by cason
February 14, 2024 07:52 5m 50s cason/161-spec-align-names
cason/161-spec-align-names
February 14, 2024 07:52 5m 50s
feat(spec): message handling section of english spec revisited Quint #245: Pull request #162 opened by cason
February 7, 2024 08:56 4m 37s cason/161-spec-align-names
cason/161-spec-align-names
February 7, 2024 08:56 4m 37s
fix(spec): Asynchronous flow for GetValue (#159) Quint #244: Commit 06e2750 pushed by josef-widder
January 31, 2024 08:56 8m 7s main
main
January 31, 2024 08:56 8m 7s
fix(spec): Asynchronous flow for GetValue Quint #243: Pull request #159 synchronize by romac
January 30, 2024 19:03 5m 50s josef/i81-getValue
josef/i81-getValue
January 30, 2024 19:03 5m 50s
fix(spec): Asynchronous flow for GetValue Quint #242: Pull request #159 synchronize by josef-widder
January 30, 2024 17:13 5m 52s josef/i81-getValue
josef/i81-getValue
January 30, 2024 17:13 5m 52s
fix(spec): Asynchronous flow for GetValue Quint #241: Pull request #159 synchronize by josef-widder
January 30, 2024 17:04 5m 21s josef/i81-getValue
josef/i81-getValue
January 30, 2024 17:04 5m 21s
fix(spec): Asynchronous flow for GetValue Quint #240: Pull request #159 synchronize by romac
January 30, 2024 13:55 5m 24s josef/i81-getValue
josef/i81-getValue
January 30, 2024 13:55 5m 24s
fix(spec): Asynchronous flow for GetValue Quint #239: Pull request #159 synchronize by josef-widder
January 17, 2024 10:49 7m 22s josef/i81-getValue
josef/i81-getValue
January 17, 2024 10:49 7m 22s
fix(spec): Asynchronous flow for GetValue Quint #238: Pull request #159 opened by josef-widder
January 17, 2024 09:51 5m 26s josef/i81-getValue
josef/i81-getValue
January 17, 2024 09:51 5m 26s
fix(spec): Always start propose timeout Quint #237: Pull request #157 synchronize by romac
January 16, 2024 10:48 7m 16s josef/alwaysproposetimeout
josef/alwaysproposetimeout
January 16, 2024 10:48 7m 16s
fix(spec): Always start propose timeout Quint #236: Pull request #157 synchronize by romac
January 16, 2024 10:40 1m 35s josef/alwaysproposetimeout
josef/alwaysproposetimeout
January 16, 2024 10:40 1m 35s
feat(spec): Clean up, addresses all points in issue 151 (#154) Quint #235: Commit e122983 pushed by romac
January 16, 2024 10:40 5m 40s main
main
January 16, 2024 10:40 5m 40s
feat(spec): Clean up, addresses all points in issue 151 Quint #234: Pull request #154 synchronize by romac
January 16, 2024 10:33 5m 5s josef/i151-clean-up
josef/i151-clean-up
January 16, 2024 10:33 5m 5s
feat(spec): Clean up, addresses all points in issue 151 Quint #233: Pull request #154 synchronize by romac
January 16, 2024 09:52 4m 25s josef/i151-clean-up
josef/i151-clean-up
January 16, 2024 09:52 4m 25s
fix(spec): Always start propose timeout Quint #232: Pull request #157 synchronize by romac
January 16, 2024 09:51 5m 14s josef/alwaysproposetimeout
josef/alwaysproposetimeout
January 16, 2024 09:51 5m 14s
feat(spec): Clean up, addresses all points in issue 151 Quint #231: Pull request #154 synchronize by josef-widder
January 15, 2024 16:03 4m 40s josef/i151-clean-up
josef/i151-clean-up
January 15, 2024 16:03 4m 40s
fix(spec): Always start propose timeout Quint #230: Pull request #157 synchronize by romac
January 15, 2024 15:23 5m 4s josef/alwaysproposetimeout
josef/alwaysproposetimeout
January 15, 2024 15:23 5m 4s
feat(spec): Add test to execute line 32 in different scenarios Quint #229: Pull request #156 synchronize by romac
January 15, 2024 15:21 5m 3s josef/i155-line32
josef/i155-line32
January 15, 2024 15:21 5m 3s
feat(spec): Clean up, addresses all points in issue 151 Quint #228: Pull request #154 synchronize by romac
January 15, 2024 15:21 5m 27s josef/i151-clean-up
josef/i151-clean-up
January 15, 2024 15:21 5m 27s
fix(spec): Always start propose timeout Quint #227: Pull request #157 synchronize by josef-widder
January 15, 2024 14:50 6m 45s josef/alwaysproposetimeout
josef/alwaysproposetimeout
January 15, 2024 14:50 6m 45s
feat(spec): Add test to execute line 32 in different scenarios Quint #226: Pull request #156 synchronize by josef-widder
January 15, 2024 14:45 6m 27s josef/i155-line32
josef/i155-line32
January 15, 2024 14:45 6m 27s
fix(spec): Always start propose timeout Quint #225: Pull request #157 opened by josef-widder
January 15, 2024 14:42 6m 2s josef/alwaysproposetimeout
josef/alwaysproposetimeout
January 15, 2024 14:42 6m 2s
feat(spec): Add test to execute line 32 in different scenarios Quint #224: Pull request #156 synchronize by josef-widder
January 15, 2024 14:22 4m 53s josef/i155-line32
josef/i155-line32
January 15, 2024 14:22 4m 53s
feat(spec): Add test to execute line 32 in different scenarios Quint #223: Pull request #156 synchronize by josef-widder
January 15, 2024 13:58 4m 51s josef/i155-line32
josef/i155-line32
January 15, 2024 13:58 4m 51s
feat(spec): Add test to execute line 32 in different scenarios Quint #222: Pull request #156 opened by josef-widder
January 12, 2024 16:18 4m 47s josef/i155-line32
josef/i155-line32
January 12, 2024 16:18 4m 47s