Skip to content

Actions: epidemian/lambda-espresso

Actions

CI Checks

Actions

Loading...

Show workflow options

Create status badge

ci.yml
7 workflow runs
7 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Make $ selector function more type-safe CI Checks #13: Commit b43d6d5 pushed by epidemian
April 3, 2023 00:18 53s main
main
April 3, 2023 00:18 53s
Fix final reduction step styling CI Checks #12: Commit e0b17b1 pushed by epidemian
April 1, 2023 07:18 46s main
main
April 1, 2023 07:18 46s
Update ideas file CI Checks #11: Commit d5a3323 pushed by epidemian
March 31, 2023 05:17 43s main
main
March 31, 2023 05:17 43s
Fix applicative order tests CI Checks #10: Commit 2c319e0 pushed by epidemian
March 29, 2023 08:41 54s main
main
March 29, 2023 08:41 54s
Use Fibonacci number calculation on benchmark instead of factorial CI Checks #9: Commit 2f0b0cb pushed by epidemian
March 28, 2023 22:02 42s main
main
March 28, 2023 22:02 42s
Update ideas file CI Checks #8: Commit 7a61520 pushed by epidemian
March 28, 2023 02:45 42s main
main
March 28, 2023 02:45 42s
Add skipped failing test for an applicative reduction bug CI Checks #7: Commit 15d213b pushed by epidemian
March 27, 2023 20:27 43s main
main
March 27, 2023 20:27 43s