Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Bug: Fix change target branch WF. Enables Forks to submit PRs and run tests. #4693

Closed
wants to merge 2,210 commits into from
Closed
Changes from 1 commit
Commits
Show all changes
2210 commits
Select commit Hold shift + click to select a range
349304a
Set Version: 7.1.54
Jul 10, 2024
5d2c336
Merge remote-tracking branch 'origin/develop'
Jul 11, 2024
95a777f
Set Version: 7.1.55
Jul 11, 2024
266aba8
Merge remote-tracking branch 'origin/develop'
Jul 11, 2024
71e3286
Set Version: 7.1.56
Jul 11, 2024
d7a44a4
Merge remote-tracking branch 'origin/develop'
Jul 12, 2024
4c90c44
Set Version: 7.1.57
Jul 12, 2024
cddd79d
Merge remote-tracking branch 'origin/develop'
Jul 13, 2024
8083c62
Set Version: 7.1.58
Jul 13, 2024
d03f74d
Merge remote-tracking branch 'origin/develop'
Jul 15, 2024
3f0c6c7
Set Version: 7.1.59
Jul 15, 2024
62fda50
Merge remote-tracking branch 'origin/develop'
Jul 15, 2024
c157b18
Set Version: 7.1.60
Jul 15, 2024
809f6c8
Merge remote-tracking branch 'origin/develop'
Jul 16, 2024
1ae6a38
Set Version: 7.1.61
Jul 16, 2024
dfaad78
Merge remote-tracking branch 'origin/develop'
Jul 16, 2024
79c5ce1
Set Version: 7.1.62
Jul 16, 2024
d2166f3
Merge remote-tracking branch 'origin/develop'
Jul 16, 2024
78442e3
Set Version: 7.1.63
Jul 16, 2024
bcedcb8
Merge remote-tracking branch 'origin/develop'
Jul 17, 2024
aaa0631
Set Version: 7.1.64
Jul 17, 2024
ce3de90
Merge remote-tracking branch 'origin/develop'
Jul 17, 2024
c539eff
Set Version: 7.1.65
Jul 17, 2024
d86cde7
Merge remote-tracking branch 'origin/develop'
Jul 17, 2024
47cfa43
Set Version: 7.1.66
Jul 17, 2024
3a3fc4c
Merge remote-tracking branch 'origin/develop'
Jul 18, 2024
47f0d8f
Set Version: 7.1.67
Jul 18, 2024
92f8e32
Merge remote-tracking branch 'origin/develop'
Jul 19, 2024
4fe33f3
Set Version: 7.1.68
Jul 19, 2024
8e847c5
Merge remote-tracking branch 'origin/develop'
Jul 19, 2024
9722465
Set Version: 7.1.69
Jul 19, 2024
ae4f104
Merge remote-tracking branch 'origin/develop'
Jul 19, 2024
4ddedd2
Set Version: 7.1.70
Jul 19, 2024
c4df9d9
Merge remote-tracking branch 'origin/develop'
Jul 22, 2024
b833b1f
Set Version: 7.1.71
Jul 22, 2024
907cb2c
Merge remote-tracking branch 'origin/develop'
Jul 22, 2024
de70d79
Set Version: 7.1.72
Jul 22, 2024
9918d54
Merge remote-tracking branch 'origin/develop'
Jul 22, 2024
367631c
Set Version: 7.1.73
Jul 22, 2024
330aa19
Merge remote-tracking branch 'origin/develop'
Jul 23, 2024
ad90080
Set Version: 7.1.74
Jul 23, 2024
72805d4
Merge remote-tracking branch 'origin/develop'
Jul 23, 2024
9456c53
Set Version: 7.1.75
Jul 23, 2024
12bf0cf
Merge remote-tracking branch 'origin/develop'
Jul 23, 2024
a62cd7b
Set Version: 7.1.76
Jul 23, 2024
5f29edc
Merge remote-tracking branch 'origin/develop'
Jul 23, 2024
6f57944
Set Version: 7.1.77
Jul 23, 2024
3af9fc1
Merge remote-tracking branch 'origin/develop'
Jul 23, 2024
f9c131b
Set Version: 7.1.78
Jul 23, 2024
bd0e897
Merge remote-tracking branch 'origin/develop'
Jul 24, 2024
b541491
Set Version: 7.1.79
Jul 24, 2024
13be0da
Merge remote-tracking branch 'origin/develop'
Jul 25, 2024
f73063d
Set Version: 7.1.80
Jul 25, 2024
815a335
Merge remote-tracking branch 'origin/develop'
Jul 26, 2024
790ec86
Set Version: 7.1.81
Jul 26, 2024
87f2244
Merge remote-tracking branch 'origin/develop'
Jul 26, 2024
2dcf1f9
Set Version: 7.1.82
Jul 26, 2024
8844bdb
Merge remote-tracking branch 'origin/develop'
Jul 26, 2024
698b784
Set Version: 7.1.83
Jul 26, 2024
e92af4a
Merge remote-tracking branch 'origin/develop'
Jul 26, 2024
5aab240
Set Version: 7.1.84
Jul 26, 2024
cb3170e
Merge remote-tracking branch 'origin/develop'
Jul 26, 2024
cf865bb
Set Version: 7.1.85
Jul 26, 2024
5e39457
Merge remote-tracking branch 'origin/develop'
Jul 29, 2024
0ffdf2f
Set Version: 7.1.86
Jul 29, 2024
f31eb7d
Merge remote-tracking branch 'origin/develop'
Jul 29, 2024
e6a0f4b
Set Version: 7.1.87
Jul 29, 2024
8d5f98d
Merge remote-tracking branch 'origin/develop'
Jul 29, 2024
04d55ad
Set Version: 7.1.88
Jul 29, 2024
f310ce5
Merge remote-tracking branch 'origin/develop'
Jul 30, 2024
7485b96
Set Version: 7.1.89
Jul 30, 2024
53025d9
Merge remote-tracking branch 'origin/develop'
Aug 1, 2024
b295dbe
Set Version: 7.1.90
Aug 1, 2024
7672e11
Merge remote-tracking branch 'origin/develop'
Aug 2, 2024
3653eb6
Set Version: 7.1.91
Aug 2, 2024
d6025fb
Merge remote-tracking branch 'origin/develop'
Aug 2, 2024
df7460b
Set Version: 7.1.92
Aug 2, 2024
2d5c97c
Merge remote-tracking branch 'origin/develop'
Aug 5, 2024
4ff0df9
Set Version: 7.1.93
Aug 5, 2024
48e83a7
Merge remote-tracking branch 'origin/develop'
Aug 6, 2024
31d3640
Set Version: 7.1.94
Aug 6, 2024
117fc61
Merge remote-tracking branch 'origin/develop'
Aug 6, 2024
15a2c29
Set Version: 7.1.95
Aug 6, 2024
4ce7daf
Merge remote-tracking branch 'origin/develop'
Aug 7, 2024
0b4e210
Set Version: 7.1.96
Aug 7, 2024
8ea5f0f
Merge remote-tracking branch 'origin/develop'
Aug 7, 2024
9270622
Set Version: 7.1.97
Aug 7, 2024
9a03f10
Merge remote-tracking branch 'origin/develop'
Aug 8, 2024
3fb9401
Set Version: 7.1.98
Aug 8, 2024
8a2463a
Merge remote-tracking branch 'origin/develop'
Aug 8, 2024
7dfd927
Set Version: 7.1.99
Aug 8, 2024
c35f0fc
Merge remote-tracking branch 'origin/develop'
Aug 8, 2024
e16b3fe
Set Version: 7.1.100
Aug 8, 2024
811bae7
Merge remote-tracking branch 'origin/develop'
Aug 8, 2024
7efd290
Set Version: 7.1.101
Aug 8, 2024
b3637e8
Merge remote-tracking branch 'origin/develop'
Aug 8, 2024
ce5eeb1
Set Version: 7.1.102
Aug 8, 2024
d5e9a61
Merge remote-tracking branch 'origin/develop'
Aug 9, 2024
0643095
Set Version: 7.1.103
Aug 9, 2024
26ec4ae
Merge remote-tracking branch 'origin/develop'
Aug 12, 2024
34892bf
Set Version: 7.1.104
Aug 12, 2024
f264ac5
Merge remote-tracking branch 'origin/develop'
Aug 14, 2024
13aad50
Set Version: 7.1.105
Aug 14, 2024
0a942ac
Merge remote-tracking branch 'origin/develop'
Aug 14, 2024
d12be07
Set Version: 7.1.106
Aug 14, 2024
4aa7c37
Merge remote-tracking branch 'origin/develop'
Aug 14, 2024
af86d14
Set Version: 7.1.107
Aug 14, 2024
3ad03a6
Merge remote-tracking branch 'origin/develop'
Aug 14, 2024
af833ca
Set Version: 7.1.108
Aug 14, 2024
3e806a8
Merge remote-tracking branch 'origin/develop'
Aug 14, 2024
04d1b8f
Set Version: 7.1.109
Aug 14, 2024
ea7dc08
Merge remote-tracking branch 'origin/develop'
Aug 15, 2024
0bfb62c
Set Version: 7.1.110
Aug 15, 2024
2ba9b09
Merge remote-tracking branch 'origin/develop'
Aug 16, 2024
3692aa7
Set Version: 7.1.111
Aug 16, 2024
1e23e2b
Merge remote-tracking branch 'origin/develop'
Aug 19, 2024
d8abc6b
Set Version: 7.1.112
Aug 19, 2024
aeb9f5c
Merge remote-tracking branch 'origin/develop'
Aug 20, 2024
f069300
Set Version: 7.1.113
Aug 20, 2024
1da729f
Merge remote-tracking branch 'origin/develop'
Aug 21, 2024
eb0b181
Set Version: 7.1.114
Aug 21, 2024
7b35fac
Merge remote-tracking branch 'origin/develop'
Aug 22, 2024
cf40e35
Set Version: 7.1.115
Aug 22, 2024
c90693b
Merge remote-tracking branch 'origin/develop'
Aug 22, 2024
a578d87
Set Version: 7.1.116
Aug 22, 2024
3e78288
Merge remote-tracking branch 'origin/develop'
Aug 22, 2024
17f06d2
Set Version: 7.1.117
Aug 22, 2024
33c140c
Merge remote-tracking branch 'origin/develop'
Aug 22, 2024
3a782b3
Set Version: 7.1.118
Aug 22, 2024
cf996cd
Merge remote-tracking branch 'origin/develop'
Aug 22, 2024
51edd34
Set Version: 7.1.119
Aug 22, 2024
4767461
Merge remote-tracking branch 'origin/develop'
Aug 23, 2024
72bee0a
Set Version: 7.1.120
Aug 23, 2024
f3e4af3
Merge remote-tracking branch 'origin/develop'
Aug 26, 2024
8942986
Set Version: 7.1.121
Aug 26, 2024
d5a9317
Merge remote-tracking branch 'origin/develop'
Aug 27, 2024
809d59e
Set Version: 7.1.122
Aug 27, 2024
8e8764f
Merge remote-tracking branch 'origin/develop'
Aug 28, 2024
85c8bcb
Set Version: 7.1.123
Aug 28, 2024
4974083
Merge remote-tracking branch 'origin/develop'
Aug 28, 2024
2f19e1a
Set Version: 7.1.124
Aug 28, 2024
7253c08
Merge remote-tracking branch 'origin/develop'
Aug 29, 2024
fd1ebee
Set Version: 7.1.125
Aug 29, 2024
5b4b767
Merge remote-tracking branch 'origin/develop'
tothtamas28 Sep 2, 2024
5b0fe61
Set Version: 7.1.126
tothtamas28 Sep 2, 2024
ef5909f
Merge remote-tracking branch 'origin/develop'
Sep 2, 2024
123c9f2
Set Version: 7.1.127
Sep 2, 2024
99e3aae
Merge remote-tracking branch 'origin/develop'
Sep 3, 2024
847da52
Set Version: 7.1.128
Sep 3, 2024
9965eb5
Merge remote-tracking branch 'origin/develop'
Sep 3, 2024
240d9ff
Set Version: 7.1.129
Sep 3, 2024
8a67157
Merge remote-tracking branch 'origin/develop'
Sep 3, 2024
f6e6ea0
Set Version: 7.1.130
Sep 3, 2024
f3b1762
Merge remote-tracking branch 'origin/develop'
Sep 3, 2024
42e0354
Set Version: 7.1.131
Sep 3, 2024
fc839b3
Merge remote-tracking branch 'origin/develop'
Sep 6, 2024
e08b089
Set Version: 7.1.132
Sep 6, 2024
af26dec
Merge remote-tracking branch 'origin/develop'
Sep 6, 2024
cb4002a
Set Version: 7.1.133
Sep 6, 2024
3d6cbbe
Merge remote-tracking branch 'origin/develop'
Sep 6, 2024
304eba9
Set Version: 7.1.134
Sep 6, 2024
a0ff27f
Merge remote-tracking branch 'origin/develop'
Sep 6, 2024
5a91549
Set Version: 7.1.135
Sep 6, 2024
20463e8
Merge remote-tracking branch 'origin/develop'
Sep 6, 2024
62e06f4
Set Version: 7.1.136
Sep 6, 2024
073cf46
Merge remote-tracking branch 'origin/develop'
Sep 9, 2024
8031078
Set Version: 7.1.137
Sep 9, 2024
3a28ac6
Merge remote-tracking branch 'origin/develop'
Sep 9, 2024
464852c
Set Version: 7.1.138
Sep 9, 2024
bda8cd0
Merge remote-tracking branch 'origin/develop'
Sep 9, 2024
ddc2236
Set Version: 7.1.139
Sep 9, 2024
9fdf842
Merge remote-tracking branch 'origin/develop'
Sep 11, 2024
8914fd6
Set Version: 7.1.140
Sep 11, 2024
26a6c93
Merge remote-tracking branch 'origin/develop'
Sep 11, 2024
032607d
Set Version: 7.1.141
Sep 11, 2024
02959ba
Merge remote-tracking branch 'origin/develop'
Sep 12, 2024
6e23a83
Set Version: 7.1.142
Sep 12, 2024
732aa25
Merge remote-tracking branch 'origin/develop'
Sep 17, 2024
833c71e
Set Version: 7.1.143
Sep 17, 2024
ea2711b
Merge remote-tracking branch 'origin/develop'
Sep 17, 2024
2097776
Set Version: 7.1.144
Sep 17, 2024
6ce5ad0
Merge remote-tracking branch 'origin/develop'
Sep 18, 2024
c418935
Set Version: 7.1.145
Sep 18, 2024
3baabcd
Merge remote-tracking branch 'origin/develop'
Sep 19, 2024
93fcbf7
Set Version: 7.1.146
Sep 19, 2024
d3ebfcb
Merge remote-tracking branch 'origin/develop'
Sep 20, 2024
c278066
Set Version: 7.1.147
Sep 20, 2024
b6a32fa
Merge remote-tracking branch 'origin/develop'
Sep 20, 2024
a44767b
Set Version: 7.1.148
Sep 20, 2024
cf0c431
Merge remote-tracking branch 'origin/develop'
Sep 22, 2024
7e06a35
Set Version: 7.1.149
Sep 22, 2024
4ffad4f
Merge remote-tracking branch 'origin/develop'
Sep 25, 2024
4d030ce
Set Version: 7.1.150
Sep 25, 2024
ea1d07c
Merge remote-tracking branch 'origin/develop'
Sep 25, 2024
d0d2553
Set Version: 7.1.151
Sep 25, 2024
84465d0
Merge remote-tracking branch 'origin/develop'
Oct 1, 2024
f1e1443
Set Version: 7.1.152
Oct 1, 2024
0c14532
Merge remote-tracking branch 'origin/develop'
Oct 3, 2024
c50060b
Set Version: 7.1.153
Oct 3, 2024
8df24f5
Merge remote-tracking branch 'origin/develop'
Oct 7, 2024
761514a
Set Version: 7.1.154
Oct 7, 2024
1dab690
Merge remote-tracking branch 'origin/develop'
Oct 7, 2024
4f11b18
Set Version: 7.1.155
Oct 7, 2024
49519a7
Merge remote-tracking branch 'origin/develop'
Oct 9, 2024
76c534f
Set Version: 7.1.156
Oct 9, 2024
679b1f7
Merge remote-tracking branch 'origin/develop'
Oct 10, 2024
6b8eb1c
Set Version: 7.1.157
Oct 10, 2024
512f8ac
Merge remote-tracking branch 'origin/develop'
Oct 11, 2024
bd34ca1
Set Version: 7.1.158
Oct 11, 2024
84e6c42
Merge remote-tracking branch 'origin/develop'
Oct 16, 2024
e45430b
Set Version: 7.1.159
Oct 16, 2024
c39a7c2
Merge remote-tracking branch 'origin/develop'
Oct 16, 2024
664df4c
Set Version: 7.1.160
Oct 16, 2024
2b3f7c8
Merge remote-tracking branch 'origin/develop'
Oct 17, 2024
e98a579
Set Version: 7.1.161
Oct 17, 2024
6e561f5
Merge remote-tracking branch 'origin/develop'
Oct 17, 2024
188ba57
Set Version: 7.1.162
Oct 17, 2024
6c4ccdf
Merge remote-tracking branch 'origin/develop'
Oct 18, 2024
bf646f9
Set Version: 7.1.163
Oct 18, 2024
eb82249
Merge remote-tracking branch 'origin/develop'
Oct 18, 2024
459fdd7
Set Version: 7.1.164
Oct 18, 2024
cb942c0
Merge remote-tracking branch 'origin/develop'
Oct 23, 2024
516dbf2
Set Version: 7.1.165
Oct 23, 2024
c99373d
Merge remote-tracking branch 'origin/develop'
Oct 23, 2024
5d1ccd5
Set Version: 7.1.166
Oct 23, 2024
a0d1d9b
Merge remote-tracking branch 'origin/develop'
Oct 29, 2024
dd93b05
Set Version: 7.1.167
Oct 29, 2024
83354eb
Merge remote-tracking branch 'origin/develop'
Oct 29, 2024
c20d13e
Set Version: 7.1.168
Oct 29, 2024
137a89d
Merge remote-tracking branch 'origin/develop'
Oct 31, 2024
ac5555f
Set Version: 7.1.169
Oct 31, 2024
428113c
Merge remote-tracking branch 'origin/develop'
Nov 1, 2024
5c84d48
Set Version: 7.1.170
Nov 1, 2024
03b254c
Merge remote-tracking branch 'origin/develop'
Nov 17, 2024
718c9a9
Set Version: 7.1.171
Nov 17, 2024
4c145ee
Merge remote-tracking branch 'origin/develop'
Nov 20, 2024
853eaa1
Set Version: 7.1.172
Nov 20, 2024
d09f35f
Merge remote-tracking branch 'origin/develop'
Nov 21, 2024
5ae1457
Set Version: 7.1.173
Nov 21, 2024
5466711
Merge remote-tracking branch 'origin/develop'
Nov 21, 2024
fc37d4b
Set Version: 7.1.174
Nov 21, 2024
a73dff9
Merge remote-tracking branch 'origin/develop'
Nov 23, 2024
8948dc7
Set Version: 7.1.175
Nov 23, 2024
3b08f3d
Merge remote-tracking branch 'origin/develop'
Nov 25, 2024
32bb65d
Set Version: 7.1.176
Nov 25, 2024
8339787
modified: .github/workflows/master-pr.yml
F-WRunTime Nov 25, 2024
196d7b2
Merge branch 'master' into hotfix/fork-PRs
F-WRunTime Nov 25, 2024
8adb1d1
modified: .github/workflows/master-pr.yml
F-WRunTime Nov 25, 2024
94a01fa
modified: .github/workflows/master-push.yml
F-WRunTime Nov 25, 2024
9ec7ebe
Reverting change, wrong file. Fixing env to pass context token to api…
F-WRunTime Nov 25, 2024
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Set Version: 7.1.99
  • Loading branch information
