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

[Chore] Update CI #33

Merged
merged 3 commits into from
Jul 9, 2024
Merged

[Chore] Update CI #33

merged 3 commits into from
Jul 9, 2024

Commits on Jul 8, 2024

  1. [Chore] Update GHC versions tested by CI

    Problem: we've recently supported ghc-9.10.1, but it's not tested
    by CI. Also we're still testing ghc-8.8.4, which is rather old and
    causes some troubles when updating Nix dependencies.
    
    Solution: add 9.10.1 to tested GHC versions, remove 8.8.4.
    gromakovsky committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    516906a View commit details
    Browse the repository at this point in the history
  2. Automatically update flake.lock to the latest version

    hackage     a62dac66a9 (2024-05-13) -> 5153fdaef0 (2024-07-08)
    haskell-nix 28fceff2ef (2024-01-10) -> 34946405e8 (2024-06-21)
    nixpkgs     sha256-dd/ (1970-01-01) -> fe065f84d7 (2024-07-01)
    stackage    207b7104d5 (2024-05-12) -> c84e07a4e0 (2024-07-06)
    serokell-bot authored and gromakovsky committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    6edacff View commit details
    Browse the repository at this point in the history

Commits on Jul 9, 2024

  1. Trigger CI on push to master and on PR

    Problem: CI is triggered only on push, so it won't work in case of
    PRs from forks.
    Solution: trigger it on PRs as well. Trigger on push only when the
    branch is master.
    If you want to run on push to your feature branch, you can edit
    check.yml in your branch.
    gromakovsky authored and rvem committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    6902102 View commit details
    Browse the repository at this point in the history