Migrate to GitHub runners - Githubissues

runtimeverification / plutus-core-semantics

BSD 3-Clause "New" or "Revised" License

27 stars 5 forks source link

Migrate to GitHub runners #357

Closed ehildenb closed 1 year ago

ehildenb commented 1 year ago

This PR:

Migrates to GH runners.
Removes Jenkins configuration.

Before merge, status updates need updated.