Tiny readme update to trigger a release · runtimeverification/k@a47bbe6

Triggered via pull request January 19, 2024 10:36

rv-jenkins

edited #3914

dummy-readme-update

Status Success

Total duration 52m 21s

Artifacts 1

test-pr.yml

on: pull_request

Matrix: Nix flake

Produced during runtime

Name	Size
kframework.deb Expired	158 MB