Clean some cruft - Githubissues

Deducteam / Logipedia

An encyclopedia of proofs

56 stars 11 forks source link

Closed rprimet closed 5 years ago

rprimet commented 5 years ago

A branch to remove some outdated content and files that were erroneously checked into source control.

francoisthire commented 5 years ago

Can you merge master to check if the "check tab" of GitHub UI is working please?

rprimet commented 5 years ago

Did that, does not seem to build PRs from forked repositories by default. Could you try to enable this setting for the project?

francoisthire commented 5 years ago

Yes, it was checked already. I will let you admin so that you can see be yourself.

francoisthire commented 5 years ago

I still don't see the CircleCI integration for this PR, is this normal?

rprimet commented 5 years ago

Checks depend on v2.1+ for the config file format; this is now fixed and circle checks are shown.