8000 Comparing v4.0.0...v4.0.1 · DMOJ/judge-server · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: DMOJ/judge-server
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: v4.0.0
Choose a base ref
...
head repository: DMOJ/judge-server
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: v4.0.1
Choose a head ref
  • 2 commits
  • 4 files changed
  • 2 contributors

Commits on Jan 28, 2023

  1. Fix bugs with globs 

    * Order globs, so an earlier-listed problem root takes priority
* Check that the return value of `get_problem_root` satisfies at least
  one glob
* Add tests for globs
    @kiritofeng @Xyene
    kiritofeng authored and Xyene committed Jan 28, 2023
    Configuration menu
    Copy the full SHA
    2a5807b View commit details
    Browse the repository at this point in the history

  2. Bump version to 4.0.1

    @Xyene
    Xyene authored Jan 28, 2023
    Configuration menu
    Copy the full SHA
    d96b12b View commit details
    Browse the repository at this point in the history
Loading
0