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): Proofs spec Quint #346: Pull request #198 synchronize by cason
June 26, 2024 12:39 3m 44s josef/proofs-in-blocks
josef/proofs-in-blocks
June 26, 2024 12:39 3m 44s
feat(spec): Add properties, and write report on the findings Quint #345: Pull request #189 synchronize by cason
June 26, 2024 12:36 3m 45s i188-josef-reset-analysis
i188-josef-reset-analysis
June 26, 2024 12:36 3m 45s
feat(spec): Add properties, and write report on the findings Quint #344: Pull request #189 synchronize by cason
June 26, 2024 12:33 3m 49s i188-josef-reset-analysis
i188-josef-reset-analysis
June 26, 2024 12:33 3m 49s
feat(spec): Proofs spec Quint #343: Pull request #198 synchronize by cason
June 26, 2024 12:33 3m 46s josef/proofs-in-blocks
josef/proofs-in-blocks
June 26, 2024 12:33 3m 46s
feat(spec): Proofs spec Quint #342: Pull request #198 synchronize by cason
June 26, 2024 12:33 3m 46s josef/proofs-in-blocks
josef/proofs-in-blocks
June 26, 2024 12:33 3m 46s
feat(spec): Add properties, and write report on the findings Quint #341: Pull request #189 synchronize by josef-widder
June 26, 2024 10:29 3m 41s i188-josef-reset-analysis
i188-josef-reset-analysis
June 26, 2024 10:29 3m 41s
feat(spec): Add properties, and write report on the findings Quint #340: Pull request #189 synchronize by josef-widder
June 26, 2024 10:28 3m 42s i188-josef-reset-analysis
i188-josef-reset-analysis
June 26, 2024 10:28 3m 42s
feat(spec): Add properties, and write report on the findings Quint #339: Pull request #189 synchronize by josef-widder
June 26, 2024 10:27 3m 41s i188-josef-reset-analysis
i188-josef-reset-analysis
June 26, 2024 10:27 3m 41s
feat(spec): Add properties, and write report on the findings Quint #338: Pull request #189 synchronize by josef-widder
June 26, 2024 10:27 3m 40s i188-josef-reset-analysis
i188-josef-reset-analysis
June 26, 2024 10:27 3m 40s
feat(spec): Add properties, and write report on the findings Quint #337: Pull request #189 synchronize by josef-widder
June 26, 2024 10:26 3m 46s i188-josef-reset-analysis
i188-josef-reset-analysis
June 26, 2024 10:26 3m 46s
feat(spec): Add properties, and write report on the findings Quint #336: Pull request #189 synchronize by josef-widder
June 26, 2024 10:25 3m 40s i188-josef-reset-analysis
i188-josef-reset-analysis
June 26, 2024 10:25 3m 40s
feat(spec): Add properties, and write report on the findings Quint #335: Pull request #189 synchronize by josef-widder
June 26, 2024 10:25 3m 47s i188-josef-reset-analysis
i188-josef-reset-analysis
June 26, 2024 10:25 3m 47s
feat(spec): Add properties, and write report on the findings Quint #334: Pull request #189 synchronize by josef-widder
June 26, 2024 10:24 3m 45s i188-josef-reset-analysis
i188-josef-reset-analysis
June 26, 2024 10:24 3m 45s
feat(spec): Add properties, and write report on the findings Quint #333: Pull request #189 synchronize by josef-widder
June 26, 2024 10:24 3m 43s i188-josef-reset-analysis
i188-josef-reset-analysis
June 26, 2024 10:24 3m 43s
feat(spec): Add properties, and write report on the findings Quint #332: Pull request #189 synchronize by josef-widder
June 26, 2024 10:23 3m 50s i188-josef-reset-analysis
i188-josef-reset-analysis
June 26, 2024 10:23 3m 50s
feat(spec): Add properties, and write report on the findings Quint #331: Pull request #189 synchronize by josef-widder
June 26, 2024 10:22 3m 46s i188-josef-reset-analysis
i188-josef-reset-analysis
June 26, 2024 10:22 3m 46s
feat(spec): Add properties, and write report on the findings Quint #330: Pull request #189 synchronize by josef-widder
June 26, 2024 10:12 3m 46s i188-josef-reset-analysis
i188-josef-reset-analysis
June 26, 2024 10:12 3m 46s
feat(spec): Add properties, and write report on the findings Quint #329: Pull request #189 synchronize by josef-widder
June 26, 2024 10:10 3m 44s i188-josef-reset-analysis
i188-josef-reset-analysis
June 26, 2024 10:10 3m 44s
feat(spec): Add properties, and write report on the findings Quint #328: Pull request #189 synchronize by josef-widder
June 26, 2024 10:09 3m 56s i188-josef-reset-analysis
i188-josef-reset-analysis
June 26, 2024 10:09 3m 56s
feat(spec): Add properties, and write report on the findings Quint #327: Pull request #189 synchronize by josef-widder
June 26, 2024 10:08 3m 50s i188-josef-reset-analysis
i188-josef-reset-analysis
June 26, 2024 10:08 3m 50s
feat(spec): Add properties, and write report on the findings Quint #326: Pull request #189 synchronize by josef-widder
June 26, 2024 10:08 3m 47s i188-josef-reset-analysis
i188-josef-reset-analysis
June 26, 2024 10:08 3m 47s
feat(spec): Add properties, and write report on the findings Quint #325: Pull request #189 synchronize by romac
June 26, 2024 09:57 3m 58s i188-josef-reset-analysis
i188-josef-reset-analysis
June 26, 2024 09:57 3m 58s
feat(spec): Proofs spec Quint #324: Pull request #198 synchronize by josef-widder
June 24, 2024 14:07 3m 52s josef/proofs-in-blocks
josef/proofs-in-blocks
June 24, 2024 14:07 3m 52s
feat(spec): Add properties, and write report on the findings Quint #323: Pull request #189 synchronize by cason
June 24, 2024 13:44 3m 48s i188-josef-reset-analysis
i188-josef-reset-analysis
June 24, 2024 13:44 3m 48s
feat(spec): Proofs spec Quint #322: Pull request #198 synchronize by josef-widder
June 21, 2024 12:34 3m 48s josef/proofs-in-blocks
josef/proofs-in-blocks
June 21, 2024 12:34 3m 48s