Skip to content

Actions: funexists/raylean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
38 workflow runs
38 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Add cyan, fix wrong RGB values for yellow (#63) Build #188: Commit a585af8 pushed by paulcadman
3m 30s main
main
3m 30s
Add cyan, fix wrong RGB values for yellow Build #187: Pull request #63 synchronize by i-love-lean
2m 13s i-love-lean:main
i-love-lean:main
2m 13s
Add cyan, fix wrong RGB values for yellow Build #186: Pull request #63 opened by i-love-lean
1m 58s i-love-lean:main
i-love-lean:main
1m 58s
Add more bindings, arithmetic instances for Vector2 and Vector3 (#62) Build #185: Commit a650138 pushed by paulcadman
2m 25s main
main
2m 25s
Add more bindings, arithmetic instances for Vector2 and Vector3 Build #184: Pull request #62 opened by i-love-lean
2m 0s i-love-lean:main
i-love-lean:main
2m 0s
Fix typo (#61) Build #183: Commit 8028151 pushed by paulcadman
1m 54s main
main
1m 54s
Fix typo Build #182: Pull request #61 opened by i-love-lean
2m 37s i-love-lean:main
i-love-lean:main
2m 37s
Remove unused Batteries dependency (#60) Build #181: Commit 580d008 pushed by paulcadman
2m 27s main
main
2m 27s
Remove unused Batteries dependency Build #180: Pull request #60 opened by paulcadman
2m 38s remove-batteries
remove-batteries
2m 38s
Set LEAN_MAIN_USE_THREAD=0 env before main executes (#59) Build #179: Commit d83e079 pushed by paulcadman
3m 1s main
main
3m 1s
Set LEAN_MAIN_USE_THREAD=0 env before main executes Build #178: Pull request #59 synchronize by paulcadman
2m 5s set-lean-main-use-thread-0
set-lean-main-use-thread-0
2m 5s
Set LEAN_MAIN_USE_THREAD=0 env before main executes Build #177: Pull request #59 opened by paulcadman
2m 15s set-lean-main-use-thread-0
set-lean-main-use-thread-0
2m 15s
Add bindings for SetConfigFlags and SetWindowState (#58) Build #176: Commit aef7bd7 pushed by paulcadman
2m 16s main
main
2m 16s
Add bindings for SetConfigFlags and SetWindowState Build #175: Pull request #58 opened by paulcadman
2m 21s set-config-flags
set-config-flags
2m 21s
Update to raylib-5.5 (#57) Build #174: Commit 86dc197 pushed by paulcadman
2m 12s main
main
2m 12s
Update to raylib-5.5 Build #173: Pull request #57 opened by paulcadman
2m 21s update-raylib-5.5
update-raylib-5.5
2m 21s
Remove unnecessary guillemets from package names imports (#56) Build #172: Commit 98f3343 pushed by paulcadman
2m 15s main
main
2m 15s
Remove unnecessary guillemets from package names imports Build #171: Pull request #56 opened by paulcadman
2m 13s remove-guillemets
remove-guillemets
2m 13s
Update lean4 toolchain to v4.28.0 (#55) Build #170: Commit 8de68fd pushed by paulcadman
2m 12s main
main
2m 12s
Update lean4 toolchain to v4.28.0 Build #169: Pull request #55 synchronize by paulcadman
2m 15s update-toolchain
update-toolchain
2m 15s
Update lean4 toolchain to v4.28.0 Build #168: Pull request #55 synchronize by paulcadman
2m 28s update-toolchain
update-toolchain
2m 28s
Update lean4 toolchain to v4.28.0 Build #167: Pull request #55 synchronize by paulcadman
2m 23s update-toolchain
update-toolchain
2m 23s
Update lean4 toolchain to v4.28.0 Build #166: Pull request #55 synchronize by paulcadman
1m 44s update-toolchain
update-toolchain
1m 44s
Update lean4 toolchain to v4.28.0 Build #165: Pull request #55 synchronize by paulcadman
2m 21s update-toolchain
update-toolchain
2m 21s
Update lean4 toolchain to v4.28.0 Build #164: Pull request #55 synchronize by paulcadman
2m 28s update-toolchain
update-toolchain
2m 28s