Skip to content

Actions: paulcadman/raylean

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yaml
144 workflow runs
144 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #52 from paulcadman/ci-cache Build #145: Commit 26bceb9 pushed by paulcadman
December 10, 2024 14:46 10m 46s main
main
December 10, 2024 14:46 10m 46s
Merge pull request #51 from paulcadman/image-monoid Build #144: Commit e8f428a pushed by paulcadman
December 10, 2024 14:42 17m 38s main
main
December 10, 2024 14:42 17m 38s
Use the mathlib4 cache in CI build Build #143: Pull request #52 opened by paulcadman
December 10, 2024 14:33 11m 23s ci-cache
ci-cache
December 10, 2024 14:33 11m 23s
Image Monoid and Functor Build #142: Pull request #51 synchronize by paulcadman
December 10, 2024 14:23 18m 8s image-monoid
image-monoid
December 10, 2024 14:23 18m 8s
Image Monoid and Functor Build #141: Pull request #51 synchronize by awalterschulze
December 10, 2024 13:52 17m 40s image-monoid
image-monoid
December 10, 2024 13:52 17m 40s
Image Monoid and Functor Build #140: Pull request #51 opened by awalterschulze
December 10, 2024 13:48 16m 0s image-monoid
image-monoid
December 10, 2024 13:48 16m 0s
A version of raylean without mathlib Build #139: Pull request #50 synchronize by paulcadman
December 3, 2024 21:30 3m 2s without-mathlib
without-mathlib
December 3, 2024 21:30 3m 2s
A version of raylean without mathlib Build #138: Pull request #50 opened by paulcadman
December 3, 2024 21:29 3m 7s without-mathlib
without-mathlib
December 3, 2024 21:29 3m 7s
Merge pull request #49 from paulcadman/associative_alpha Build #137: Commit 081b6e9 pushed by paulcadman
December 3, 2024 21:13 17m 54s main
main
December 3, 2024 21:13 17m 54s
associative alpha Build #136: Pull request #49 opened by awalterschulze
December 3, 2024 15:30 18m 22s associative_alpha
associative_alpha
December 3, 2024 15:30 18m 22s
Merge pull request #48 from paulcadman/option-disable-resvg Build #135: Commit a2c252a pushed by paulcadman
November 26, 2024 23:30 3m 1s main
main
November 26, 2024 23:30 3m 1s
Add option to disable build / link / use of resvg Build #134: Pull request #48 opened by paulcadman
November 26, 2024 23:26 2m 53s option-disable-resvg
option-disable-resvg
November 26, 2024 23:26 2m 53s
Merge pull request #47 from paulcadman/session-2024-11-25 Build #133: Commit 3e5e1a5 pushed by paulcadman
November 26, 2024 22:23 3m 49s main
main
November 26, 2024 22:23 3m 49s
Session 2024-11-25 Build #132: Pull request #47 opened by paulcadman
November 26, 2024 22:20 2m 57s session-2024-11-25
session-2024-11-25
November 26, 2024 22:20 2m 57s
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