Skip to content

Actions: SanTiepi/benoit

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
63 workflow runs
63 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: v0.8.0 — the language where code is proof CI #31: Commit 84eccb0 pushed by SanTiepi
15s main
main
15s
pages build and deployment pages-build-deployment #32: by SanTiepi
40s main
main
40s
Revise LICENSE to include all rights reserved CI #30: Commit 9f5c245 pushed by SanTiepi
11s main
main
11s
pages build and deployment pages-build-deployment #31: by SanTiepi
38s main
main
38s
feat: generate + distance + decompose — reverse algebra CI #29: Commit b2a60a9 pushed by SanTiepi
13s main
main
13s
pages build and deployment pages-build-deployment #30: by SanTiepi
38s main
main
38s
docs: update README with demos, types, diff, 164 tests CI #28: Commit a961957 pushed by SanTiepi
11s main
main
11s
pages build and deployment pages-build-deployment #29: by SanTiepi
36s main
main
36s
feat: full AI-to-AI conversation demo CI #27: Commit c448713 pushed by SanTiepi
11s main
main
11s
pages build and deployment pages-build-deployment #28: by SanTiepi
37s main
main
37s
feat: differential testing + property stress testing CI #26: Commit 7706a01 pushed by SanTiepi
11s main
main
11s
pages build and deployment pages-build-deployment #27: by SanTiepi
30s main
main
30s
feat: behavioral type inference + types CLI command CI #25: Commit 1a035e6 pushed by SanTiepi
15s main
main
15s
pages build and deployment pages-build-deployment #26: by SanTiepi
39s main
main
39s
feat: marketplace + evolution demos CI #24: Commit a9b2da4 pushed by SanTiepi
14s main
main
14s
pages build and deployment pages-build-deployment #25: by SanTiepi
39s main
main
39s
docs: rewrite README for v0.5.0 — algebra, protocol, optimizer, compose CI #23: Commit 5679f36 pushed by SanTiepi
12s main
main
12s
pages build and deployment pages-build-deployment #24: by SanTiepi
37s main
main
37s
test: add protocol test suite — 11 tests for encode/decode/exchange CI #22: Commit 66d52e2 pushed by SanTiepi
13s main
main
13s
pages build and deployment pages-build-deployment #23: by SanTiepi
35s main
main
35s
experiment: hybrid protocol — behavior when possible, code when neces… CI #21: Commit 2890f51 pushed by SanTiepi
11s main
main
11s
pages build and deployment pages-build-deployment #22: by SanTiepi
39s main
main
39s
experiment: protocol negotiation — agents dialogue until convergence CI #20: Commit 99ed283 pushed by SanTiepi
11s main
main
11s
pages build and deployment pages-build-deployment #21: by SanTiepi
38s main
main
38s
feat: conditional synthesis — discover branching behavior from examples CI #19: Commit d0cecdd pushed by SanTiepi
13s main
main
13s