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: msp-strath/cs410-advanced-functional-programming
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: main
Choose a base ref
...
head repository: msp-strath/cs410-advanced-functional-programming
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: ci-build
Choose a head ref
  • 7 commits
  • 2 files changed
  • 1 contributor

Commits on Jan 21, 2025

  1. [ ci ] initial attempt

    @gallais
    gallais committed Jan 21, 2025
    Configuration menu
    Copy the full SHA
    6de08bb View commit details
    Browse the repository at this point in the history

  2. [ ci ] let's build it

    @gallais
    gallais committed Jan 21, 2025
    Configuration menu
    Copy the full SHA
    ce3db6f View commit details
    Browse the repository at this point in the history

  3. [ ci ] fix syntax

    @gallais
    gallais committed Jan 21, 2025
    Configuration menu
    Copy the full SHA
    d4cb847 View commit details
    Browse the repository at this point in the history

  4. [ ci ] bump action version 

    Cf. wenkokke/setup-agda#224
2.7.0.1 only available on main
    @gallais
    gallais committed Jan 21, 2025
    Configuration menu
    Copy the full SHA
    4787516 View commit details
    Browse the repository at this point in the history

  5. [ ci ] no support for 2.2?

    @gallais
    gallais committed Jan 21, 2025
    Configuration menu
    Copy the full SHA
    b1f3ffc View commit details
    Browse the repository at this point in the history

  6. [ ci ] adding standard lib to defaults

    @gallais
    gallais committed Jan 21, 2025
    Configuration menu
    Copy the full SHA
    c73f4c3 View commit details
    Browse the repository at this point in the history

  7. [ ci ] install ghc/cabal too

    @gallais
    gallais committed Jan 21, 2025
    Configuration menu
    Copy the full SHA
    cc69fae View commit details
    Browse the repository at this point in the history
Loading