Skip to content

Actions: AndroidGoLab/ndk

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
88 workflow runs
88 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

docs: update llms.txt and README.md to use idiomatic APIs Lean Proofs & Differential Tests #14: Commit 1d0ecce pushed by xaionaro-bot
29s main
main
29s
docs: update llms.txt and README.md to use idiomatic APIs CI #70: Commit 1d0ecce pushed by xaionaro-bot
1m 14s main
main
1m 14s
docs: fix buffer loop placeholder functions and missing import Lean Proofs & Differential Tests #13: Commit 4bf780f pushed by xaionaro-bot
21s main
main
21s
docs: fix buffer loop placeholder functions and missing import CI #69: Commit 4bf780f pushed by xaionaro-bot
1m 20s main
main
1m 20s
docs: add Ask AI (Context7) badge to README CI #68: Commit 6835804 pushed by xaionaro-bot
1m 23s main
main
1m 23s
docs: add Ask AI (Context7) badge to README Lean Proofs & Differential Tests #12: Commit 6835804 pushed by xaionaro-bot
32s main
main
32s
docs: use jni permission constant instead of magic string in llms.txt CI #67: Commit 99b5d75 pushed by xaionaro-bot
2m 34s v0.0.5
v0.0.5
2m 34s
docs: use jni permission constant instead of magic string in llms.txt Lean Proofs & Differential Tests #11: Commit 99b5d75 pushed by xaionaro-bot
23s v0.0.5
v0.0.5
23s
docs: use jni permission constant instead of magic string in llms.txt Lean Proofs & Differential Tests #10: Commit 99b5d75 pushed by xaionaro-bot
21s main
main
21s
docs: use jni permission constant instead of magic string in llms.txt CI #66: Commit 99b5d75 pushed by xaionaro-bot
1m 19s main
main
1m 19s
Add context7.json CI #65: Commit 09c0e94 pushed by xaionaro-bot
1m 29s main
main
1m 29s
Add context7.json Lean Proofs & Differential Tests #9: Commit 09c0e94 pushed by xaionaro-bot
23s main
main
23s
docs: add Interoperability section to README with gomobile example Lean Proofs & Differential Tests #8: Commit 5ea0ef8 pushed by xaionaro-bot
26s main
main
26s
docs: add Interoperability section to README with gomobile example CI #64: Commit 5ea0ef8 pushed by xaionaro-bot
1m 21s main
main
1m 21s
docs: add Interoperability section to README with gomobile example Lean Proofs & Differential Tests #7: Commit 03d823d pushed by xaionaro-bot
22s main
main
22s
docs: add Interoperability section to README with gomobile example CI #63: Commit 03d823d pushed by xaionaro-bot
1m 33s main
main
1m 33s
feat: replace gomobile examples with real gomobile bind AAR build CI #62: Commit 08a1dcc pushed by xaionaro-bot
2m 32s v0.0.4
v0.0.4
2m 32s
feat: replace gomobile examples with real gomobile bind AAR build Lean Proofs & Differential Tests #6: Commit 08a1dcc pushed by xaionaro-bot
28s v0.0.4
v0.0.4
28s
feat: replace gomobile examples with real gomobile bind AAR build Lean Proofs & Differential Tests #5: Commit 08a1dcc pushed by xaionaro-bot
20s main
main
20s
feat: replace gomobile examples with real gomobile bind AAR build CI #61: Commit 08a1dcc pushed by xaionaro-bot
1m 18s main
main
1m 18s
Satisfy the dependabot CI #60: Commit d2756a9 pushed by xaionaro-bot
1m 44s main
main
1m 44s
Satisfy the dependabot Lean Proofs & Differential Tests #4: Commit d2756a9 pushed by xaionaro-bot
43s main
main
43s
feat: add uintptr interop for gomobile/x-mobile/gio compatibility CI #59: Commit d67f057 pushed by xaionaro-bot
1m 18s main
main
1m 18s
feat: add uintptr interop for gomobile/x-mobile/gio compatibility Lean Proofs & Differential Tests #3: Commit d67f057 pushed by xaionaro-bot
25s main
main
25s
fix: repair E2E test compilation and assertion errors Lean Proofs & Differential Tests #2: Commit 4526e3c pushed by xaionaro-bot
24s main
main
24s