Skip to content

Migrate on-push PR jobs from Gitlab over to Github#3289

Open
jaschutte wants to merge 4 commits into
masterfrom
gl-to-gh-migration-on-push
Open

Migrate on-push PR jobs from Gitlab over to Github#3289
jaschutte wants to merge 4 commits into
masterfrom
gl-to-gh-migration-on-push

Conversation

@jaschutte
Copy link
Copy Markdown
Contributor

We have self-hosted Github runners, however we still mirror the repository to Gitlab to run jobs on PRs. This migrates over the jobs that the Gitlab runners do over to Github. In specific; only the jobs performed on push are copied over. This includes the following set of jobs:

  • Testing if all clash-* projects successfully compile against all supported GHC versions in Cabal and Stack
  • Package & cache all clash-* projects using Nix (this also runs tests for those packages) for all supported GHC versions
  • Run the clash testsuite for VHDL, Verilog and SystemVerilog in all supported GHC versions

Nix automatically caches whatever it builds to our local cache, pushes to the master branch also get cached in Cachix.
Cabal caches only the clash dependencies (with cabal.project and */*.cabal hashed as keys). It uses the local minio cache.
Stack does not utilize caching.

Original PR: #3275

jaschutte added 4 commits June 2, 2026 19:43
Simply compiles clash for cabal & stack, Nix runs tests by default so
there is no need to duplicate those.
Runs clash-testsuite using Nix, does all compiler & HDLs in parallel to
make optimal use of the runners
+ removes filter as its not required
@jaschutte
Copy link
Copy Markdown
Contributor Author

I noticed that it failed to retrieve the cache due to lacking permissions, I've added the keys and this should be resolved on the next run.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant