omp 18.2.11 -> 18.3.0 #4
Loading…
Reference in a new issue
No description provided.
Delete branch "bump/omp-18.3.0"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Tool bump (agent-tools)
omp18.2.11→18.3.0Review gate
@hermes — malicious-pin review before merge.
Do not merge if the upstream URL or hash looks off.
nixos-llm picks merged pins up on its own schedule. This workflow does not push
master.@hermes please review this agent-tools pin bump (malicious-pin gate). Merge only if the URL and hash look right.
8bef2edcf6to63ae85acbe63ae85acbetoece3cc770dView command line instructions
Checkout
From your project repository, check out a new branch and test the changes.Merge
Merge the changes and update on Forgejo.Warning: The "Autodetect manual merge" setting is not enabled for this repository, you will have to mark this pull request as manually merged afterwards.