8000 Workflow runs · FormalSAT/trestle · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: FormalSAT/trestle

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
266 workflow runs
266 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

stash ci #504: Commit ef46c62 pushed by JamesGallicchio
April 4, 2025 17:29 2m 54s james-stash
james-stash
April 4, 2025 17:29 2m 54s
fix(Keller): 7 dimension SR bug!! ci #503: Commit 4836df9 pushed by JamesGallicchio
April 3, 2025 19:55 2m 42s dev
dev
April 3, 2025 19:55 2m 42s
stash ci #502: Commit 634ab7f pushed by JamesGallicchio
April 3, 2025 17:08 2m 59s james-stash
james-stash
April 3, 2025 17:08 2m 59s
feat(Keller): test script ci #501: Commit c279b81 pushed by JamesGallicchio
April 3, 2025 17:06 2m 38s dev
dev
April 3, 2025 17:06 2m 38s
chore(Keller): remove Matrix.lean ci #500: Commit bfdd5b6 pushed by JamesGallicchio
April 3, 2025 16:16 2m 40s dev
dev
April 3, 2025 16:16 2m 40s
chore(Keller): bug catching info ci #499: Commit 9321684 pushed by JamesGallicchio
April 2, 2025 00:14 2m 30s dev
dev
April 2, 2025 00:14 2m 30s
feat(Keller): WORKING COMPLETE SR PROOF!! ci #498: Commit 3b43492 pushed by JamesGallicchio
April 1, 2025 19:26 2m 40s dev
dev
April 1, 2025 19:26 2m 40s
feat(Keller): SR proofs but column by column(?) ci #497: Commit 66d9fc1 pushed by JamesGallicchio
March 31, 2025 23:42 2m 43s dev
dev
March 31, 2025 23:42 2m 43s
feat(Keller): try to fix bugs in SR proofs (something deeper is going… ci #496: Commit 54c1b23 pushed by JamesGallicchio
March 26, 2025 00:03 2m 50s dev
dev
March 26, 2025 00:03 2m 50s
feat(Keller): produce SR proofs that *will* work when cayden fixes ds… ci #495: Commit 9ed8de9 pushed by JamesGallicchio
March 25, 2025 22:10 2m 43s dev
dev
March 25, 2025 22:10 2m 43s
feat(Keller): debugging matrix SR issues ci #494: Commit a5aa4d4 pushed by JamesGallicchio
March 25, 2025 16:24 2m 46s dev
dev
March 25, 2025 16:24 2m 46s
feat(Keller): matrix proofs that work except at n=6 ci #493: Commit 24524d0 pushed by JamesGallicchio
March 25, 2025 07:21 2m 38s dev
dev
March 25, 2025 07:21 2m 38s
feat(Keller): progress toward matrix encoding ci #492: Commit ec5a59a pushed by JamesGallicchio
March 25, 2025 00:36 2m 36s dev
dev
March 25, 2025 00:36 2m 36s
chore(Keller): fix up after updates ci #491: Commit 915c662 pushed by JamesGallicchio
March 25, 2025 00:25 2m 39s dev
dev
March 25, 2025 00:25 2m 39s
chore(Trestle): bump to v4.18.0-rc1 ci #490: Commit cf0dbec pushed by JamesGallicchio
March 24, 2025 23:44 2m 36s dev
dev
March 24, 2025 23:44 2m 36s
fix(Trestle): extract closed bug ci #489: Commit c922a12 pushed by JamesGallicchio
March 24, 2025 23:42 2m 36s dev
dev
March 24, 2025 23:42 2m 36s
fix(Trestle): indextype deriver should handle type params ci #488: Commit 3cab04c pushed by JamesGallicchio
March 24, 2025 22:14 2m 45s v4.17.0
v4.17.0
March 24, 2025 22:14 2m 45s
fix(Trestle): indextype deriver should handle type params ci #487: Commit 3cab04c pushed by JamesGallicchio
March 24, 2025 22:05 3m 0s main
main
March 24, 2025 22:05 3m 0s
chore(Trestle): bump to v4.17.0 ci #486: Pull request #36 synchronize by JamesGallicchio
March 24, 2025 22:00 2m 33s dev
dev
March 24, 2025 22:00 2m 33s
fix(Trestle): indextype deriver should handle type params ci #485: Commit 3cab04c pushed by JamesGallicchio
March 24, 2025 22:00 2m 39s dev
dev
March 24, 2025 22:00 2m 39s
chore(Trestle): bump to v4.17.0 ci #484: Pull request #36 opened by JamesGallicchio
March 24, 2025 20:29 2m 39s dev
dev
March 24, 2025 20:29 2m 39s
chore(Trestle): bump to v4.17.0 ci #483: Commit f8620d9 pushed by JamesGallicchio
March 24, 2025 20:29 2m 36s dev
dev
March 24, 2025 20:29 2m 36s
chore(Trestle): remove GeneralEncs ci #482: Commit cccdcf5 pushed by JamesGallicchio
March 24, 2025 20:22 2m 35s v4.16.0
v4.16.0
March 24, 2025 20:22 2m 35s
chore(Trestle): remove GeneralEncs ci #481: Commit cccdcf5 pushed by JamesGallicchio
March 24, 2025 20:18 2m 31s dev
dev
March 24, 2025 20:18 2m 31s
chore(Trestle): remove GeneralEncs ci #480: Commit cccdcf5 pushed by JamesGallicchio
March 24, 2025 20:14 2m 33s main
main
March 24, 2025 20:14 2m 33s
0