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
+99 −8
Merged

Test pack and lsp during CI #3067

Show file tree
Hide file tree
Changes from 17 commits
Commits
Show all changes
22 commits
Select commit Hold shift + click to select a range
9515c12
[ ci ] Move external libs outside of Idris2 job
CodingCellist Aug 28, 2023
f9873b7
[ ci ] Run extern-libs after Idris2
CodingCellist Aug 28, 2023
cde9fe5
[ ci ] Copy setup-jobs from ci-idris2 to extern-libs
CodingCellist Aug 28, 2023
8ec3d40
[ ci ] rm the ci-idris2 dependency from extern-libs
CodingCellist Aug 28, 2023
63ab414
[ ci ] All extern libs depend on self-host
CodingCellist Aug 28, 2023
6f54787
[ ci ] Add extern libs concurrency group
CodingCellist Aug 29, 2023
4c27d3c
[ ci ] Build pack and the LSP as part of ext-libs
CodingCellist Aug 29, 2023
814ecb4
[ ci ] Fix pack URL? RM lsp test for now
CodingCellist Aug 30, 2023
cd6226c
[ ci ] Add GH_REF_NAME to pack idris2.commit
CodingCellist Aug 30, 2023
6909bec
[ ci ] Fetch the PR before attempting pack install
CodingCellist Aug 30, 2023
af4bd1b
[ ci ] Mark CWD as safe for git-fetch reasons
CodingCellist Aug 30, 2023
ddf9d1f
[ ci ] Restore the REF to the commit pack param
CodingCellist Aug 30, 2023
d39a52b
[ ci ] Use 'latest' syntax to fix things
CodingCellist Aug 31, 2023
01f83c4
[ ci ] Make linter happy
CodingCellist Sep 1, 2023
f9f3eab
[ ci ] Enable the pack-lsp test
CodingCellist Sep 1, 2023
526847d
[ ci ] Don't prompt before building lsp
CodingCellist Sep 1, 2023
d739f3e
[ admin ] Merge branch 'main' into ci-pack-lsp
CodingCellist Sep 1, 2023
1f97374
[ ci ] Avoid work duplication in idris2 vs ext-libs
CodingCellist Sep 8, 2023
4d27adc
[ ci ] Rename idris2 CI job to reflect lib building
CodingCellist Sep 8, 2023
e827708
[ admin ] Merge branch 'main' into ci-pack-lsp
CodingCellist Sep 8, 2023
8364769
[ ci ] Depend on 'initialise' to make linter happy
CodingCellist Sep 11, 2023
2a96c36
[ ci ] Group pack toml file-writing commands
CodingCellist Sep 11, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading
Loading