Skip to content

Actions: leanprover/KLR

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
290 workflow runs
290 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: extend builtin object capabilities CI #65: Commit 6aaca93 pushed by govereau
February 4, 2025 22:25 38s main
main
February 4, 2025 22:25 38s
feat: extend builtin object capabilities CI #64: Pull request #26 opened by govereau
February 4, 2025 18:40 41s pg-obj
pg-obj
February 4, 2025 18:40 41s
feat: implement comparison operators CI #63: Commit cc3bd7c pushed by govereau
February 4, 2025 18:22 29s main
main
February 4, 2025 18:22 29s
[WIP] subprocess version of python/lean communication CI #62: Pull request #25 opened by seanmcl
February 4, 2025 00:18 37s sm/cli-poc
sm/cli-poc
February 4, 2025 00:18 37s
feat: implement comparison operators CI #61: Pull request #24 synchronize by govereau
February 3, 2025 17:25 31s pg-ops
pg-ops
February 3, 2025 17:25 31s
chore: update README CI #60: Commit 353b15a pushed by govereau
February 3, 2025 17:23 30s main
main
February 3, 2025 17:23 30s
chore: update CODEOWNERS to match TensorLib CI #59: Commit a4e9245 pushed by govereau
February 3, 2025 17:04 30s main
main
February 3, 2025 17:04 30s
feat: implement comparison operators CI #58: Pull request #24 synchronize by govereau
January 27, 2025 20:49 33s pg-ops
pg-ops
January 27, 2025 20:49 33s
feat: implement comparison operators CI #57: Pull request #24 opened by govereau
January 27, 2025 19:52 30s pg-ops
pg-ops
January 27, 2025 19:52 30s
refactor: make some partial functions total CI #56: Commit c65ccb5 pushed by govereau
January 27, 2025 19:28 33s main
main
January 27, 2025 19:28 33s
refactor: make some partial functions total CI #55: Pull request #23 opened by govereau
January 27, 2025 15:58 41s pg-util
pg-util
January 27, 2025 15:58 41s
feat: add assignments to tuples and lists CI #54: Commit 2f03c87 pushed by govereau
January 22, 2025 14:44 30s main
main
January 22, 2025 14:44 30s
feat: add assignments to tuples and lists CI #53: Pull request #22 synchronize by govereau
January 22, 2025 14:43 33s pg-assign
pg-assign
January 22, 2025 14:43 33s
feat: simple pretty-printer for KLR CI #52: Commit 4a61978 pushed by govereau
January 22, 2025 14:37 30s main
main
January 22, 2025 14:37 30s
A simple pretty-printer for KLR CI #51: Pull request #21 synchronize by govereau
January 22, 2025 14:06 9m 27s pg-pretty
pg-pretty
January 22, 2025 14:06 9m 27s
feat: tracing for python source functions CI #50: Commit 8757026 pushed by govereau
January 22, 2025 14:03 33s main
main
January 22, 2025 14:03 33s
Tracing for python source functions CI #49: Pull request #20 synchronize by govereau
January 21, 2025 23:22 33s pg-trace
pg-trace
January 21, 2025 23:22 33s
Tracing for python source functions CI #48: Pull request #20 synchronize by govereau
January 21, 2025 16:16 37s pg-trace
pg-trace
January 21, 2025 16:16 37s
feat: basic tracing for Terms CI #47: Commit 578dc59 pushed by govereau
January 11, 2025 16:19 27s main
main
January 11, 2025 16:19 27s
feat: basic tracing for Terms CI #46: Pull request #19 synchronize by govereau
January 11, 2025 16:18 19s pg-basic
pg-basic
January 11, 2025 16:18 19s
feat: basic definitions to support tracing CI #45: Commit 2da2eb0 pushed by govereau
January 10, 2025 20:15 22s main
main
January 10, 2025 20:15 22s
refactor: cleanup KLR definitions CI #44: Commit 847f159 pushed by govereau
January 10, 2025 20:14 23s main
main
January 10, 2025 20:14 23s
refactor: cleanup KLR definitions CI #43: Pull request #17 synchronize by govereau
January 10, 2025 18:01 26s pg-klr
pg-klr
January 10, 2025 18:01 26s
fix: handle arguments and defaults consistently CI #42: Commit 76e7364 pushed by govereau
January 10, 2025 17:13 26s main
main
January 10, 2025 17:13 26s
Tracing for python source functions CI #41: Pull request #20 opened by govereau
January 9, 2025 18:14 34s pg-trace
pg-trace
January 9, 2025 18:14 34s
ProTip! You can narrow down the results and go further in time using created:<2025-01-09 or the other filters available.