Skip to content

Actions: KislyjKisel/Raylib.lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update toolchain to pr 8152 and update pod Lean Action CI #17: Commit d64bdd3 pushed by KislyjKisel
3m 7s main
main
3m 7s
Update toolchain to v4.19.0-rc2 Lean Action CI #16: Commit dbe964f pushed by KislyjKisel
5m 15s main
main
5m 15s
Fix lean_raylib_RayCollision_unbox Lean Action CI #15: Commit 4b0392d pushed by KislyjKisel
4m 33s main
main
4m 33s
Merge pull request #7 from ruleBased848/main Lean Action CI #14: Commit e09fc5a pushed by KislyjKisel
4m 59s main
main
4m 59s
Fix lean_raylib_RayCollision_box Lean Action CI #13: Pull request #7 opened by ruleBased848
4m 37s main
main
4m 37s
Try fixing windows build action Lean Action CI #12: Commit b12b1e4 pushed by KislyjKisel
4m 36s main
main
4m 36s
Fix passing cc in windows build action Lean Action CI #11: Commit 4fef316 pushed by KislyjKisel
2m 54s main
main
2m 54s
Update pod Lean Action CI #10: Commit ce3229e pushed by KislyjKisel
2m 58s main
main
2m 58s
Add shell: bash to windows build action Lean Action CI #9: Commit 5839c17 pushed by KislyjKisel
3m 4s main
main
3m 4s
Add windows build to actions Lean Action CI #8: Commit 8471583 pushed by KislyjKisel
2m 28s main
main
2m 28s
Add option enableWindowsMingw Lean Action CI #7: Commit 4f75ba7 pushed by KislyjKisel
3m 24s main
main
3m 24s
Don't add lean include dir to bindings cflags if LEAN_CC or CC i… Lean Action CI #6: Commit 69c5876 pushed by KislyjKisel
3m 13s main
main
3m 13s
Fix actions Lean Action CI #5: Commit e0903a0 pushed by KislyjKisel
2m 24s main
main
2m 24s
Import Raymath from Raylib root Lean Action CI #4: Commit ff77eba pushed by KislyjKisel
1s main
main
1s
Add macos to CI Lean Action CI #3: Commit a789fe1 pushed by KislyjKisel
1s main
main
1s
Run CI on git push Lean Action CI #2: Commit d6eed24 pushed by KislyjKisel
36s main
main
36s
Lean Action CI Lean Action CI #1: Manually run by KislyjKisel
1m 4s main
main
1m 4s