Skip to content

Actions: modality-org/modality

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
45 workflow runs
45 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

refactor: rename .passfile to .modal_passfile across CLI Deploy Docs #23: Commit 9455921 pushed by geroldsteiner67
1m 17s main
main
1m 17s
feat(docs): add KaTeX math rendering + fix build errors Deploy Docs #22: Commit 9520253 pushed by geroldsteiner67
1m 19s main
main
1m 19s
docs: replace 'state machine' with 'labeled transition system' Deploy Docs #21: Commit 74011b1 pushed by geroldsteiner67
1m 30s main
main
1m 30s
docs: tutorials use model synthesis from rules Deploy Docs #20: Commit a67f760 pushed by geroldsteiner67
1m 16s main
main
1m 16s
docs: tutorials - rules before model, use named passfiles Deploy Docs #19: Commit d542138 pushed by geroldsteiner67
1m 11s main
main
1m 11s
docs: use modal id create --name for simpler passfile creation Deploy Docs #18: Commit a44b30b pushed by geroldsteiner67
1m 18s main
main
1m 18s
docs: fix tutorial to store passfiles in ~/.modality, not contract dir Deploy Docs #17: Commit b9e9b0b pushed by geroldsteiner67
1m 5s main
main
1m 5s
docs: add link to Foy Savas presentation video Deploy Docs #16: Commit 493b364 pushed by geroldsteiner67
1m 42s main
main
1m 42s
docs: escape curly braces in math notation for MDX compatibility Deploy Docs #15: Commit ad7cc42 pushed by geroldsteiner67
1m 10s main
main
1m 10s
docs: include full paper content in resources pages Deploy Docs #14: Commit 1bfdc05 pushed by geroldsteiner67
45s main
main
45s
docs: add dedicated hub-commands.md CLI page Deploy Docs #13: Commit 760cd6a pushed by geroldsteiner67
1m 15s main
main
1m 15s
docs: update Bud Mishra Google Scholar link Deploy Docs #12: Commit b1a09e8 pushed by geroldsteiner67
1m 12s main
main
1m 12s
docs: use black background for logo and favicon Deploy Docs #11: Commit 48182d2 pushed by geroldsteiner67
1m 37s main
main
1m 37s
docs: generate favicon.ico and PNG assets from SVG Deploy Docs #10: Commit 43fb9d1 pushed by geroldsteiner67
1m 43s main
main
1m 43s
docs: add WIP disclosure about AI agent contributions Deploy Docs #9: Commit ae1deb9 pushed by geroldsteiner67
2m 7s main
main
2m 7s
docs: add Coptic mu (ⲙ) logo and favicon Deploy Docs #8: Commit e74470d pushed by geroldsteiner67
1m 16s main
main
1m 16s
docs: comprehensive CLI documentation Deploy Docs #7: Commit d02579e pushed by geroldsteiner67
1m 3s main
main
1m 3s
fix: restore papers to papers/ directory, update doc links Deploy Docs #6: Commit 77d42a5 pushed by geroldsteiner67
1m 6s main
main
1m 6s
docs: redirect homepage to /docs Deploy Docs #5: Commit 6cfd8f5 pushed by geroldsteiner67
1m 13s main
main
1m 13s
Deploy Docs Deploy Docs #4: Manually run by geroldsteiner67
1m 12s main
main
1m 12s
pages build and deployment pages-build-deployment #22: by geroldsteiner67
41s main
main
41s
docs: rename docs-site to docs, move old docs to docs-legacy Deploy Docs #3: Commit 3eda59c pushed by geroldsteiner67
1m 11s main
main
1m 11s
pages build and deployment pages-build-deployment #21: by geroldsteiner67
38s main
main
38s
docs: add complete docs content from /docs to /docs-site Deploy Docs #2: Commit 101d59b pushed by geroldsteiner67
1m 5s main
main
1m 5s
pages build and deployment pages-build-deployment #20: by geroldsteiner67
41s main
main
41s