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

Add --default-time-limit #3224

Merged
merged 12 commits into from Sep 8, 2018
Merged

Add --default-time-limit #3224

merged 12 commits into from Sep 8, 2018

Commits on Sep 8, 2018

  1. Basic config infrastructure to support #2085

    @epdenouden
    epdenouden committed Sep 8, 2018
    Copy the full SHA
    f81f22b View commit details
    Browse the repository at this point in the history

  2. Restrict default time limit to enforced scenarios

    @epdenouden
    epdenouden committed Sep 8, 2018
    Copy the full SHA
    25f924d View commit details
    Browse the repository at this point in the history

  3. Add checks for required libraries

    @epdenouden
    epdenouden committed Sep 8, 2018
    Copy the full SHA
    2455907 View commit details
    Browse the repository at this point in the history

  4. Add description of --default-time-limit to CLI help

    @epdenouden
    epdenouden committed Sep 8, 2018
    Copy the full SHA
    5f818d5 View commit details
    Browse the repository at this point in the history

  5. Restore availability checks for php-invoker and pcntl preventing errors

    @epdenouden
    epdenouden committed Sep 8, 2018
    Copy the full SHA
    1a4bd4f View commit details
    Browse the repository at this point in the history

  6. Fix test skip-if condition

    @epdenouden
    epdenouden committed Sep 8, 2018
    Copy the full SHA
    f7899ba View commit details
    Browse the repository at this point in the history

  7. Cleanup: remove obsolete code

    @epdenouden
    epdenouden committed Sep 8, 2018
    Copy the full SHA
    253bbb2 View commit details
    Browse the repository at this point in the history

  8. Improved CLI help to match behaviour more closely

    @epdenouden
    epdenouden committed Sep 8, 2018
    Copy the full SHA
    d428667 View commit details
    Browse the repository at this point in the history

  9. Improved test coverage when php-invoker is not available

    @epdenouden
    epdenouden committed Sep 8, 2018
    Copy the full SHA
    4494e22 View commit details
    Browse the repository at this point in the history

  10. Add test coverage for enforceTimeLimit and defaultTimeLimit

    @epdenouden
    epdenouden committed Sep 8, 2018
    Copy the full SHA
    56212b6 View commit details
    Browse the repository at this point in the history

  11. Improve coverage for enforceTimeLimit and defaultTimeLimit

    @epdenouden
    epdenouden committed Sep 8, 2018
    Copy the full SHA
    1439026 View commit details
    Browse the repository at this point in the history

  12. Make new attributes private

    @epdenouden
    epdenouden committed Sep 8, 2018
    Copy the full SHA
    fdab4a3 View commit details
    Browse the repository at this point in the history