Skip to content

Actions: combinators/expression-problem

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
69 workflow runs
69 workflow runs

Filter by Workflow

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Properly annotated all package headers.
Test code, update coverage, and release main branch #69: Commit b4eaa68 pushed by heineman
Nearly done.
Test code, update coverage, and release main branch #67: Commit 966eb83 pushed by heineman
Fix remaining compilation errors
Test code, update coverage, and release main branch #64: Commit 26c9e09 pushed by JanBessai
Minor type fixes
Test code, update coverage, and release main branch #63: Commit e35bb2d pushed by JanBessai
More fixes..
Test code, update coverage, and release main branch #62: Commit 08dd89c pushed by JanBessai
Fix rest of FFIs
Test code, update coverage, and release main branch #61: Commit ff786a2 pushed by JanBessai
Progress towards reify
Test code, update coverage, and release main branch #57: Commit b47604f pushed by JanBessai
Translate composite types via reify
Test code, update coverage, and release main branch #56: Commit b7d21fd pushed by JanBessai
Missing file from equals case study.
Test code, update coverage, and release main branch #55: Commit 86250cf pushed by heineman
Completed Equals case study, now handling arrays.
Test code, update coverage, and release main branch #52: Commit 174ada3 pushed by heineman
Added Test cases.
Test code, update coverage, and release main branch #51: Commit 47656c2 pushed by heineman
Stand-alone equals Cogen example.
Test code, update coverage, and release main branch #50: Commit d4b0b90 pushed by heineman
Merge pull request #14 from combinators/progress_on_arrays
Test code, update coverage, and release main branch #49: Commit e855379 pushed by JanBessai
14m 9s main
Array and map FFIs, lots of cleanups
Test code, update coverage, and release main branch #48: Pull request #14 opened by JanBessai
Fix maps
Test code, update coverage, and release main branch #47: Commit 576e569 pushed by JanBessai
Good stopping point.
Test code, update coverage, and release main branch #46: Commit 80896c9 pushed by heineman