Skip to content

Actions: paulcadman/raylean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
130 workflow runs
130 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #46 from paulcadman/session-2024-11-18 Build #131: Commit 9e2499f pushed by paulcadman
November 18, 2024 20:55 7m 5s main
main
November 18, 2024 20:55 7m 5s
Session 2024-11-18 Build #130: Pull request #46 opened by paulcadman
November 18, 2024 20:53 1m 42s session-2024-11-18
session-2024-11-18
November 18, 2024 20:53 1m 42s
Merge pull request #45 from paulcadman/update-lean-4.13.0 Build #129: Commit 27b4b3e pushed by paulcadman
November 9, 2024 14:15 1m 38s main
main
November 9, 2024 14:15 1m 38s
Update to Lean v4.13.0 Build #128: Pull request #45 opened by paulcadman
November 9, 2024 14:12 2m 3s update-lean-4.13.0
update-lean-4.13.0
November 9, 2024 14:12 2m 3s
Merge pull request #44 from paulcadman/improve-global-entity Build #127: Commit 9408787 pushed by paulcadman
November 9, 2024 14:11 1m 40s main
main
November 9, 2024 14:11 1m 40s
Improve API for global entity Build #126: Pull request #44 opened by paulcadman
November 9, 2024 14:08 1m 31s improve-global-entity
improve-global-entity
November 9, 2024 14:08 1m 31s
Merge pull request #43 from paulcadman/configure-raylib-makefile-vars Build #125: Commit 39e30d9 pushed by paulcadman
October 27, 2024 16:48 1m 37s main
main
October 27, 2024 16:48 1m 37s
Support configuration of Raylib Makefile variables Build #124: Pull request #43 synchronize by paulcadman
October 27, 2024 16:39 1m 40s configure-raylib-makefile-vars
configure-raylib-makefile-vars
October 27, 2024 16:39 1m 40s
Support configuration of Raylib Makefile variables Build #123: Pull request #43 opened by paulcadman
October 27, 2024 12:46 1m 47s configure-raylib-makefile-vars
configure-raylib-makefile-vars
October 27, 2024 12:46 1m 47s
Merge pull request #41 from paulcadman/update-lean-4.12.0 Build #121: Commit 0fc350a pushed by paulcadman
October 13, 2024 18:48 2m 17s main
main
October 13, 2024 18:48 2m 17s
Update to lean 4.12.0 Build #120: Pull request #41 opened by paulcadman
October 13, 2024 17:40 1m 33s update-lean-4.12.0
update-lean-4.12.0
October 13, 2024 17:40 1m 33s
Merge pull request #40 from paulcadman/orbital-improvement Build #119: Commit 0f27395 pushed by paulcadman
October 13, 2024 17:00 1m 39s main
main
October 13, 2024 17:00 1m 39s
graphics2d: scale now modifies a translation within a picture Build #118: Pull request #40 opened by paulcadman
October 13, 2024 16:58 1m 38s orbital-improvement
orbital-improvement
October 13, 2024 16:58 1m 38s
Merge pull request #39 from paulcadman/2d-graphics Build #117: Commit 165c01a pushed by paulcadman
October 12, 2024 20:20 1m 32s main
main
October 12, 2024 20:20 1m 32s
Add 2D Graphics library Build #116: Pull request #39 synchronize by paulcadman
October 12, 2024 20:11 1m 35s 2d-graphics
2d-graphics
October 12, 2024 20:11 1m 35s
Add 2D Graphics library Build #115: Pull request #39 opened by paulcadman
September 24, 2024 23:09 1m 30s 2d-graphics
2d-graphics
September 24, 2024 23:09 1m 30s
Merge pull request #38 from paulcadman/ecs-makeWorld-unique-global-st… Build #114: Commit a64351a pushed by paulcadman
September 19, 2024 20:23 1m 37s main
main
September 19, 2024 20:23 1m 37s
ECS elab: Support Global and Unique storage in makeWorldAndComponents Build #113: Pull request #38 opened by paulcadman
September 18, 2024 21:48 4m 42s ecs-makeWorld-unique-global-storage
ecs-makeWorld-unique-global-storage
September 18, 2024 21:48 4m 42s
Merge pull request #37 from paulcadman/ecs-sum-component Build #112: Commit 0210a8b pushed by paulcadman
September 17, 2024 17:36 4m 37s main
main
September 17, 2024 17:36 4m 37s
ECS Add Sum component Build #111: Pull request #37 synchronize by paulcadman
September 17, 2024 17:33 1m 41s ecs-sum-component
ecs-sum-component
September 17, 2024 17:33 1m 41s
ECS Add Sum component Build #110: Pull request #37 opened by paulcadman
September 17, 2024 17:15 1m 33s ecs-sum-component
ecs-sum-component
September 17, 2024 17:15 1m 33s
Merge pull request #36 from paulcadman/ecs-entity-component Build #109: Commit ef761d9 pushed by paulcadman
September 17, 2024 16:03 2m 6s main
main
September 17, 2024 16:03 2m 6s
ECS: Add Entity component Build #108: Pull request #36 synchronize by paulcadman
September 17, 2024 15:57 1m 34s ecs-entity-component
ecs-entity-component
September 17, 2024 15:57 1m 34s
ECS: Add Entity component Build #107: Pull request #36 opened by paulcadman
September 17, 2024 15:42 1m 50s ecs-entity-component
ecs-entity-component
September 17, 2024 15:42 1m 50s
Merge pull request #35 from paulcadman/ecs-move-component-instances Build #106: Commit 1aa26bd pushed by paulcadman
September 17, 2024 14:49 1m 52s main
main
September 17, 2024 14:49 1m 52s