Skip to content

Actions: imandra-ai/ponens

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
312 workflow runs
312 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
Merge pull request #11 from imandra-ai/denis/aug26 Test CLI #81: Commit 6acbe62 pushed by ignaden
15s main
main
15s
Merge pull request #11 from imandra-ai/denis/aug26 Deploy website #50: Commit 6acbe62 pushed by ignaden
42s main
main
42s
Merge pull request #11 from imandra-ai/denis/aug26 Validate samples #80: Commit 6acbe62 pushed by ignaden
15s main
main
15s
Merge pull request #11 from imandra-ai/denis/aug26 Validate gallery #74: Commit 6acbe62 pushed by ignaden
13s main
main
13s
Denis/aug26 Test CLI #80: Pull request #11 opened by ignaden
18s denis/aug26
denis/aug26
18s
Denis/aug26 Validate gallery #73: Pull request #11 opened by ignaden
16s denis/aug26
denis/aug26
16s
Denis/aug26 Validate samples #79: Pull request #11 opened by ignaden
15s denis/aug26
denis/aug26
15s
Merge pull request #10 from imandra-ai/denis/aug26 Validate samples #78: Commit 72c5655 pushed by ignaden
17s main
main
17s
Merge pull request #10 from imandra-ai/denis/aug26 Evaluator parity #27: Commit 72c5655 pushed by ignaden
15s main
main
15s
Merge pull request #10 from imandra-ai/denis/aug26 Test CLI #79: Commit 72c5655 pushed by ignaden
18s main
main
18s
Merge pull request #10 from imandra-ai/denis/aug26 Validate gallery #72: Commit 72c5655 pushed by ignaden
10s main
main
10s
Merge pull request #10 from imandra-ai/denis/aug26 Deploy website #49: Commit 72c5655 pushed by ignaden
47s main
main
47s
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
ponens 1.11.0 — composable acceptance + accumulated trace-spec work Evaluator parity #26: Pull request #10 opened by ignaden
17s denis/aug26
denis/aug26
17s
ponens 1.11.0 — composable acceptance + accumulated trace-spec work Validate samples #77: Pull request #10 opened by ignaden
16s denis/aug26
denis/aug26
16s
Merge pull request #9 from imandra-ai/denis/open_defeaters Deploy website #48: Commit aeeb1a7 pushed by ignaden
45s main
main
45s
Merge pull request #9 from imandra-ai/denis/open_defeaters Test CLI #77: Commit aeeb1a7 pushed by ignaden
18s main
main
18s
Merge pull request #9 from imandra-ai/denis/open_defeaters Validate gallery #71: Commit aeeb1a7 pushed by ignaden
12s main
main
12s
Merge pull request #9 from imandra-ai/denis/open_defeaters Validate samples #76: Commit aeeb1a7 pushed by ignaden
15s main
main
15s
Merge pull request #9 from imandra-ai/denis/open_defeaters Evaluator parity #25: Commit aeeb1a7 pushed by ignaden
16s main
main
16s
Denis/open defeaters Validate samples #75: Pull request #9 opened by ignaden
14s denis/open_defeaters
denis/open_defeaters
14s
Denis/open defeaters Test CLI #76: Pull request #9 opened by ignaden
15s denis/open_defeaters
denis/open_defeaters
15s
Denis/open defeaters Evaluator parity #24: Pull request #9 opened by ignaden
18s denis/open_defeaters
denis/open_defeaters
18s
Merge pull request #8 from imandra-ai/denis/aug8 Validate gallery #70: Commit 2daa05c pushed by ignaden
15s main
main
15s
Merge pull request #8 from imandra-ai/denis/aug8 Validate samples #74: Commit 2daa05c pushed by ignaden
18s main
main
18s