Skip to content

Actions: modality-org/modality

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,128 workflow runs
2,128 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
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
Explain fixed-point rule failures Rust CI #1993: Commit 9b3757e pushed by geroldsteiner67
10m 18s main
main
10m 18s
Explain action-modal rule failures with witnesses Rust CI #1992: Commit a7d653c pushed by geroldsteiner67
10m 4s main
main
10m 4s
Explain local anchored rule formula failures Rust CI #1991: Commit 39224d4 pushed by geroldsteiner67
10m 28s main
main
10m 28s
Explain anchored rule model replacement failures Rust CI #1990: Commit bf67b74 pushed by geroldsteiner67
10m 50s main
main
10m 50s
Check anchored rules on model replacement Rust CI #1989: Commit e867187 pushed by geroldsteiner67
10m 3s main
main
10m 3s
Persist local model commits Rust CI #1988: Commit e51fb7d pushed by geroldsteiner67
10m 21s main
main
10m 21s
Validate local commits against model predicates Rust CI #1987: Commit e62739f pushed by geroldsteiner67
15m 59s main
main
15m 59s
Rank hub transition rejection candidates Rust CI #1986: Commit 3cdbd50 pushed by geroldsteiner67
11m 39s main
main
11m 39s
Explain hub transition predicate failures Rust CI #1985: Commit 6aa6f54 pushed by geroldsteiner67
10m 56s main
main
10m 56s
Explain contract rule predicate failures Rust CI #1984: Commit 373e85c pushed by geroldsteiner67
11m 6s main
main
11m 6s
Document lean onboarding wrapper Deploy Docs #108: Commit b1393e9 pushed by geroldsteiner67
1m 23s main
main
1m 23s
Add lean modal onboarding feature Rust CI #1983: Commit e6658f5 pushed by geroldsteiner67
10m 33s main
main
10m 33s
Trim contract CLI libp2p dependency Rust CI #1982: Commit 2707d97 pushed by geroldsteiner67
9m 50s main
main
9m 50s
Guard contract CLI onboarding deps Rust CI #1981: Commit 44069cd pushed by geroldsteiner67
10m 42s main
main
10m 42s
Add onboarding smoke bundle Deploy Docs #107: Commit 0e93f90 pushed by geroldsteiner67
1m 26s main
main
1m 26s
Add first-contract modal wrapper smoke Deploy Docs #106: Commit decdaa6 pushed by geroldsteiner67
1m 19s main
main
1m 19s
Cover identity-backed contract onboarding Deploy Docs #105: Commit f29b041 pushed by geroldsteiner67
1m 40s main
main
1m 40s
Cover identity-backed contract onboarding Rust CI #1980: Commit f29b041 pushed by geroldsteiner67
9m 43s main
main
9m 43s
Smoke test local contract log flow Rust CI #1979: Commit 176b7d6 pushed by geroldsteiner67
9m 12s main
main
9m 12s
Cover modal onboarding help surface Rust CI #1978: Commit 28c2586 pushed by geroldsteiner67
12m 44s main
main
12m 44s