Skip to content

Actions: funexists/raylean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
35 workflow runs
35 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix typo in README requried -> required (#54) Build #160: Commit 96b9b47 pushed by paulcadman
1m 47s main
main
1m 47s
Fix typo in README requried -> required Build #159: Pull request #54 opened by paulcadman
2m 16s fix-typo-readme
fix-typo-readme
2m 16s
Update to Lean v4.20.1 and build using system toolchain (#53) Build #158: Commit 8e0a5a1 pushed by paulcadman
1m 51s main
main
1m 51s
Update to Lean v4.20.1 and build using system toolchain Build #157: Pull request #53 synchronize by paulcadman
2m 0s paulcadman:lean-update-v4.20
paulcadman:lean-update-v4.20
2m 0s
Update to Lean v4.20.1 and build using system toolchain Build #156: Pull request #53 synchronize by paulcadman
1m 47s paulcadman:lean-update-v4.20
paulcadman:lean-update-v4.20
1m 47s
Update to Lean v4.20.1 and build using system toolchain Build #155: Pull request #53 synchronize by paulcadman
1m 29s paulcadman:lean-update-v4.20
paulcadman:lean-update-v4.20
1m 29s
Update to Lean v4.20.1 and build using system toolchain Build #154: Pull request #53 synchronize by paulcadman
1m 33s paulcadman:lean-update-v4.20
paulcadman:lean-update-v4.20
1m 33s
Update to Lean v4.20.1 and build using system toolchain Build #153: Pull request #53 synchronize by paulcadman
2m 1s paulcadman:lean-update-v4.20
paulcadman:lean-update-v4.20
2m 1s
Update to Lean v4.20.1 and build using system toolchain Build #152: Pull request #53 synchronize by paulcadman
1m 31s paulcadman:lean-update-v4.20
paulcadman:lean-update-v4.20
1m 31s
Update to Lean v4.20.1 and build using system toolchain Build #151: Pull request #53 synchronize by paulcadman
1m 31s paulcadman:lean-update-v4.20
paulcadman:lean-update-v4.20
1m 31s
Update to Lean v4.20.1 and build using system toolchain Build #150: Pull request #53 opened by paulcadman
1m 29s paulcadman:lean-update-v4.20
paulcadman:lean-update-v4.20
1m 29s
Remove unused executable target Build #149: Commit 3a60f54 pushed by paulcadman
1m 43s main
main
1m 43s
Pin build to ubuntu-22.04 to workaround glibc compatibility issues Build #148: Commit 803d617 pushed by paulcadman
1m 37s main
main
1m 37s
Remove cache fetch Build #147: Commit 3105f42 pushed by paulcadman
1m 33s main
main
1m 33s
Remove dependency on mathlib and add dependency on lens-demo Build #146: Commit 201d9de pushed by paulcadman
37s main
main
37s
Merge pull request #52 from paulcadman/ci-cache Build #145: Commit 26bceb9 pushed by paulcadman
10m 46s main
main
10m 46s
Merge pull request #51 from paulcadman/image-monoid Build #144: Commit e8f428a pushed by paulcadman
17m 38s main
main
17m 38s
Use the mathlib4 cache in CI build Build #143: Pull request #52 opened by paulcadman
11m 23s ci-cache
ci-cache
11m 23s
Image Monoid and Functor Build #142: Pull request #51 synchronize by paulcadman
18m 8s image-monoid
image-monoid
18m 8s
Image Monoid and Functor Build #141: Pull request #51 synchronize by awalterschulze
17m 40s image-monoid
image-monoid
17m 40s
Image Monoid and Functor Build #140: Pull request #51 opened by awalterschulze
16m 0s image-monoid
image-monoid
16m 0s
A version of raylean without mathlib Build #139: Pull request #50 synchronize by paulcadman
3m 2s without-mathlib
without-mathlib
3m 2s
A version of raylean without mathlib Build #138: Pull request #50 opened by paulcadman
3m 7s without-mathlib
without-mathlib
3m 7s
Merge pull request #49 from paulcadman/associative_alpha Build #137: Commit 081b6e9 pushed by paulcadman
17m 54s main
main
17m 54s
associative alpha Build #136: Pull request #49 opened by awalterschulze
18m 22s associative_alpha
associative_alpha
18m 22s