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.

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

Introduce additional checks for dhall (deps, dirtyWhen) #16168

Merged
merged 18 commits into from
Oct 21, 2024

Commits on Oct 1, 2024

  1. Configuration menu
    Copy the full SHA
    e5c129d View commit details
    Browse the repository at this point in the history
  2. Fix usage of checker

    dkijania committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    300f270 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    752a7c6 View commit details
    Browse the repository at this point in the history
  4. Revert "Auxiliary commit to revert individual files from e5c129d"

    This reverts commit 35f9de53f244c91656d101cb4b523deb6985367c.
    dkijania committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    3f17bcb View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    2de0853 View commit details
    Browse the repository at this point in the history
  6. Revert "Auxiliary commit to revert individual files from e5c129d"

    This reverts commit 561a5b889757092f8d9c4e21605b96d36dc53828.
    dkijania committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    416becb View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    4608a8a View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    bcbb84c View commit details
    Browse the repository at this point in the history

Commits on Oct 2, 2024

  1. Configuration menu
    Copy the full SHA
    aaf80c6 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    ec996e2 View commit details
    Browse the repository at this point in the history

Commits on Oct 3, 2024

  1. Configuration menu
    Copy the full SHA
    16157b4 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    4bc2436 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    d8bbd27 View commit details
    Browse the repository at this point in the history

Commits on Oct 9, 2024

  1. Configuration menu
    Copy the full SHA
    ff53bd8 View commit details
    Browse the repository at this point in the history

Commits on Oct 14, 2024

  1. Configuration menu
    Copy the full SHA
    09b0eab View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    0a2e9ef View commit details
    Browse the repository at this point in the history

Commits on Oct 18, 2024

  1. Configuration menu
    Copy the full SHA
    c05cf06 View commit details
    Browse the repository at this point in the history

Commits on Oct 21, 2024

  1. Configuration menu
    Copy the full SHA
    7f7b010 View commit details
    Browse the repository at this point in the history