Skip to content

Actions: ThePuzzlemaker/tethys

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4 workflow runs
4 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Re-re-write in Rust CI #290: Commit c2964ee pushed by ThePuzzlemaker
December 31, 2023 20:24 3m 27s rs-rerewrite
rs-rerewrite
December 31, 2023 20:24 3m 27s
Fix README CI #289: Commit e9ccb56 pushed by ThePuzzlemaker
November 16, 2023 03:48 33s main
main
November 16, 2023 03:48 33s
Haskell rewrite CI #288: Commit 0e259a6 pushed by ThePuzzlemaker
November 16, 2023 03:47 45s main
main
November 16, 2023 03:47 45s
Experiments with typechecking algorithms CI #287: Commit 3c77d99 pushed by ThePuzzlemaker
November 16, 2023 03:28 6m 14s main
main
November 16, 2023 03:28 6m 14s