Skip to content

Actions: modality-org/modality

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,404 workflow runs
2,404 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
Share verifier rejection candidate ranking Deploy Docs #314: Commit 500ad2e pushed by geroldsteiner67
2m 36s main
main
2m 36s
Share verifier rejection candidate ranking Rust CI #2058: Commit 500ad2e pushed by geroldsteiner67
4m 27s main
main
4m 27s
Stabilize verifier rejection state headers Rust CI #2057: Commit 86a86b9 pushed by geroldsteiner67
4m 11s main
main
4m 11s
Stabilize verifier rejection state headers Deploy Docs #313: Commit 86a86b9 pushed by geroldsteiner67
2m 4s main
main
2m 4s
Surface closer non-current rejection transitions Deploy Docs #312: Commit 81e8aef pushed by geroldsteiner67
2m 0s main
main
2m 0s
Surface closer non-current rejection transitions Rust CI #2056: Commit 81e8aef pushed by geroldsteiner67
6m 4s main
main
6m 4s
Guard modal ai cursor-agent docs Rust CI #2055: Commit 66d8d49 pushed by geroldsteiner67
5m 55s main
main
5m 55s
Guard membership evolution rule syntax Rust CI #2054: Commit 939006c pushed by geroldsteiner67
3m 31s main
main
3m 31s
Guard modal-common member rule syntax Rust CI #2053: Commit 3583904 pushed by geroldsteiner67
4m 5s main
main
4m 5s
Guard synthesizer reviewer witness syntax Rust CI #2052: Commit dbbbd3d pushed by geroldsteiner67
4m 33s main
main
4m 33s
Clarify formula synthesis implication comments Rust CI #2051: Commit efe0429 pushed by geroldsteiner67
5m 10s main
main
5m 10s
Align hub extraction fixture rule style Rust CI #2050: Commit 245e2f0 pushed by geroldsteiner67
2m 46s main
main
2m 46s
Align LLM synthesis prompt with boolean guards Rust CI #2049: Commit 5893b5e pushed by geroldsteiner67
4m 44s main
main
4m 44s
Align members-only integration rule style Rust CI #2048: Commit 2f399cf pushed by geroldsteiner67
4m 28s main
main
4m 28s
Align synthesis smoke with boolean guard style Rust CI #2047: Commit 26c02bd pushed by geroldsteiner67
2m 57s main
main
2m 57s
Guard archived formula implication examples Rust CI #2046: Commit 8ee19d3 pushed by geroldsteiner67
3m 35s main
main
3m 35s
Guard remaining tutorial language traps Deploy Docs #311: Commit 8f423e1 pushed by geroldsteiner67
2m 18s main
main
2m 18s
Guard older blog formula examples Deploy Docs #310: Commit 4a122e3 pushed by geroldsteiner67
1m 55s main
main
1m 55s
Guard public blog formula examples Deploy Docs #309: Commit a97cdc6 pushed by geroldsteiner67
2m 28s main
main
2m 28s
Guard legacy identity setup docs Deploy Docs #308: Commit 5b16466 pushed by geroldsteiner67
2m 27s main
main
2m 27s
Guard site for-agents identity setup Deploy Docs #307: Commit f2d0e47 pushed by geroldsteiner67
2m 21s main
main
2m 21s
Guard formula cookbook language traps Deploy Docs #306: Commit 13a6d1c pushed by geroldsteiner67
1m 53s main
main
1m 53s
Update agent identity setup docs Deploy Docs #305: Commit 5a56d03 pushed by geroldsteiner67
2m 17s main
main
2m 17s
Improve oracle docs and grounded synthesis witnesses Rust CI #2045: Commit d376aa2 pushed by geroldsteiner67
3m 0s main
main
3m 0s
Update CLI documentation to include references to the Formula and Mod… Deploy Docs #304: Commit 3f84f84 pushed by foysavas
1m 49s main
main
1m 49s