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

Update dependency: deps/pyk_release #2062

Merged
merged 63 commits into from
Sep 20, 2023
Merged

Update dependency: deps/pyk_release #2062

merged 63 commits into from
Sep 20, 2023

Conversation

rv-jenkins
Copy link
Contributor

@rv-jenkins rv-jenkins commented Sep 7, 2023 •
edited by ehildenb
Loading

  • Removes the dockerhub image packaging (was disabled for Replace Makefile based build by kevm-dist command #2068).
  • Removes the directories package/{debian,docker} which are now unused.
  • Fixes the update-deps job to know where the new blockchain-k-plugin is located for reading its version ID.
  • Removes the references to the debian package in package/version.sh
  • Increase the timeout on the booster stage since it's now doing more work to achieve parity with the old backend

devops and others added 17 commits September 7, 2023 09:12
Set Version: 1.0.288
f8b01f6
Merge remote-tracking branch 'origin/master' into _update-deps/runtim…
c034ad7 
…everification/pyk
deps/pyk_release: Set Version v0.1.436
27861c0
Set Version: 1.0.289
35c5708
kevm-pyk/: sync poetry files pyk version v0.1.436
7f47a54
flake.{nix,lock}: update Nix derivations
d18fe61
Merge remote-tracking branch 'origin/master' into _update-deps/runtim…
4cfeb6c 
…everification/pyk
deps/pyk_release: Set Version v0.1.437
295e673
Set Version: 1.0.290
55d2df4
kevm-pyk/: sync poetry files pyk version v0.1.437
e61df3e
deps/k_release: sync release file version 6.0.87
4abbd24
flake.{nix,lock}: update Nix derivations
c199ca5
deps/pyk_release: Set Version v0.1.438
f475709
kevm-pyk/: sync poetry files pyk version v0.1.438
1976bed
flake.{nix,lock}: update Nix derivations
72a9066
@anvacaru
run_kore -> run
863b313
@anvacaru
update foundry-list.expected
4621de8
@ehildenb ehildenb mentioned this pull request Sep 17, 2023
Merged
1 task
devops and others added 14 commits September 18, 2023 16:11
deps/pyk_release: Set Version v0.1.445
f86a69b
kevm-pyk/: sync poetry files pyk version v0.1.445
fac2f3c
flake.{nix,lock}: update Nix derivations
2fb6f07
@ehildenb
.github/test-pr: increase booster timeout
0c88c4c
deps/pyk_release: Set Version v0.1.446
a3e4eb3
kevm-pyk/: sync poetry files pyk version v0.1.446
a162029
flake.{nix,lock}: update Nix derivations
2a9a360
@ehildenb
Merge remote-tracking branch 'upstream/master' into _update-deps/runt…
5b4006a 
…imeverification/pyk
Set Version: 1.0.295
26d9f5a
@ehildenb
Merge remote-tracking branch 'upstream/master' into _update-deps/runt…
1439796 
…imeverification/pyk
Set Version: 1.0.296
6e4ef9c
kevm-pyk/: sync poetry files pyk version v0.1.446
e8d5332
@anvacaru
Merge remote-tracking branch 'origin/master' into _update-deps/runtim…
2aadaf0 
…everification/pyk
Set Version: 1.0.297
9b1b4a4
@rv-jenkins rv-jenkins merged commit a9231d4 into master Sep 20, 2023
13 checks passed
@rv-jenkins rv-jenkins deleted the _update-deps/runtimeverification/pyk branch September 20, 2023 09:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@anvacaru anvacaru anvacaru approved these changes

@F-WRunTime F-WRunTime F-WRunTime approved these changes

Assignees

@anvacaru anvacaru

Labels
automerge
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@rv-jenkins @anvacaru @F-WRunTime @ehildenb