Skip to content

Jl777#648

Merged
jl777 merged 4 commits intodevfrom
jl777
May 3, 2018
Merged

Jl777#648
jl777 merged 4 commits intodevfrom
jl777

Conversation

@jl777
Copy link
Copy Markdown
Owner

@jl777 jl777 commented May 3, 2018

Miner improvements, required for notaries

@jl777 jl777 merged commit 3c8f919 into dev May 3, 2018
dimxy pushed a commit to dimxy/komodo that referenced this pull request Nov 21, 2025
* [ci/cd] save time on removal and upgrade packages

we should be fine with runner defaults for CI ...

* [ci/cd] switch to ubuntu-22.04 and don't remove packages for windows cd
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant