githubnext/ace2Public

Ace: a collaborative coding environment on the team's own machines

chore: run type checks and lint in CI #62

Mergediamnbutlermerged 1 commit intomainfromrefs/pull/62/head

ConversationFiles changed

1 file changed+26-0

StackedSplit

.github/workflows/ci.yml+26 −0