Skip to content

Actions: modality-org/modality

Actions

Rust CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
2,018 workflow runs
2,018 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Trace source clauses in rule synthesis bundles Rust CI #2018: Commit a150e97 pushed by geroldsteiner67
12m 21s main
main
12m 21s
Report rule synthesis no-witness diagnostics Rust CI #2017: Commit 1ed67ac pushed by geroldsteiner67
12m 29s main
main
12m 29s
Add rule synthesis review bundle Rust CI #2016: Commit e3072fe pushed by geroldsteiner67
12m 10s main
main
12m 10s
Accept contract method labels in model validation Rust CI #2015: Commit 25e1645 pushed by geroldsteiner67
11m 43s main
main
11m 43s
Synthesize first contract witness from rules Rust CI #2014: Commit ca51a0a pushed by geroldsteiner67
12m 24s main
main
12m 24s
Lint rule formula blocks Rust CI #2013: Commit b5ae5e2 pushed by geroldsteiner67
15m 53s main
main
15m 53s
Explain non-current transition candidates Rust CI #2012: Commit aa036cc pushed by geroldsteiner67
12m 6s main
main
12m 6s
Explain threshold predicate failures Rust CI #2011: Commit 4b3ac22 pushed by geroldsteiner67
12m 6s main
main
12m 6s
Enforce local threshold predicate Rust CI #2010: Commit 8d935ab pushed by geroldsteiner67
11m 49s main
main
11m 49s
Report replayed contract model state Rust CI #2009: Commit 565c17b pushed by geroldsteiner67
12m 47s main
main
12m 47s
Verify first contract bootstrap enforcement Rust CI #2008: Commit 8df96a2 pushed by geroldsteiner67
12m 11s main
main
12m 11s
Explain signed identity bootstrap ordering Rust CI #2007: Commit defc27d pushed by geroldsteiner67
11m 24s main
main
11m 24s
Trace source clauses in synthesis review bundles Rust CI #2006: Commit 9dbe7d3 pushed by geroldsteiner67
12m 36s main
main
12m 36s
Capture synthesis review source text Rust CI #2005: Commit 55a6bce pushed by geroldsteiner67
12m 38s main
main
12m 38s
Add synthesis review fact summary Rust CI #2004: Commit f641553 pushed by geroldsteiner67
12m 17s main
main
12m 17s
Add synthesis review bundles Rust CI #2003: Commit c47c4e5 pushed by geroldsteiner67
11m 57s main
main
11m 57s
Show commit messages in contract logs Rust CI #2002: Commit e0b0712 pushed by geroldsteiner67
12m 33s main
main
12m 33s
Show signer evidence in text contract logs Rust CI #2001: Commit 7508314 pushed by geroldsteiner67
11m 33s main
main
11m 33s
Expose contract log signer evidence Rust CI #2000: Commit 5239056 pushed by geroldsteiner67
11m 57s main
main
11m 57s
Guard lean modal help surface Rust CI #1999: Commit c176bb4 pushed by geroldsteiner67
11m 2s main
main
11m 2s
Explain hub fixed-point rule failures Rust CI #1998: Commit 4888f6d pushed by geroldsteiner67
10m 59s main
main
10m 59s
Explain hub model rule failures Rust CI #1997: Commit b65e3dc pushed by geroldsteiner67
16m 49s main
main
16m 49s
Share formula failure diagnostics Rust CI #1996: Commit dcb478b pushed by geroldsteiner67
12m 0s main
main
12m 0s
Share fixed-point diagnostic fragments Rust CI #1995: Commit c74ede1 pushed by geroldsteiner67
11m 22s main
main
11m 22s
Share model transition diagnostics Rust CI #1994: Commit b6361b2 pushed by geroldsteiner67
10m 17s main
main
10m 17s