search

tweag / capability

Extensional capabilities and deriving combinators
BSD 3-Clause "New" or "Revised" License
214 stars 9 forks source link

Add github-action based continuous integration #95

Closed aspiwack closed 3 years ago

aspiwack commented 3 years ago

I see that GH actions ran two checks: Build & Test (push) and Build & Test (pull_request). Apparently this is a known issue with GH actions. So, it seems there's not much we can do about it.

Yes :slightly_frowning_face: