Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Release v2023.03.22 #2860

Merged
merged 23 commits into from
Mar 22, 2023
Merged

Release v2023.03.22 #2860

merged 23 commits into from
Mar 22, 2023

Conversation

dzomo
Copy link
Collaborator

@dzomo dzomo commented Mar 22, 2023

  • [CI] regenerate hints + ocaml snapshot
  • [CI] bump version number to 2023.03.22~dev

Dzomo, the Everest Yak and others added 23 commits February 1, 2023 20:26
[CI] regenerate hints + ocaml snapshot
f664242
@tahina-pro
update version number to 2023.02.01
0eeac08
@tahina-pro
Merge branch 'master' of github.com:FStarLang/FStar into _taramana_re…
99ccc4d 
…lease_20230206
@tahina-pro
version 2023.02.06
2e61d21
@tahina-pro
[CI] regenerate hints + ocaml snapshot
443f9ee
@tahina-pro
Merge commit '1dde08c089' into _taramana_release_20230221
2aeafc6
@tahina-pro
version 2023.02.21
f8c732d
[CI] regenerate hints + ocaml snapshot
66d340e
@tahina-pro
Merge branch 'master' of github.com:FStarLang/FStar into _taramana_re…
ac94c8e 
…lease_20230308
[CI] regenerate hints + ocaml snapshot
a6a22af
@tahina-pro
remove useless hints file
7372ccd
@tahina-pro
revert d3fe145 on TestSeq.fst.hints
59ef6ce
@tahina-pro
Merge branch '_taramana_release_20230308' into _release
dd797a1
@tahina-pro
publish releases with GitHub CLI
6be79d0 
inspired from EverParse
@tahina-pro
open a pull request when releasing from CI
9069e8c
@tahina-pro
release from CI
300ed11
@tahina-pro
use z3 license from appropriate opam package location
f8ee13b 
from package.Dockerfile
@tahina-pro
package_unknown_platform -> package, with PACKAGE_NAME as a parameter
0a39d71
@tahina-pro
determine the package name ourselves
84b62fa
@tahina-pro
push tag if needed
b1f21ce
@tahina-pro
GNU/Linux -> Linux; but then pay the price for Cygwin
7614658
[CI] regenerate hints + ocaml snapshot
b4d79e7
[CI] bump version number to 2023.03.22~dev
64294ee
@tahina-pro tahina-pro self-assigned this Mar 22, 2023
@tahina-pro tahina-pro changed the base branch from _release to master March 22, 2023 05:27
@tahina-pro tahina-pro merged commit 64aa515 into master Mar 22, 2023
@tahina-pro tahina-pro deleted the BuildHints-_release branch March 22, 2023 05:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@tahina-pro tahina-pro

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@dzomo @tahina-pro