Skip to content

Actions: informalsystems/malachite

Quint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
251 workflow run results
251 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
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
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
January 12, 2024 16:18 4m 47s
feat(spec): Clean up, addresses all points in issue 151
Quint #221: Pull request #154 opened by josef-widder
January 12, 2024 13:41 5m 56s josef/i151-clean-up
January 12, 2024 13:41 5m 56s
style: Rename top level folders to lowercase (#138)
Quint #220: Commit 596781b pushed by romac
January 9, 2024 19:34 4m 6s main
January 9, 2024 19:34 4m 6s
style: Rename top level folders to lowercase
Quint #219: Pull request #138 synchronize by romac
January 9, 2024 19:28 4m 5s anca/126_adr_todos
January 9, 2024 19:28 4m 5s
style: Rename top level folders to lowercase
Quint #218: Pull request #138 synchronize by romac
January 9, 2024 19:22 20s anca/126_adr_todos
January 9, 2024 19:22 20s
chore(spec): Re-organize Specs/Quint folder (#139)
Quint #217: Commit 90a1d8d pushed by romac
January 9, 2024 19:16 4m 11s main
January 9, 2024 19:16 4m 11s
chore(specs): Re-organize Specs/Quint folder
Quint #216: Pull request #139 synchronize by romac
January 9, 2024 18:55 4m 52s romac/quint-reord
January 9, 2024 18:55 4m 52s
chore(specs): Re-organize Specs/Quint folder
Quint #215: Pull request #139 synchronize by romac
January 9, 2024 16:20 23s romac/quint-reord
January 9, 2024 16:20 23s
chore(specs): Re-organize Specs/Quint folder
Quint #214: Pull request #139 synchronize by romac
January 9, 2024 16:03 24s romac/quint-reord
January 9, 2024 16:03 24s
chore(specs): Re-organize Specs/Quint folder
Quint #213: Pull request #139 opened by romac
January 9, 2024 15:52 27s romac/quint-reord
January 9, 2024 15:52 27s
style: Rename top level folders to lowercase
Quint #212: Pull request #138 opened by ancazamfir
January 9, 2024 13:48 8m 5s anca/126_adr_todos
January 9, 2024 13:48 8m 5s
test: Fix bug in MBT test where some steps were skipped (#129)
Quint #211: Commit 3557253 pushed by romac
January 4, 2024 10:25 6m 22s main
January 4, 2024 10:25 6m 22s
test: Fix bug in MBT test where some steps were skipped
Quint #210: Pull request #129 synchronize by romac
January 4, 2024 10:24 7m 37s romac/mbt-fix
January 4, 2024 10:24 7m 37s
test: Fix bug in MBT test where some steps were skipped
Quint #209: Pull request #129 synchronize by romac
January 4, 2024 10:15 6m 19s romac/mbt-fix
January 4, 2024 10:15 6m 19s
Run codespell on CI (#136)
Quint #208: Commit 73a9900 pushed by romac
January 3, 2024 13:53 9m 0s main
January 3, 2024 13:53 9m 0s
Run codespell on CI
Quint #207: Pull request #136 synchronize by romac
January 3, 2024 13:44 6m 13s codespell
January 3, 2024 13:44 6m 13s
Run codespell on CI
Quint #206: Pull request #136 synchronize by romac
January 3, 2024 13:41 9m 2s codespell
January 3, 2024 13:41 9m 2s
test: Fix bug in MBT test where some steps were skipped
Quint #205: Pull request #129 opened by romac
December 21, 2023 16:01 7m 45s romac/mbt-fix
December 21, 2023 16:01 7m 45s
test(mbt): MBT for round state machine (#120)
Quint #204: Commit 22fe845 pushed by romac
December 19, 2023 10:56 7m 48s main
December 19, 2023 10:56 7m 48s
test(mbt): MBT for round state machine
Quint #203: Pull request #120 synchronize by romac
December 19, 2023 09:52 6m 23s mbt-consensus
December 19, 2023 09:52 6m 23s
test(mbt): MBT for round state machine
Quint #202: Pull request #120 synchronize by romac
December 18, 2023 15:20 6m 45s mbt-consensus
December 18, 2023 15:20 6m 45s