Skip to content

Actions: tydeu/lyre

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
9 workflow runs
9 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: update to Lean v4.12.0 CI #9: Commit c8edd24 pushed by tydeu
October 26, 2024 19:29 53s master
master
October 26, 2024 19:29 53s
feat: Lyre.typeCheck option to toggle IR type checking CI #8: Commit fe6caab pushed by tydeu
May 18, 2024 17:31 1m 14s master
master
May 18, 2024 17:31 1m 14s
chore: fix typos CI #7: Commit 9dae724 pushed by tydeu
May 18, 2024 17:21 52s master
master
May 18, 2024 17:21 52s
feat: Lyre.typeCheck option to toggle IR typechecking CI #6: Commit 976a67a pushed by tydeu
May 18, 2024 17:12 59s master
master
May 18, 2024 17:12 59s
fix: non-ref ctor typing CI #5: Commit 0f275fd pushed by tydeu
February 11, 2024 23:24 51s master
master
February 11, 2024 23:24 51s
feat: proper error on block-level var redeclarations CI #4: Commit 0b0e65c pushed by tydeu
January 28, 2024 06:28 49s master
master
January 28, 2024 06:28 49s
feat: first draft of Lyre CI #3: Commit 8227492 pushed by tydeu
January 20, 2024 19:30 48s master
master
January 20, 2024 19:30 48s
feat: first draft of Lyre CI #2: Commit d39259e pushed by tydeu
January 20, 2024 18:35 50s master
master
January 20, 2024 18:35 50s
feat: first draft of Lyre CI #1: Commit 125c023 pushed by tydeu
January 20, 2024 18:34 2m 11s master
master
January 20, 2024 18:34 2m 11s