Skip to content

Actions: lento-lang/Lento

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
43 workflow runs
43 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add type specialization Rust #66: Commit 09bf2b8 pushed by WilliamRagstad
February 21, 2025 14:53 48s main
main
February 21, 2025 14:53 48s
Pretty print judgements Rust #65: Commit 2099091 pushed by WilliamRagstad
February 21, 2025 13:30 49s main
main
February 21, 2025 13:30 49s
Fix warnings Rust #64: Commit 69a2e42 pushed by WilliamRagstad
February 21, 2025 13:19 48s main
main
February 21, 2025 13:19 48s
Use push char Rust #63: Commit 4daba3d pushed by WilliamRagstad
February 21, 2025 13:18 1m 17s main
main
February 21, 2025 13:18 1m 17s
Add dbg builtin Rust #62: Commit 1972875 pushed by WilliamRagstad
February 21, 2025 13:17 53s main
main
February 21, 2025 13:17 53s
Add type variables for generic polymorphic types Rust #61: Commit 2a4f3ba pushed by WilliamRagstad
February 21, 2025 12:11 53s main
main
February 21, 2025 12:11 53s
Add doc comment Rust #60: Commit 2d1a176 pushed by WilliamRagstad
February 21, 2025 10:24 54s main
main
February 21, 2025 10:24 54s
Refactor interpreter Rust #59: Commit bc92b15 pushed by WilliamRagstad
February 21, 2025 10:24 49s main
main
February 21, 2025 10:24 49s
Add debug flags, remove verbose Rust #58: Commit 9161c23 pushed by WilliamRagstad
February 21, 2025 10:15 51s main
main
February 21, 2025 10:15 51s
Move docs to website Rust #57: Commit d30e79e pushed by WilliamRagstad
February 21, 2025 09:57 54s main
main
February 21, 2025 09:57 54s
Only support one file Rust #56: Commit a1fa791 pushed by WilliamRagstad
February 20, 2025 21:59 54s main
main
February 20, 2025 21:59 54s
Improve display Rust #55: Commit ffd4c1c pushed by WilliamRagstad
February 20, 2025 20:28 8s main
main
February 20, 2025 20:28 8s
Update parser.rs Rust #54: Commit adf7b29 pushed by WilliamRagstad
February 20, 2025 20:25 6s main
main
February 20, 2025 20:25 6s
Add LineInfo in CheckedAst Rust #53: Commit 851e0f8 pushed by WilliamRagstad
February 20, 2025 20:24 8s main
main
February 20, 2025 20:24 8s
Add LineInfo in Ast Rust #52: Commit 5c9ef92 pushed by WilliamRagstad
February 20, 2025 19:44 9s main
main
February 20, 2025 19:44 9s
Fix unit eq Rust #51: Commit b3a17a2 pushed by WilliamRagstad
February 20, 2025 18:31 51s main
main
February 20, 2025 18:31 51s
Fix error Rust #50: Commit af3338f pushed by WilliamRagstad
February 20, 2025 18:28 50s main
main
February 20, 2025 18:28 50s
Remove redundant msg Rust #49: Commit 5dfdedd pushed by WilliamRagstad
February 20, 2025 18:18 49s main
main
February 20, 2025 18:18 49s
Support only one arg file Rust #48: Commit ba0224d pushed by WilliamRagstad
February 20, 2025 18:15 48s main
main
February 20, 2025 18:15 48s
Fix std image Rust #47: Commit 9580a32 pushed by WilliamRagstad
February 20, 2025 17:10 57s main
main
February 20, 2025 17:10 57s
Move examples, docs and assets Rust #46: Commit e938912 pushed by WilliamRagstad
February 20, 2025 17:08 1m 1s main
main
February 20, 2025 17:08 1m 1s
Merge lento cli and core repos into one workspace Rust #45: Commit 6faf097 pushed by WilliamRagstad
February 20, 2025 17:02 58s main
main
February 20, 2025 17:02 58s
Update logger.rs Rust #44: Commit 4105cf5 pushed by WilliamRagstad
November 22, 2024 19:17 48s main
main
November 22, 2024 19:17 48s
Initialize with std Rust #43: Commit 9601343 pushed by WilliamRagstad
November 7, 2024 21:49 45s main
main
November 7, 2024 21:49 45s
Extract eval all Rust #42: Commit 0a56486 pushed by WilliamRagstad
November 7, 2024 21:29 46s main
main
November 7, 2024 21:29 46s