Skip to content

Actions: leanprover/NKL

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
27 workflow runs
27 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
feat: support for python syntax CI #22: Pull request #8 opened by govereau
December 9, 2024 19:38 35s pg-pyast
pg-pyast
December 9, 2024 19:38 35s
feat: operational semantics of expressions CI #21: Commit ee68c08 pushed by govereau
December 3, 2024 22:32 34s main
main
December 3, 2024 22:32 34s
Sketch of Operational Semantics for Expressions CI #20: Pull request #7 synchronize by govereau
November 20, 2024 18:56 30s oper
oper
November 20, 2024 18:56 30s
Sketch of Operational Semantics for Expressions CI #19: Pull request #7 opened by govereau
November 20, 2024 18:56 21s oper
oper
November 20, 2024 18:56 21s
refactor: remove Index type from AST CI #18: Commit 162796b pushed by govereau
November 20, 2024 18:10 37s main
main
November 20, 2024 18:10 37s
refactor: remove Index type from AST CI #17: Pull request #6 opened by govereau
November 20, 2024 13:38 30s no-index
no-index
November 20, 2024 13:38 30s
feat: simple binary serialization format CI #16: Commit ec3e131 pushed by govereau
November 20, 2024 13:22 23s main
main
November 20, 2024 13:22 23s
Simple binary encoding and decoding (#5) CI #15: Commit 9e0e37e pushed by govereau
November 20, 2024 13:18 30s main
main
November 20, 2024 13:18 30s
Simple binary encoding and decoding CI #14: Pull request #5 synchronize by govereau
November 18, 2024 17:08 33s pg-encode
pg-encode
November 18, 2024 17:08 33s
Simple binary encoding and decoding CI #13: Pull request #5 opened by govereau
November 14, 2024 19:18 34s pg-encode
pg-encode
November 14, 2024 19:18 34s
feat: basic parser for NKI kernels CI #12: Commit f793a6f pushed by govereau
October 29, 2024 15:34 42s main
main
October 29, 2024 15:34 42s
Basic parser for NKI kernels CI #11: Pull request #4 opened by govereau
October 29, 2024 15:25 28s pg-parser
pg-parser
October 29, 2024 15:25 28s
feat: setup basic lean-python interop CI #10: Commit cfe38f6 pushed by govereau
October 21, 2024 15:36 28s main
main
October 21, 2024 15:36 28s
Setup Lean/Python interop CI #9: Pull request #3 opened by govereau
October 21, 2024 11:55 25s pg-rffi
pg-rffi
October 21, 2024 11:55 25s
Create CODEOWNERS (#2) CI #8: Commit 53fb3c1 pushed by jtristan
September 20, 2024 15:22 18s main
main
September 20, 2024 15:22 18s
Create CODEOWNERS CI #7: Pull request #2 opened by jtristan
September 20, 2024 15:22 26s jtristan-patch-1
jtristan-patch-1
September 20, 2024 15:22 26s
fix namespace CI #6: Commit e989420 pushed by jtristan
September 20, 2024 15:08 25s main
main
September 20, 2024 15:08 25s
Merge branch 'main' of github.com:leanprover/ANPU CI #5: Commit 2bb327d pushed by jtristan
September 20, 2024 15:07 19s main
main
September 20, 2024 15:07 19s
Create LICENSE (#1) CI #4: Commit 9f4aad3 pushed by jtristan
September 20, 2024 14:51 28s main
main
September 20, 2024 14:51 28s
Create LICENSE CI #3: Pull request #1 opened by jtristan
September 20, 2024 14:51 21s jtristan-patch-1
jtristan-patch-1
September 20, 2024 14:51 21s