Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Conversions on extension types #8340

Draft
wants to merge 6 commits into
base: main
Choose a base branch
from
Draft

Conversions on extension types #8340

wants to merge 6 commits into from

Commits on Aug 1, 2024

  1. Proposal for extension conversions

    @jcouv
    jcouv committed Aug 1, 2024
    Configuration menu
    Copy the full SHA
    c2be914 View commit details
    Browse the repository at this point in the history

  2. Different kinds of types

    @jcouv
    jcouv committed Aug 1, 2024
    Configuration menu
    Copy the full SHA
    339f215 View commit details
    Browse the repository at this point in the history

Commits on Aug 7, 2024

  1. remove extension conversion

    @jcouv
    jcouv committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    73a2d14 View commit details
    Browse the repository at this point in the history

Commits on Sep 13, 2024

  1. Add conversion details

    @jcouv
    jcouv committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    1a381d3 View commit details
    Browse the repository at this point in the history

Commits on Sep 20, 2024

  1. Track progress of implicit conversions

    @jcouv
    jcouv committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    f22a712 View commit details
    Browse the repository at this point in the history

  2. Simplify

    @jcouv
    jcouv committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    88197ff View commit details
    Browse the repository at this point in the history