Skip to content

Actions: leanprover/NKL

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
47 workflow runs
47 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
fix: handle arguments and defaults consistently CI #40: Pull request #16 opened by govereau
January 8, 2025 11:06 27s pg-defaults
pg-defaults
January 8, 2025 11:06 27s
chore: update to 4.15.0 (#15) CI #39: Commit 13b16c8 pushed by seanmcl
January 7, 2025 23:48 35s main
main
January 7, 2025 23:48 35s
chore: update to 4.15.0 CI #38: Pull request #15 opened by seanmcl
January 7, 2025 18:59 30s sm/4.15.0
sm/4.15.0
January 7, 2025 18:59 30s
chore: move from nightly to 4.15.0-rc1 CI #37: Commit bf25fae pushed by govereau
January 1, 2025 16:44 27s main
main
January 1, 2025 16:44 27s
chore: move from nightly to 4.15.0-rc1 CI #36: Pull request #14 opened by govereau
December 31, 2024 21:45 28s pg-415
pg-415
December 31, 2024 21:45 28s
chore: remove unused code CI #35: Commit 2aaf992 pushed by govereau
December 30, 2024 21:32 27s main
main
December 30, 2024 21:32 27s
chore: remove unused code CI #34: Pull request #13 opened by govereau
December 30, 2024 21:21 26s pg-rm
pg-rm
December 30, 2024 21:21 26s
chore: port encoder to KLR CI #33: Commit 3dcd559 pushed by govereau
December 30, 2024 21:18 27s main
main
December 30, 2024 21:18 27s
chore: port encoder to KLR CI #32: Pull request #12 opened by govereau
December 30, 2024 19:36 36s pg-encode
pg-encode
December 30, 2024 19:36 36s
feat: define KLR representation CI #31: Commit 3b5c234 pushed by govereau
December 30, 2024 19:21 30s main
main
December 30, 2024 19:21 30s
feat: define KLR representation CI #30: Pull request #11 opened by govereau
December 30, 2024 19:09 32s pg-klr
pg-klr
December 30, 2024 19:09 32s
feat: add global references and arguments CI #29: Commit 18f41e4 pushed by govereau
December 30, 2024 16:41 30s main
main
December 30, 2024 16:41 30s
feat: add global references and arguments CI #28: Pull request #10 synchronize by govereau
December 29, 2024 18:16 36s pg-globals
pg-globals
December 29, 2024 18:16 36s
feat: add global references and arguments CI #27: Pull request #10 opened by govereau
December 28, 2024 20:41 39s pg-globals
pg-globals
December 28, 2024 20:41 39s
chore: update python tests to use new parser CI #26: Commit 5c76ab9 pushed by govereau
December 23, 2024 15:18 28s main
main
December 23, 2024 15:18 28s
chore: update python tests to use new parser CI #25: Pull request #9 opened by govereau
December 11, 2024 22:54 47s pg-tests
pg-tests
December 11, 2024 22:54 47s
feat: support for python syntax CI #24: Commit c49417e pushed by govereau
December 11, 2024 21:59 38s main
main
December 11, 2024 21:59 38s
feat: support for python syntax CI #23: Pull request #8 synchronize by govereau
December 9, 2024 20:04 56s pg-pyast
pg-pyast
December 9, 2024 20:04 56s