Skip to content

Actions: argumentcomputer/yatima

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3 workflow runs
3 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

eliminate sorries when generating the typechecking expression CI #958: Pull request #283 opened by arthurpaulino
November 7, 2024 18:02 3m 2s mk-tc-expr
mk-tc-expr
November 7, 2024 18:02 3m 2s
add a mk command to typecheck a declaration CI #957: Pull request #282 synchronize by arthurpaulino
November 7, 2024 16:49 2m 46s mk-cmd
mk-cmd
November 7, 2024 16:49 2m 46s
add a mk command to typecheck a declaration CI #956: Pull request #282 opened by arthurpaulino
November 7, 2024 00:56 2m 34s mk-cmd
mk-cmd
November 7, 2024 00:56 2m 34s