Skip to content

Actions: runtimeverification/k

Actions

Release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
597 workflow runs
597 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

K Framework Release 4420/merge Release #1322: Pull request #4420 synchronize by tothtamas28
June 6, 2024 11:43 25m 1s fix-pyk-docs
fix-pyk-docs
June 6, 2024 11:43 25m 1s
K Framework Release v7.0.117 Release #1321: Release v7.0.117 prereleased by rv-jenkins
June 6, 2024 11:43 51m 0s
June 6, 2024 11:43 51m 0s
K Framework Release 4420/merge Release #1320: Pull request #4420 synchronize by tothtamas28
June 6, 2024 09:50 20m 26s fix-pyk-docs
fix-pyk-docs
June 6, 2024 09:50 20m 26s
K Framework Release 4420/merge Release #1319: Pull request #4420 synchronize by tothtamas28
June 6, 2024 09:33 16m 4s fix-pyk-docs
fix-pyk-docs
June 6, 2024 09:33 16m 4s
K Framework Release 4420/merge Release #1318: Pull request #4420 synchronize by tothtamas28
June 6, 2024 09:31 1s fix-pyk-docs
fix-pyk-docs
June 6, 2024 09:31 1s
Test release workflow Release #1317: Commit 067334b pushed by tothtamas28
June 6, 2024 09:26 Failure fix-pyk-docs
fix-pyk-docs
June 6, 2024 09:26 Failure
K Framework Release v7.0.116 Release #1316: Release v7.0.116 prereleased by rv-jenkins
June 5, 2024 21:24 1h 16m 11s
June 5, 2024 21:24 1h 16m 11s
K Framework Release v7.0.115 Release #1315: Release v7.0.115 prereleased by rv-jenkins
June 5, 2024 17:42 1h 16m 26s
June 5, 2024 17:42 1h 16m 26s
K Framework Release v7.0.114 Release #1314: Release v7.0.114 prereleased by rv-jenkins
June 5, 2024 16:02 50m 2s
June 5, 2024 16:02 50m 2s
K Framework Release v7.0.113 Release #1313: Release v7.0.113 prereleased by rv-jenkins
June 5, 2024 14:26 57m 3s
June 5, 2024 14:26 57m 3s
K Framework Release v7.0.112 Release #1312: Release v7.0.112 prereleased by rv-jenkins
June 5, 2024 09:44 50m 31s
June 5, 2024 09:44 50m 31s
K Framework Release v7.0.111 Release #1311: Release v7.0.111 prereleased by rv-jenkins
June 4, 2024 21:42 52m 48s
June 4, 2024 21:42 52m 48s
K Framework Release feature/pypi-publishing Release #1310: Commit 1061512 pushed by F-WRunTime
June 4, 2024 20:29 1m 11s feature/pypi-publishing
feature/pypi-publishing
June 4, 2024 20:29 1m 11s
K Framework Release feature/pypi-publishing Release #1309: Commit 182ea66 pushed by F-WRunTime
June 4, 2024 20:26 56s feature/pypi-publishing
feature/pypi-publishing
June 4, 2024 20:26 56s
K Framework Release feature/pypi-publishing Release #1308: Commit 403c187 pushed by F-WRunTime
June 4, 2024 20:24 1m 21s feature/pypi-publishing
feature/pypi-publishing
June 4, 2024 20:24 1m 21s
K Framework Release feature/pyk-pypi-publishing Release #1307: Commit 919e777 pushed by F-WRunTime
June 4, 2024 19:47 1m 8s feature/pyk-pypi-publishing
feature/pyk-pypi-publishing
June 4, 2024 19:47 1m 8s
K Framework Release feature/pyk-pypi-publishing Release #1306: Commit 0b90075 pushed by F-WRunTime
June 4, 2024 19:43 57s feature/pyk-pypi-publishing
feature/pyk-pypi-publishing
June 4, 2024 19:43 57s
K Framework Release feature/pyk-pypi-publishing Release #1305: Commit 8737150 pushed by F-WRunTime
June 4, 2024 17:51 47s feature/pyk-pypi-publishing
feature/pyk-pypi-publishing
June 4, 2024 17:51 47s
K Framework Release feature/pyk-pypi-publishing Release #1304: Commit d1ad77f pushed by F-WRunTime
June 4, 2024 17:20 1m 4s feature/pyk-pypi-publishing
feature/pyk-pypi-publishing
June 4, 2024 17:20 1m 4s
K Framework Release feature/pyk-pypi-publishing Release #1303: Commit c79ceea pushed by F-WRunTime
June 4, 2024 16:00 3m 26s feature/pyk-pypi-publishing
feature/pyk-pypi-publishing
June 4, 2024 16:00 3m 26s
K Framework Release feature/pyk-pypi-publishing Release #1302: Commit 5feb025 pushed by F-WRunTime
June 4, 2024 15:39 1m 5s feature/pyk-pypi-publishing
feature/pyk-pypi-publishing
June 4, 2024 15:39 1m 5s
K Framework Release feature/pyk-pypi-publishing Release #1301: Commit 52e194d pushed by F-WRunTime
June 4, 2024 15:33 1m 10s feature/pyk-pypi-publishing
feature/pyk-pypi-publishing
June 4, 2024 15:33 1m 10s
K Framework Release feature/pyk-pypi-publishing Release #1300: Commit d727308 pushed by F-WRunTime
June 4, 2024 15:17 1m 8s feature/pyk-pypi-publishing
feature/pyk-pypi-publishing
June 4, 2024 15:17 1m 8s
K Framework Release feature/pyk-pypi-publishing Release #1299: Commit 133d050 pushed by F-WRunTime
June 4, 2024 15:15 1m 2s feature/pyk-pypi-publishing
feature/pyk-pypi-publishing
June 4, 2024 15:15 1m 2s
K Framework Release feature/pyk-pypi-publishing Release #1298: Commit e0f2e32 pushed by F-WRunTime
June 4, 2024 15:12 1m 17s feature/pyk-pypi-publishing
feature/pyk-pypi-publishing
June 4, 2024 15:12 1m 17s
ProTip! You can narrow down the results and go further in time using created:<2024-06-04 or the other filters available.