Skip to content
Navigation Menu
Sign in
Appearance settings
Platform
AI CODE CREATION
GitHub Copilot
Write better code with AI
GitHub Copilot app
Direct agents from issue to merge
MCP Registry
Integrate external tools
DEVELOPER WORKFLOWS
Actions
Automate any workflow
Codespaces
Instant dev environments
Issues
Plan and track work
Code Review
Manage code changes
Code Quality
Enforce quality at merge
APPLICATION SECURITY
GitHub Advanced Security
Find and fix vulnerabilities
Code security
Secure your code as you build
Secret protection
Stop leaks before they start
EXPLORE
Why GitHub
Documentation
Blog
Changelog
Marketplace
View all features
Solutions
BY COMPANY SIZE
Enterprises
Small and medium teams
Startups
Nonprofits
BY USE CASE
App Modernization
DevSecOps
DevOps
CI/CD
View all use cases
BY INDUSTRY
Healthcare
Financial services
Manufacturing
Government
View all industries
View all solutions
Resources
EXPLORE BY TOPIC
AI
Software Development
DevOps
Security
View all topics
EXPLORE BY TYPE
Customer stories
Events & webinars
Ebooks & reports
Business insights
GitHub Skills
SUPPORT & SERVICES
Documentation
Customer support
Community forum
Trust center
Partners
View all resources
Open Source
COMMUNITY
GitHub Sponsors
Fund open source developers
PROGRAMS
Security Lab
Maintainer Community
Accelerator
GitHub Stars
Archive Program
REPOSITORIES
Topics
Trending
Collections
Enterprise
ENTERPRISE SOLUTIONS
Enterprise platform
AI-powered developer platform
AVAILABLE ADD-ONS
GitHub Advanced Security
Enterprise-grade security features
Copilot for Business
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Pricing
Search
/
Sign in
Sign up
Appearance settings
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
Uh oh!
There was an error while loading.
Please reload this page
.
runtimeverification
/
haskell-backend
Public
Notifications
You must be signed in to change notification settings
Fork
43
Star
224
Code
Issues
139
Pull requests
19
Actions
Projects
Wiki
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Actions
Projects
Wiki
Security and quality
Insights
Update dependency: deps/k_release
- #4143
#4143
Open
rv-jenkins
wants to merge 26 commits into
master
runtimeverification/haskell-backend:master
from
_update-deps/runtimeverification/k
runtimeverification/haskell-backend:_update-deps/runtimeverification/k
Copy head branch name to clipboard
Conversation
Commits
26
(26)
Checks
Files changed
Open
Update dependency: deps/k_release
#4143
rv-jenkins
wants to merge 26 commits into
master
runtimeverification/haskell-backend:master
from
_update-deps/runtimeverification/k
runtimeverification/haskell-backend:_update-deps/runtimeverification/k
Copy head branch name to clipboard
Commits
Commits on Apr 15, 2026
deps/k_release: Set Version 7.1.318
rv-auditor
committed
1884626
View commit details
Copy full SHA for 1884626
Browse repository at this point
Commits on Apr 27, 2026
deps/k_release: Set Version 7.1.319
rv-auditor
committed
7e28930
View commit details
Copy full SHA for 7e28930
Browse repository at this point
Commits on May 7, 2026
deps/k_release: Set Version 7.1.321
rv-auditor
committed
87bd544
View commit details
Copy full SHA for 87bd544
Browse repository at this point
Commits on May 8, 2026
deps/k_release: Set Version 7.1.322
rv-auditor
committed
1d92d80
View commit details
Copy full SHA for 1d92d80
Browse repository at this point
Commits on May 12, 2026
deps/k_release: Set Version 7.1.323
rv-auditor
committed
36b2f74
View commit details
Copy full SHA for 36b2f74
Browse repository at this point
Commits on May 27, 2026
Merge remote-tracking branch 'origin/master' into _update-deps/runtimeverification/k
rv-auditor
committed
b1879f3
View commit details
Copy full SHA for b1879f3
Browse repository at this point
deps/k_release: Set Version 7.1.324
rv-auditor
committed
807b570
View commit details
Copy full SHA for 807b570
Browse repository at this point
deps/k_release: Set Version 7.1.325
rv-auditor
committed
d2f1a9e
View commit details
Copy full SHA for d2f1a9e
Browse repository at this point
Commits on May 28, 2026
deps/k_release: Set Version 7.1.326
rv-auditor
committed
ff53692
View commit details
Copy full SHA for ff53692
Browse repository at this point
deps/k_release: Set Version 7.1.327
rv-auditor
committed
13aa11b
View commit details
Copy full SHA for 13aa11b
Browse repository at this point
deps/k_release: Set Version v7.1.328
rv-auditor
committed
a0634d3
View commit details
Copy full SHA for a0634d3
Browse repository at this point
Commits on May 29, 2026
deps/k_release: Set Version 7.1.328
rv-auditor
committed
bbdd01e
View commit details
Copy full SHA for bbdd01e
Browse repository at this point
Commits on May 30, 2026
deps/k_release: Set Version 7.1.329
rv-auditor
committed
087e828
View commit details
Copy full SHA for 087e828
Browse repository at this point
Commits on Jun 3, 2026
Merge remote-tracking branch 'origin/master' into _update-deps/runtimeverification/k
rv-auditor
committed
48f5d9c
View commit details
Copy full SHA for 48f5d9c
Browse repository at this point
deps/k_release: Set Version 7.1.330
rv-auditor
committed
aa6e458
View commit details
Copy full SHA for aa6e458
Browse repository at this point
Commits on Jun 4, 2026
deps/k_release: Set Version 7.1.331
rv-auditor
committed
64f241d
View commit details
Copy full SHA for 64f241d
Browse repository at this point
Merge remote-tracking branch 'origin/master' into _update-deps/runtimeverification/k
rv-auditor
committed
dd00865
View commit details
Copy full SHA for dd00865
Browse repository at this point
deps/k_release: Set Version 7.1.332
rv-auditor
committed
8e16c3d
View commit details
Copy full SHA for 8e16c3d
Browse repository at this point
Commits on Jun 5, 2026
deps/k_release: Set Version 7.1.333
rv-auditor
committed
5a417e6
View commit details
Copy full SHA for 5a417e6
Browse repository at this point
Commits on Jun 11, 2026
Merge remote-tracking branch 'origin/master' into _update-deps/runtimeverification/k
rv-auditor
committed
53304d6
View commit details
Copy full SHA for 53304d6
Browse repository at this point
deps/k_release: Set Version 7.1.334
rv-auditor
committed
223a009
View commit details
Copy full SHA for 223a009
Browse repository at this point
Commits on Jun 17, 2026
Merge remote-tracking branch 'origin/master' into _update-deps/runtimeverification/k
rv-auditor
committed
ef0073f
View commit details
Copy full SHA for ef0073f
Browse repository at this point
deps/k_release: Set Version 7.1.335
rv-auditor
committed
1cb686e
View commit details
Copy full SHA for 1cb686e
Browse repository at this point
deps/k_release: Set Version 7.1.336
rv-auditor
committed
f59dd4f
View commit details
Copy full SHA for f59dd4f
Browse repository at this point
Commits on Jun 18, 2026
Merge remote-tracking branch 'origin/master' into _update-deps/runtimeverification/k
rv-auditor
committed
599dba9
View commit details
Copy full SHA for 599dba9
Browse repository at this point
deps/k_release: Set Version 7.1.337
rv-auditor
committed
02f38c9
View commit details
Copy full SHA for 02f38c9
Browse repository at this point
You can’t perform that action at this time.
