v1.0.2 release

[austinletson]

v1.0.2

• Create a release/v1.0.2 branch off of main for the release candidate.
• Testing
  • Run functional_tests.yml workflow on release/v1.0.2.
• Create a GitHub release of release/v1.0.2 with a v1.0.2 tag.
  • Copy the release notes from the ## Unreleased section of CHANGELOG.md.
  • After the release is created, verify a git tag named v1.0.2 is pointing to the release/v1.0.2 branch
• Git tag manipulation.
  • Move the v1 tag to point to release/v1.0.2.
• Verify action with uses: leanprover/[email protected] in test repo as a sanity check.
• Create a PR to:
  • Create a PR to update CHANGELOG.md with the latest release.
• Post release announcement in general/lean-action Zulip topic.

[austinletson]

The log expansion bug that should have been fixed by (#92) and motivated this release still occurs when using [email protected]. I will look more into this before moving forward with the release.

[austinletson]

There was a second issue causing log expansion problems (see #94). I am adding the fix to the v1.0.2 release