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

Tests for the new compilation pipeline #1703

Merged
merged 10 commits into from
Jan 12, 2023
Merged

Tests for the new compilation pipeline #1703

merged 10 commits into from
Jan 12, 2023

Commits on Jan 12, 2023

  1. Compilation pipeline tests

    @lukaszcz
    lukaszcz committed Jan 12, 2023
    Configuration menu
    Copy the full SHA
    b6c5c48 View commit details
    Browse the repository at this point in the history

  2. Church numerals

    @lukaszcz
    lukaszcz committed Jan 12, 2023
    Configuration menu
    Copy the full SHA
    6fbbfb3 View commit details
    Browse the repository at this point in the history

  3. more tests

    @lukaszcz
    lukaszcz committed Jan 12, 2023
    Configuration menu
    Copy the full SHA
    88a0f1c View commit details
    Browse the repository at this point in the history

  4. test results

    @lukaszcz
    lukaszcz committed Jan 12, 2023
    Configuration menu
    Copy the full SHA
    ce1f228 View commit details
    Browse the repository at this point in the history

  5. fix test005

    @lukaszcz
    lukaszcz committed Jan 12, 2023
    Configuration menu
    Copy the full SHA
    89ee633 View commit details
    Browse the repository at this point in the history

  6. fix test005

    @lukaszcz
    lukaszcz committed Jan 12, 2023
    Configuration menu
    Copy the full SHA
    56eb2f7 View commit details
    Browse the repository at this point in the history

  7. Compilation pipeline test infrastructure

    @lukaszcz
    lukaszcz committed Jan 12, 2023
    Configuration menu
    Copy the full SHA
    daa6ca6 View commit details
    Browse the repository at this point in the history

  8. make ormolu happy

    @lukaszcz
    lukaszcz committed Jan 12, 2023
    Configuration menu
    Copy the full SHA
    93f6a1d View commit details
    Browse the repository at this point in the history

  9. Church numerals with synonyms

    @lukaszcz
    lukaszcz committed Jan 12, 2023
    Configuration menu
    Copy the full SHA
    66f5f1d View commit details
    Browse the repository at this point in the history

  10. change test order

    @lukaszcz
    lukaszcz committed Jan 12, 2023
    Configuration menu
    Copy the full SHA
    7445558 View commit details
    Browse the repository at this point in the history