Migrate CI/CD to Github Actions

loonwerks / AGREE

Assume-Guarantee REasoning Environment

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

12 stars 5 forks source link

Closed kfhoech closed 1 year ago

kfhoech commented 1 year ago

Decommission the old AWS-based CI/CD pipeline and construct a new pipeline on Github Actions

kfhoech commented 1 year ago

Resolved by pull request #129.