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

WIP: Add problemMatching to task #989

Merged
merged 5 commits into from
Feb 13, 2022
Merged

WIP: Add problemMatching to task #989

merged 5 commits into from
Feb 13, 2022

Commits on Feb 12, 2022

  1. initial attempt

    @gowerc
    gowerc committed Feb 12, 2022
    Configuration menu
    Copy the full SHA
    76b3fc5 View commit details
    Browse the repository at this point in the history

  2. removed dummy task

    @gowerc
    gowerc committed Feb 12, 2022
    Configuration menu
    Copy the full SHA
    f8b6cc0 View commit details
    Browse the repository at this point in the history

  3. cleaning up dummy changes

    @gowerc
    gowerc committed Feb 12, 2022
    Configuration menu
    Copy the full SHA
    1962e1f View commit details
    Browse the repository at this point in the history

Commits on Feb 13, 2022

  1. Use RTaskProvider

    @renkun-ken
    renkun-ken committed Feb 13, 2022
    Configuration menu
    Copy the full SHA
    3c8c0b1 View commit details
    Browse the repository at this point in the history

  2. Update code

    @renkun-ken
    renkun-ken committed Feb 13, 2022
    Configuration menu
    Copy the full SHA
    7a800a4 View commit details
    Browse the repository at this point in the history