devops committed Aug 8, 2024
commit 7dfd927dc1a7a590576303f8527ed2a68f4b3691
2 changes: 1 addition & 1 deletion install-k
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
#!/bin/sh -e

K_VERSION=7.1.98
K_VERSION=7.1.99

if [ `id -u` -ne 0 ]; then
echo "$0: error: This script must be run as root."
2 changes: 1 addition & 1 deletion package/debian/kframework/changelog
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
kframework (7.1.98) unstable; urgency=medium
kframework (7.1.99) unstable; urgency=medium

* Initial Release.

2 changes: 1 addition & 1 deletion package/version
Original file line number Diff line number Diff line change
@@ -1 +1 @@
7.1.98
7.1.99
4 changes: 2 additions & 2 deletions pyk/docs/conf.py
Original file line number Diff line number Diff line change
@@ -9,8 +9,8 @@
project = 'pyk'
author = 'Runtime Verification, Inc'
copyright = '2024, Runtime Verification, Inc'
version = '7.1.98'
release = '7.1.98'
version = '7.1.99'
release = '7.1.99'

# -- General configuration ---------------------------------------------------
# https://www.sphinx-doc.org/en/master/usage/configuration.html#general-configuration
2 changes: 1 addition & 1 deletion pyk/pyproject.toml
Original file line number Diff line number Diff line change
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"

[tool.poetry]
name = "kframework"
version = "7.1.98"
version = "7.1.99"
description = ""
authors = [
"Runtime Verification, Inc. <contact@runtimeverification.com>",
2 changes: 1 addition & 1 deletion pyk/src/pyk/__init__.py
Original file line number Diff line number Diff line change
@@ -6,4 +6,4 @@
from typing import Final


__version__: Final = '7.1.98'
__version__: Final = '7.1.99'
Loading