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): Add properties, and write report on the findings Quint #296: Pull request #189 synchronize by josef-widder
May 3, 2024 13:53 3m 41s i188-josef-reset-analysis
i188-josef-reset-analysis
May 3, 2024 13:53 3m 41s
feat(spec): Add properties, and write report on the findings Quint #295: Pull request #189 synchronize by josef-widder
May 3, 2024 13:51 3m 33s i188-josef-reset-analysis
i188-josef-reset-analysis
May 3, 2024 13:51 3m 33s
feat(spec): Add properties, and write report on the findings Quint #294: Pull request #189 opened by josef-widder
May 3, 2024 13:02 3m 36s i188-josef-reset-analysis
i188-josef-reset-analysis
May 3, 2024 13:02 3m 36s
feat(spec): message handling section of english spec revisited (#162) Quint #293: Commit 4e78dcf pushed by josef-widder
May 2, 2024 09:19 3m 32s main
main
May 2, 2024 09:19 3m 32s
feat(spec): message handling section of english spec revisited Quint #292: Pull request #162 synchronize by josef-widder
May 2, 2024 09:06 3m 32s cason/161-spec-align-names
cason/161-spec-align-names
May 2, 2024 09:06 3m 32s
feat(spec): WIP: Draft of Quint reset protocol (#174) Quint #291: Commit 67c8637 pushed by josef-widder
April 25, 2024 09:26 3m 51s main
main
April 25, 2024 09:26 3m 51s
feat(spec): WIP: Draft of Quint reset protocol Quint #290: Pull request #174 synchronize by josef-widder
April 24, 2024 13:39 3m 41s josef/resetQuint
josef/resetQuint
April 24, 2024 13:39 3m 41s
feat(spec): WIP: Draft of Quint reset protocol Quint #289: Pull request #174 synchronize by josef-widder
April 24, 2024 13:01 3m 36s josef/resetQuint
josef/resetQuint
April 24, 2024 13:01 3m 36s
feat(spec): WIP: Draft of Quint reset protocol Quint #288: Pull request #174 synchronize by josef-widder
April 24, 2024 12:48 3m 32s josef/resetQuint
josef/resetQuint
April 24, 2024 12:48 3m 32s
feat(spec): WIP: Draft of Quint reset protocol Quint #287: Pull request #174 synchronize by josef-widder
April 24, 2024 11:58 3m 38s josef/resetQuint
josef/resetQuint
April 24, 2024 11:58 3m 38s
feat(spec): WIP: Draft of Quint reset protocol Quint #286: Pull request #174 synchronize by josef-widder
April 23, 2024 14:47 3m 32s josef/resetQuint
josef/resetQuint
April 23, 2024 14:47 3m 32s
feat(spec): WIP: Draft of Quint reset protocol Quint #285: Pull request #174 synchronize by josef-widder
April 23, 2024 14:30 3m 37s josef/resetQuint
josef/resetQuint
April 23, 2024 14:30 3m 37s
feat(spec): WIP: Draft of Quint reset protocol Quint #284: Pull request #174 synchronize by josef-widder
April 22, 2024 14:04 3m 34s josef/resetQuint
josef/resetQuint
April 22, 2024 14:04 3m 34s
feat(spec): WIP: Draft of Quint reset protocol Quint #283: Pull request #174 synchronize by josef-widder
April 22, 2024 13:22 3m 34s josef/resetQuint
josef/resetQuint
April 22, 2024 13:22 3m 34s
feat(spec): WIP: Draft of Quint reset protocol Quint #282: Pull request #174 synchronize by josef-widder
April 22, 2024 11:49 3m 35s josef/resetQuint
josef/resetQuint
April 22, 2024 11:49 3m 35s
feat(spec): Quint spec for validator set updates Quint #281: Pull request #184 synchronize by cason
April 19, 2024 21:12 3m 34s cason/valset-quint
cason/valset-quint
April 19, 2024 21:12 3m 34s
feat(spec): WIP: Draft of Quint reset protocol Quint #280: Pull request #174 synchronize by josef-widder
April 19, 2024 13:38 3m 31s josef/resetQuint
josef/resetQuint
April 19, 2024 13:38 3m 31s
feat(spec): Quint spec for validator set updates Quint #279: Pull request #184 synchronize by cason
April 19, 2024 12:16 3m 35s cason/valset-quint
cason/valset-quint
April 19, 2024 12:16 3m 35s
feat(spec): Quint spec for validator set updates Quint #278: Pull request #184 synchronize by cason
April 19, 2024 12:05 3m 30s cason/valset-quint
cason/valset-quint
April 19, 2024 12:05 3m 30s
feat(spec): Quint spec for validator set updates Quint #277: Pull request #184 synchronize by cason
April 19, 2024 11:53 3m 31s cason/valset-quint
cason/valset-quint
April 19, 2024 11:53 3m 31s
feat(spec): Quint spec for validator set updates Quint #276: Pull request #184 synchronize by cason
April 19, 2024 11:05 3m 36s cason/valset-quint
cason/valset-quint
April 19, 2024 11:05 3m 36s
feat(spec): Quint spec for validator set updates Quint #275: Pull request #184 opened by cason
April 19, 2024 10:43 3m 35s cason/valset-quint
cason/valset-quint
April 19, 2024 10:43 3m 35s
feat(spec): WIP: Draft of Quint reset protocol Quint #274: Pull request #174 synchronize by josef-widder
April 19, 2024 09:06 3m 41s josef/resetQuint
josef/resetQuint
April 19, 2024 09:06 3m 41s
feat(spec): WIP: Draft of Quint reset protocol Quint #273: Pull request #174 synchronize by josef-widder
April 19, 2024 07:48 3m 32s josef/resetQuint
josef/resetQuint
April 19, 2024 07:48 3m 32s
feat(spec): WIP: Draft of Quint reset protocol Quint #272: Pull request #174 synchronize by josef-widder
April 18, 2024 15:24 3m 45s josef/resetQuint
josef/resetQuint
April 18, 2024 15:24 3m 45s