Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Update dependency: llvm-backend/src/main/native/llvm-backend (#3088)
* llvm-backend/src/main/native/llvm-backend: 500c601 - Version updates and nix version pin, OS runner pin (#613) * Sync flake inputs to submodules * llvm-backend/src/main/native/llvm-backend: baded74 - Hotfix for shellcheck breaking (#614) * Sync flake inputs to submodules * llvm-backend/src/main/native/llvm-backend: 8085f88 - Revert "Use opaque pointers when they're available (#586)" (#612) * Sync flake inputs to submodules Co-authored-by: rv-jenkins <devops@runtimeverification.com>
- Loading branch information