Skip to content

Actions: zydeco-lang/zydeco

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
71 workflow runs
71 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

bump versions Rust #207: Commit f0fd60d pushed by LighghtEeloo
September 2, 2024 18:19 2m 7s main
main
September 2, 2024 18:19 2m 7s
restore all unit tests Rust #206: Commit 2755122 pushed by LighghtEeloo
July 5, 2024 03:14 2m 9s main
main
July 5, 2024 03:14 2m 9s
fix a bug where analysis isn't taken into account when tycking TApp Rust #205: Commit 4661300 pushed by LighghtEeloo
July 3, 2024 19:59 1m 58s main
main
July 3, 2024 19:59 1m 58s
cleanup Rust #204: Commit 6349201 pushed by LighghtEeloo
July 3, 2024 18:47 2m 0s main
main
July 3, 2024 18:47 2m 0s
eta expanding abstract types Rust #203: Commit 788efd6 pushed by LighghtEeloo
July 3, 2024 18:38 1m 56s main
main
July 3, 2024 18:38 1m 56s
rewrite codata algebra Rust #202: Commit 9760c10 pushed by LighghtEeloo
July 3, 2024 07:02 2m 3s main
main
July 3, 2024 07:02 2m 3s
[doc] update readme Rust #201: Commit 37620db pushed by LighghtEeloo
June 29, 2024 00:12 2m 6s main
main
June 29, 2024 00:12 2m 6s
[test] porting more tests Rust #200: Commit 38e6469 pushed by LighghtEeloo
June 28, 2024 23:59 2m 1s main
main
June 28, 2024 23:59 2m 1s
[dynamics] fixed all major bugs Rust #199: Commit eb07795 pushed by LighghtEeloo
June 28, 2024 21:46 1m 59s main
main
June 28, 2024 21:46 1m 59s
preparing to introduce context in tyck Rust #198: Commit f9e69c2 pushed by LighghtEeloo
May 30, 2024 22:58 1m 53s main
main
May 30, 2024 22:58 1m 53s
alias body and head Rust #197: Commit 0875d06 pushed by LighghtEeloo
May 30, 2024 22:34 1m 56s main
main
May 30, 2024 22:34 1m 56s
optimized scoped fmt Rust #196: Commit 85970f2 pushed by LighghtEeloo
May 30, 2024 20:16 2m 5s main
main
May 30, 2024 20:16 2m 5s
cleanup Cargo.toml Rust #195: Commit 0929c31 pushed by LighghtEeloo
May 3, 2024 22:53 1m 46s main
main
May 3, 2024 22:53 1m 46s
fix: remove incorrect tests Rust #194: Commit b1c2f9a pushed by LighghtEeloo
May 3, 2024 22:45 1m 55s main
main
May 3, 2024 22:45 1m 55s
[monad-trans] finished the draft version of monad trans; adding test … Rust #193: Commit fe35484 pushed by LighghtEeloo
May 3, 2024 22:42 1m 42s main
main
May 3, 2024 22:42 1m 42s
MIT License Rust #192: Commit f7b535e pushed by LighghtEeloo
March 8, 2024 08:21 1m 47s main
main
March 8, 2024 08:21 1m 47s
MIT License Rust #191: Pull request #51 opened by LighghtEeloo
March 8, 2024 08:18 1m 40s license
license
March 8, 2024 08:18 1m 40s
minimize #[allow(deprecated)] Rust #190: Commit 7478a89 pushed by LighghtEeloo
March 6, 2024 01:59 1m 47s main
main
March 6, 2024 01:59 1m 47s
Language Server Infrastructure Rust #189: Pull request #49 synchronize by nvarner
March 5, 2024 19:16 1m 53s nvarner:zls
nvarner:zls
March 5, 2024 19:16 1m 53s
Language Server Infrastructure Rust #188: Pull request #49 synchronize by nvarner
March 5, 2024 16:50 2m 3s nvarner:zls
nvarner:zls
March 5, 2024 16:50 2m 3s
Language Server Infrastructure Rust #187: Pull request #49 opened by nvarner
March 4, 2024 16:39 1m 52s nvarner:zls
nvarner:zls
March 4, 2024 16:39 1m 52s
fix: turn int to option int Rust #186: Commit 2a53b94 pushed by LighghtEeloo
February 27, 2024 22:04 1m 38s main
main
February 27, 2024 22:04 1m 38s
[std] impl: read_line_as_int Rust #185: Commit edbae6b pushed by LighghtEeloo
February 27, 2024 21:58 1m 30s main
main
February 27, 2024 21:58 1m 30s
[parser] incr: support the old codata syntax Rust #184: Commit cd5c84a pushed by LighghtEeloo
February 27, 2024 02:57 1m 28s main
main
February 27, 2024 02:57 1m 28s
[std] impl: random_int Rust #183: Commit 0e42b55 pushed by LighghtEeloo
February 22, 2024 19:43 1m 24s main
main
February 22, 2024 19:43 1m 24s