Skip to content

ci: wip add script to install, build, and typecheck examples - #104

Draft
mcansh wants to merge 29 commits into
mainfrom
logan/typecheck
Draft

ci: wip add script to install, build, and typecheck examples #104
mcansh wants to merge 29 commits into
mainfrom
logan/typecheck

Commits

Commits on Dec 16, 2022

Commits on Jan 28, 2023

Commits on Jan 30, 2023

Commits on Feb 1, 2023

Commits on Apr 17, 2023

  • context type

    mcanshmcansh
    committed
    2679671

  • we're close!

    mcanshmcansh
    committed
    157a011

  • sort

    mcanshmcansh
    committed
    3ded9af

  • ci: update naming

    mcanshmcansh
    committed
    21c1585

  • debug

    mcanshmcansh
    committed
    e527a8a

  • debug

    mcanshmcansh
    committed
    86fa2c7

  • ignore .gitignore

    mcanshmcansh
    committed
    9daa606

  • ci

    mcanshmcansh
    committed
    c32d9ec

Commits on Apr 18, 2023

Commits on Apr 25, 2023

Commits on May 3, 2023