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

Test pack and lsp during CI #3067

Merged
merged 22 commits into from
Sep 13, 2023
Merged

Test pack and lsp during CI #3067

merged 22 commits into from
Sep 13, 2023

Commits on Aug 28, 2023

  1. [ ci ] Move external libs outside of Idris2 job 

    Seems like this is an independent check, which should be processed as
such.
(Hopefully I got the CI incantations right...)
    @CodingCellist
    CodingCellist committed Aug 28, 2023
    Configuration menu
    Copy the full SHA
    9515c12 View commit details
    Browse the repository at this point in the history

  2. [ ci ] Run extern-libs after Idris2 

    Hopefully this solves the artifact issue?
    @CodingCellist
    CodingCellist committed Aug 28, 2023
    Configuration menu
    Copy the full SHA
    f9873b7 View commit details
    Browse the repository at this point in the history

  3. [ ci ] Copy setup-jobs from ci-idris2 to extern-libs 

    DRY. But sometimes, it really is the easiest way to get things done (and
it should be fine(TM)...)
    @CodingCellist
    CodingCellist committed Aug 28, 2023
    Configuration menu
    Copy the full SHA
    cde9fe5 View commit details
    Browse the repository at this point in the history

  4. [ ci ] rm the ci-idris2 dependency from extern-libs 

    Now that the setup-jobs have been copied over, this dependency should be
unnecessary.
    @CodingCellist
    CodingCellist committed Aug 28, 2023
    Configuration menu
    Copy the full SHA
    8ec3d40 View commit details
    Browse the repository at this point in the history

  5. [ ci ] All extern libs depend on self-host

    @CodingCellist
    CodingCellist committed Aug 28, 2023
    Configuration menu
    Copy the full SHA
    63ab414 View commit details
    Browse the repository at this point in the history

Commits on Aug 29, 2023

  1. [ ci ] Add extern libs concurrency group 

    Should hopefully avoid interference with the Idris2 CI.
    @CodingCellist
    CodingCellist committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    6f54787 View commit details
    Browse the repository at this point in the history

  2. [ ci ] Build pack and the LSP as part of ext-libs 

    These are relied upon by many developers, so it seems only sensible to
test that nothing in the current PR breaks these. If nothing else as a
foreshadowing for the maintainers of them.
    @CodingCellist
    CodingCellist committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    4c27d3c View commit details
    Browse the repository at this point in the history

Commits on Aug 30, 2023

  1. [ ci ] Fix pack URL? RM lsp test for now 

    We need pack to check out the PR's ref somehow. Using
`GITHUB_REPOSITORY` as the URL might work?
    @CodingCellist
    CodingCellist committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    814ecb4 View commit details
    Browse the repository at this point in the history

  2. [ ci ] Add GH_REF_NAME to pack idris2.commit 

    This might be the way? (I really don't want to have to fork pack...)
    @CodingCellist
    CodingCellist committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    cd6226c View commit details
    Browse the repository at this point in the history

  3. [ ci ] Fetch the PR before attempting pack install 

    That might help...
    @CodingCellist
    CodingCellist committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    6909bec View commit details
    Browse the repository at this point in the history

  4. [ ci ] Mark CWD as safe for git-fetch reasons 

    It's probably fiiine...
    @CodingCellist
    CodingCellist committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    af4bd1b View commit details
    Browse the repository at this point in the history

  5. [ ci ] Restore the REF to the commit pack param 

    I feel like this is so close to working, and yet so far...
    @CodingCellist
    CodingCellist committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    ddf9d1f View commit details
    Browse the repository at this point in the history

Commits on Aug 31, 2023

  1. [ ci ] Use 'latest' syntax to fix things 

    Finally installed pack locally and tested it as well. So quite a bit
more confident that this works (although you never know, CI could just
throw us for a spin for the fun of it)...
    @CodingCellist
    CodingCellist committed Aug 31, 2023
    Configuration menu
    Copy the full SHA
    d39a52b View commit details
    Browse the repository at this point in the history

Commits on Sep 1, 2023

  1. [ ci ] Make linter happy 

    Gods forbid we use a `.yaml` file instead of `.yml` -_-
    @CodingCellist
    CodingCellist committed Sep 1, 2023
    Configuration menu
    Copy the full SHA
    01f83c4 View commit details
    Browse the repository at this point in the history

  2. [ ci ] Enable the pack-lsp test 

    This is going to be exciting!
    @CodingCellist
    CodingCellist committed Sep 1, 2023
    Configuration menu
    Copy the full SHA
    f9f3eab View commit details
    Browse the repository at this point in the history

  3. [ ci ] Don't prompt before building lsp 

    We trust LSP, at least for CI-purposes
    @CodingCellist
    CodingCellist committed Sep 1, 2023
    Configuration menu
    Copy the full SHA
    526847d View commit details
    Browse the repository at this point in the history

  4. [ admin ] Merge branch 'main' into ci-pack-lsp

    @CodingCellist
    CodingCellist committed Sep 1, 2023
    Configuration menu
    Copy the full SHA
    d739f3e View commit details
    Browse the repository at this point in the history

Commits on Sep 8, 2023

  1. [ ci ] Avoid work duplication in idris2 vs ext-libs 

    As per discussion on PR idris-lang#3067
    @CodingCellist
    CodingCellist committed Sep 8, 2023
    Configuration menu
    Copy the full SHA
    1f97374 View commit details
    Browse the repository at this point in the history

  2. [ ci ] Rename idris2 CI job to reflect lib building 

    The job builds Idris2, but also several external libraries. Name
accordingly.
    @CodingCellist
    CodingCellist committed Sep 8, 2023
    Configuration menu
    Copy the full SHA
    4d27adc View commit details
    Browse the repository at this point in the history

  3. [ admin ] Merge branch 'main' into ci-pack-lsp

    @CodingCellist
    CodingCellist committed Sep 8, 2023
    Configuration menu
    Copy the full SHA
    e827708 View commit details
    Browse the repository at this point in the history

Commits on Sep 11, 2023

  1. [ ci ] Depend on 'initialise' to make linter happy

    @CodingCellist
    CodingCellist committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    8364769 View commit details
    Browse the repository at this point in the history

  2. [ ci ] Group pack toml file-writing commands 

    According to the linter this is better(?)
    @CodingCellist
    CodingCellist committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    2a96c36 View commit details
    Browse the repository at this point in the history