Skip to content

Actions: AndroidGoLab/ndk

Actions

Lean Proofs & Differential Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean_action_ci.yml
14 workflow runs
14 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
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: fix buffer loop placeholder functions and missing import Lean Proofs & Differential Tests #13: Commit 4bf780f pushed by xaionaro-bot
21s main
main
21s
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 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
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 Lean Proofs & Differential Tests #7: Commit 03d823d pushed by xaionaro-bot
22s main
main
22s
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
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 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
Start playing with Lean Lean Proofs & Differential Tests #1: Commit 19f549b pushed by xaionaro-bot
20s main
main
20s