Skip to content

Actions: imandra-ai/ponens

Actions

Test CLI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-cli.yml
81 workflow runs
81 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
Merge pull request #11 from imandra-ai/denis/aug26 Test CLI #81: Commit 6acbe62 pushed by ignaden
15s main
main
15s
Denis/aug26 Test CLI #80: Pull request #11 opened by ignaden
18s denis/aug26
denis/aug26
18s
Merge pull request #10 from imandra-ai/denis/aug26 Test CLI #79: Commit 72c5655 pushed by ignaden
18s main
main
18s
ponens 1.11.0 — composable acceptance + accumulated trace-spec work Test CLI #78: Pull request #10 opened by ignaden
17s denis/aug26
denis/aug26
17s
Merge pull request #9 from imandra-ai/denis/open_defeaters Test CLI #77: Commit aeeb1a7 pushed by ignaden
18s main
main
18s
Denis/open defeaters Test CLI #76: Pull request #9 opened by ignaden
15s denis/open_defeaters
denis/open_defeaters
15s
Merge pull request #8 from imandra-ai/denis/aug8 Test CLI #75: Commit 2daa05c pushed by ignaden
15s main
main
15s
Denis/aug8 Test CLI #74: Pull request #8 opened by ignaden
21s denis/aug8
denis/aug8
21s
Merge pull request #7 from imandra-ai/denis/aug7 Test CLI #73: Commit d595411 pushed by ignaden
23s main
main
23s
Denis/aug7 Test CLI #72: Pull request #7 opened by ignaden
17s denis/aug7
denis/aug7
17s
Merge pull request #2 from imandra-ai/e/cursor-adapter Test CLI #71: Commit f811f08 pushed by ignaden
17s main
main
17s
Merge pull request #6 from imandra-ai/denis/aug4 Test CLI #70: Commit a819ac2 pushed by ignaden
24s main
main
24s
Release v1.8.0 — content-addressed object store, replay, revision-aware lineage Test CLI #69: Pull request #6 opened by ignaden
21s denis/aug4
denis/aug4
21s
bump uv lock Test CLI #68: Commit 0665f00 pushed by seprov
17s main
main
17s
bump release Test CLI #67: Commit 2a72146 pushed by seprov
20s main
main
20s
add lint (#4) Test CLI #66: Commit 1e14586 pushed by seprov
21s main
main
21s
Add lint Test CLI #65: Pull request #4 opened by seprov
15s seb/add-lint
seb/add-lint
15s
force website redeploy even if website didnt change Test CLI #64: Commit 48389b9 pushed by ignaden
22s main
main
22s
freshness-gap fix Test CLI #63: Commit 2f26086 pushed by ignaden
16s main
main
16s
uv lock Test CLI #62: Commit d8b12c4 pushed by ignaden
24s main
main
24s
diff update and release Test CLI #61: Commit 5df0464 pushed by ignaden
14s main
main
14s
add alias Test CLI #60: Commit bfee095 pushed by ignaden
17s main
main
17s
cleaning up goal setting Test CLI #59: Commit f2cddb4 pushed by ignaden
13s main
main
13s
Goal contracts (met ∧ governed ∧ certified) — v1.6.0 Test CLI #58: Commit f391855 pushed by ignaden
20s main
main
20s
Add Cursor IDE transcript adapter for ponens emit Test CLI #57: Pull request #2 opened by elijahkagan
17s e/cursor-adapter
e/cursor-adapter
17s