search

leanprover-community / lean4-samples

Code samples for Lean 4
Apache License 2.0
67 stars 22 forks source link

CI? #5

Closed leodemoura closed 1 year ago

leodemoura commented 2 years ago

Do we have CI for this repo? If yes, please ignore this issue. It would be great to know when the examples in this repo break as we change Lean. We can use Lean nightly builds to test the examples every night.

lovettchris commented 1 year ago

Yes there is see https://github.com/leanprover/lean4-samples/blob/main/.github/workflows/ci.yml

Kha commented 1 year ago

This one should probably have a nightly cron job as well?

lovettchris commented 1 year ago

Done: https://github.com/leanprover/lean4-samples/commit/0712e53ce002971382a4c3a9c5b154f71aeb21df