Skip to content

Actions: informalsystems/malachite

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,383 workflow run results
1,383 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ci: Check PR title (#137) Spelling #7: Commit 379dd7d pushed by romac
January 3, 2024 13:56 17s main
main
January 3, 2024 13:56 17s
ci: Check PR title Spelling #6: Pull request #137 synchronize by romac
January 3, 2024 13:56 19s semantic-pr-title
semantic-pr-title
January 3, 2024 13:56 19s
ci: Check PR title Spelling #5: Pull request #137 opened by romac
January 3, 2024 13:55 21s semantic-pr-title
semantic-pr-title
January 3, 2024 13:55 21s
Run codespell on CI (#136) Spelling #4: Commit 73a9900 pushed by romac
January 3, 2024 13:53 24s main
main
January 3, 2024 13:53 24s
Run codespell on CI (#136) Rust #482: Commit 73a9900 pushed by romac
January 3, 2024 13:53 2m 24s main
main
January 3, 2024 13:53 2m 24s
Run codespell on CI (#136) MBT #201: Commit 73a9900 pushed by romac
January 3, 2024 13:53 2m 47s main
main
January 3, 2024 13:53 2m 47s
Run codespell on CI (#136) Coverage #485: Commit 73a9900 pushed by romac
January 3, 2024 13:53 3m 2s main
main
January 3, 2024 13:53 3m 2s
Run codespell on CI (#136) Quint #208: Commit 73a9900 pushed by romac
January 3, 2024 13:53 9m 0s main
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
codespell
January 3, 2024 13:44 6m 13s
Run codespell on CI Spelling #3: Pull request #136 synchronize by romac
January 3, 2024 13:44 25s codespell
codespell
January 3, 2024 13:44 25s
Run codespell on CI Rust #481: Pull request #136 synchronize by romac
January 3, 2024 13:44 2m 19s codespell
codespell
January 3, 2024 13:44 2m 19s
Run codespell on CI Coverage #484: Pull request #136 synchronize by romac
January 3, 2024 13:44 2m 56s codespell
codespell
January 3, 2024 13:44 2m 56s
Run codespell on CI MBT #200: Pull request #136 synchronize by romac
January 3, 2024 13:44 2m 56s codespell
codespell
January 3, 2024 13:44 2m 56s
Run codespell on CI Quint #206: Pull request #136 synchronize by romac
January 3, 2024 13:41 9m 2s codespell
codespell
January 3, 2024 13:41 9m 2s
Run codespell on CI Rust #480: Pull request #136 synchronize by romac
January 3, 2024 13:41 2m 26s codespell
codespell
January 3, 2024 13:41 2m 26s
Run codespell on CI MBT #199: Pull request #136 synchronize by romac
January 3, 2024 13:41 2m 59s codespell
codespell
January 3, 2024 13:41 2m 59s
Run codespell on CI Coverage #483: Pull request #136 synchronize by romac
January 3, 2024 13:41 3m 19s codespell
codespell
January 3, 2024 13:41 3m 19s
Run codespell on CI Spelling #2: Pull request #136 synchronize by romac
January 3, 2024 13:41 20s codespell
codespell
January 3, 2024 13:41 20s
Run codespell on CI Spelling #1: Pull request #136 opened by romac
January 3, 2024 13:38 23s codespell
codespell
January 3, 2024 13:38 23s
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
romac/mbt-fix
December 21, 2023 16:01 7m 45s
test: Fix bug in MBT test where some steps were skipped Rust #479: Pull request #129 opened by romac
December 21, 2023 16:01 1m 19s romac/mbt-fix
romac/mbt-fix
December 21, 2023 16:01 1m 19s
test: Fix bug in MBT test where some steps were skipped Coverage #482: Pull request #129 opened by romac
December 21, 2023 16:01 1m 21s romac/mbt-fix
romac/mbt-fix
December 21, 2023 16:01 1m 21s
test: Fix bug in MBT test where some steps were skipped MBT #198: Pull request #129 opened by romac
December 21, 2023 16:01 2m 11s romac/mbt-fix
romac/mbt-fix
December 21, 2023 16:01 2m 11s
Remove unnecessary use of async in the driver Rust #478: Commit 057c601 pushed by romac
December 19, 2023 13:57 3m 8s main
main
December 19, 2023 13:57 3m 8s
Remove unnecessary use of async in the driver Coverage #481: Commit 057c601 pushed by romac
December 19, 2023 13:57 2m 36s main
main
December 19, 2023 13:57 2m 36s