Skip to content

Actions: leanprover/NKL

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
typo in ci CI #2: Commit f5b534e pushed by jtristan
September 18, 2024 15:48 20s main
main
September 18, 2024 15:48 20s
lake init and CI CI #1: Commit 4afd77d pushed by jtristan
September 18, 2024 15:45 29s main
main
September 18, 2024 15:45 29s