Skip to content

chore(main): release 0.1.0#5

Merged
danielknell merged 1 commit intomainfrom
release-please--branches--main--components--conjecture
Jun 22, 2022
Merged

chore(main): release 0.1.0#5
danielknell merged 1 commit intomainfrom
release-please--branches--main--components--conjecture

Conversation

@github-actions
Copy link
Contributor

@github-actions github-actions bot commented Jun 19, 2022

🤖 I have created a release beep boop

0.1.0 (2022-06-22)

Features

  • add has_attribute conjecture (2122347)
  • add has_key conjecture (44f5741)

Documentation

  • add built-in conjecture examples (c5f610d)

This PR was generated with Release Please. See documentation.

@github-actions github-actions bot force-pushed the release-please--branches--main--components--conjecture branch 3 times, most recently from ec9239a to 89c1d97 Compare June 22, 2022 07:00
@github-actions github-actions bot changed the title chore(main): release 0.0.4 chore(main): release 0.1.0 Jun 22, 2022
@github-actions github-actions bot force-pushed the release-please--branches--main--components--conjecture branch from 89c1d97 to bf061e6 Compare June 22, 2022 19:43
@github-actions github-actions bot force-pushed the release-please--branches--main--components--conjecture branch from bf061e6 to 1e5a947 Compare June 22, 2022 21:36
@danielknell danielknell reopened this Jun 22, 2022
@danielknell danielknell enabled auto-merge (squash) June 22, 2022 22:04
@danielknell danielknell merged commit 283cdf4 into main Jun 22, 2022
@danielknell danielknell deleted the release-please--branches--main--components--conjecture branch June 22, 2022 22:08
@github-actions
Copy link
Contributor Author

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant