Skip to content

Actions: informalsystems/malachite

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,186 workflow run results
4,186 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(code): Starknet host integration MBT #683: Pull request #236 synchronize by romac
June 24, 2024 10:08 4m 29s romac/host-integration
romac/host-integration
June 24, 2024 10:08 4m 29s
feat(code): Starknet host integration Coverage #966: Pull request #236 synchronize by romac
June 24, 2024 10:08 4m 50s romac/host-integration
romac/host-integration
June 24, 2024 10:08 4m 50s
feat(code): Starknet host integration Spelling #561: Pull request #236 synchronize by romac
June 24, 2024 10:08 18s romac/host-integration
romac/host-integration
June 24, 2024 10:08 18s
feat(code): Starknet host integration Rust #966: Pull request #236 synchronize by romac
June 24, 2024 10:08 4m 28s romac/host-integration
romac/host-integration
June 24, 2024 10:08 4m 28s
feat(code): Starknet host integration PR #638: Pull request #236 synchronize by romac
June 24, 2024 10:08 13s
June 24, 2024 10:08 13s
feat(spec): Add properties, and write report on the findings PR #637: Pull request #189 synchronize by josef-widder
June 21, 2024 15:00 12s
June 21, 2024 15:00 12s
feat(spec): Proofs scheduling protocol, English specification Spelling #560: Pull request #241 synchronize by cason
June 21, 2024 13:11 18s cason/proofs-english-spec
cason/proofs-english-spec
June 21, 2024 13:11 18s
feat(spec): Proofs scheduling protocol, English specification PR #636: Pull request #241 synchronize by cason
June 21, 2024 13:11 12s
June 21, 2024 13:11 12s
feat(spec): Proofs scheduling protocol, English specification PR #635: Pull request #241 synchronize by cason
June 21, 2024 13:07 12s
June 21, 2024 13:07 12s
feat(spec): Proofs scheduling protocol, English specification Spelling #559: Pull request #241 synchronize by cason
June 21, 2024 13:07 13s cason/proofs-english-spec
cason/proofs-english-spec
June 21, 2024 13:07 13s
feat(spec): Proofs spec Spelling #558: Pull request #198 synchronize by josef-widder
June 21, 2024 12:34 19s josef/proofs-in-blocks
josef/proofs-in-blocks
June 21, 2024 12:34 19s
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
feat(spec): Proofs spec MBT #682: Pull request #198 synchronize by josef-widder
June 21, 2024 12:34 3m 55s josef/proofs-in-blocks
josef/proofs-in-blocks
June 21, 2024 12:34 3m 55s
feat(spec): Proofs spec Coverage #965: Pull request #198 synchronize by josef-widder
June 21, 2024 12:34 4m 43s josef/proofs-in-blocks
josef/proofs-in-blocks
June 21, 2024 12:34 4m 43s
feat(spec): Proofs spec Rust #965: Pull request #198 synchronize by josef-widder
June 21, 2024 12:34 5m 36s josef/proofs-in-blocks
josef/proofs-in-blocks
June 21, 2024 12:34 5m 36s
feat(spec): Proofs spec PR #634: Pull request #198 synchronize by josef-widder
June 21, 2024 12:34 13s
June 21, 2024 12:34 13s
feat(spec): Proofs spec MBT #681: Pull request #198 synchronize by josef-widder
June 21, 2024 12:14 4m 4s josef/proofs-in-blocks
josef/proofs-in-blocks
June 21, 2024 12:14 4m 4s
feat(spec): Proofs spec Spelling #557: Pull request #198 synchronize by josef-widder
June 21, 2024 12:14 13s josef/proofs-in-blocks
josef/proofs-in-blocks
June 21, 2024 12:14 13s
feat(spec): Proofs spec Coverage #964: Pull request #198 synchronize by josef-widder
June 21, 2024 12:14 4m 55s josef/proofs-in-blocks
josef/proofs-in-blocks
June 21, 2024 12:14 4m 55s
feat(spec): Proofs spec Quint #321: Pull request #198 synchronize by josef-widder
June 21, 2024 12:14 3m 44s josef/proofs-in-blocks
josef/proofs-in-blocks
June 21, 2024 12:14 3m 44s
feat(spec): Proofs spec Rust #964: Pull request #198 synchronize by josef-widder
June 21, 2024 12:14 5m 53s josef/proofs-in-blocks
josef/proofs-in-blocks
June 21, 2024 12:14 5m 53s
feat(spec): Proofs spec PR #633: Pull request #198 synchronize by josef-widder
June 21, 2024 12:14 14s
June 21, 2024 12:14 14s
feat(spec): Proofs spec Coverage #963: Pull request #198 synchronize by josef-widder
June 21, 2024 11:46 4m 48s josef/proofs-in-blocks
josef/proofs-in-blocks
June 21, 2024 11:46 4m 48s
feat(spec): Proofs spec MBT #680: Pull request #198 synchronize by josef-widder
June 21, 2024 11:46 4m 4s josef/proofs-in-blocks
josef/proofs-in-blocks
June 21, 2024 11:46 4m 4s
feat(spec): Proofs spec Quint #320: Pull request #198 synchronize by josef-widder
June 21, 2024 11:46 3m 51s josef/proofs-in-blocks
josef/proofs-in-blocks
June 21, 2024 11:46 3m 51s