Skip to content

Actions: CAG2Mark/mlscript

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

Add index and dynamic field accesses and use print in classes' `toS… CI with Nix #10: Commit 898af77 pushed by CAG2Mark
January 31, 2025 08:09 3m 3s hkmc2
hkmc2
January 31, 2025 08:09 3m 3s
Make minor formatting change. CI with Nix #9: Commit bef2ad0 pushed by CAG2Mark
January 27, 2025 05:47 2m 34s hkmc2
hkmc2
January 27, 2025 05:47 2m 34s
Stack safe recursion (#259) CI with Nix #8: Commit dabeb54 pushed by CAG2Mark
January 24, 2025 20:48 2m 50s hkmc2
hkmc2
January 24, 2025 20:48 2m 50s
Generate fresh names for private members CI with Nix #7: Commit 973a2af pushed by CAG2Mark
January 23, 2025 09:23 2m 30s hkmc2
hkmc2
January 23, 2025 09:23 2m 30s
Refactor code generation for local definitions & annotations + fix va… CI with Nix #6: Commit f764eb9 pushed by CAG2Mark
January 22, 2025 13:17 2m 44s hkmc2
hkmc2
January 22, 2025 13:17 2m 44s
Properly report errors in compilation tests as test failures CI with Nix #5: Commit 5839d4d pushed by CAG2Mark
January 22, 2025 09:06 2m 34s hkmc2
hkmc2
January 22, 2025 09:06 2m 34s
Preliminary implementation of refining patterns (#262) CI with Nix #4: Commit 32226d4 pushed by CAG2Mark
January 21, 2025 16:33 3m 11s hkmc2
hkmc2
January 21, 2025 16:33 3m 11s
Return null by default and remove unnecessary ?? nulls (#248) CI with Nix #3: Commit c3d6d37 pushed by CAG2Mark
December 8, 2024 08:21 4m 41s hkmc2
hkmc2
December 8, 2024 08:21 4m 41s
Add way to refer to Predef symbol in Elab. by declaring it in Prelude CI with Nix #2: Commit 9b359cd pushed by CAG2Mark
December 2, 2024 15:47 4m 56s hkmc2
hkmc2
December 2, 2024 15:47 4m 56s
Fix missing annotation (#226) CI with Nix #1: Commit a7504bb pushed by CAG2Mark
October 26, 2024 13:32 4m 12s mlscript
mlscript
October 26, 2024 13:32 4m 12s