Skip to content

Actions: runtimeverification/k

Actions

Release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
764 workflow runs
764 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

K Framework Release Release #812: Release v6.0.64 prereleased by rv-jenkins
August 18, 2023 15:19 1h 51m 30s
August 18, 2023 15:19 1h 51m 30s
K Framework Release v6.0.63 Release #811: Release v6.0.63 prereleased by rv-jenkins
August 17, 2023 16:12 3h 28m 3s
August 17, 2023 16:12 3h 28m 3s
K Framework Release v6.0.62 Release #810: Release v6.0.62 prereleased by rv-jenkins
August 17, 2023 12:44 3h 45m 7s
August 17, 2023 12:44 3h 45m 7s
K Framework Release v6.0.61 Release #809: Release v6.0.61 prereleased by rv-jenkins
August 17, 2023 11:33 1h 54m 41s
August 17, 2023 11:33 1h 54m 41s
K Framework Release v6.0.60 Release #808: Release v6.0.60 prereleased by rv-jenkins
August 16, 2023 20:55 2h 0m 34s
August 16, 2023 20:55 2h 0m 34s
K Framework Release v6.0.59 Release #807: Release v6.0.59 prereleased by rv-jenkins
August 16, 2023 17:33 2h 15m 1s
August 16, 2023 17:33 2h 15m 1s
K Framework Release v6.0.58 Release #806: Release v6.0.58 prereleased by rv-jenkins
August 15, 2023 18:57 1h 45m 7s
August 15, 2023 18:57 1h 45m 7s
K Framework Release v6.0.57 Release #805: Release v6.0.57 prereleased by rv-jenkins
August 14, 2023 18:03 17m 50s
August 14, 2023 18:03 17m 50s
K Framework Release v6.0.56 Release #804: Release v6.0.56 prereleased by rv-jenkins
August 14, 2023 16:23 1h 46m 37s
August 14, 2023 16:23 1h 46m 37s
K Framework Release v6.0.55 Release #803: Release v6.0.55 prereleased by rv-jenkins
August 14, 2023 13:25 1h 44m 7s
August 14, 2023 13:25 1h 44m 7s
K Framework Release v6.0.54 Release #802: Release v6.0.54 prereleased by rv-jenkins
August 11, 2023 22:12 1h 32m 48s
August 11, 2023 22:12 1h 32m 48s
K Framework Release v6.0.53 Release #801: Release v6.0.53 prereleased by rv-jenkins
August 11, 2023 20:11 1h 31m 21s
August 11, 2023 20:11 1h 31m 21s
K Framework Release v6.0.52 Release #800: Release v6.0.52 prereleased by rv-jenkins
August 10, 2023 22:38 1h 27m 40s
August 10, 2023 22:38 1h 27m 40s
K Framework Release v6.0.51 Release #799: Release v6.0.51 prereleased by rv-jenkins
August 10, 2023 21:41 1h 33m 47s
August 10, 2023 21:41 1h 33m 47s
K Framework Release hotfix/maven-release-push Release #798: Commit 7219084 pushed by F-WRunTime
August 10, 2023 20:04 20m 44s hotfix/maven-release-push
hotfix/maven-release-push
August 10, 2023 20:04 20m 44s
K Framework Release hotfix/maven-release-push Release #797: Commit 2c4bd7a pushed by F-WRunTime
August 10, 2023 18:43 46m 16s hotfix/maven-release-push
hotfix/maven-release-push
August 10, 2023 18:43 46m 16s
K Framework Release v6.0.50 Release #796: Release v6.0.50 prereleased by rv-jenkins
August 10, 2023 13:20 54m 9s
August 10, 2023 13:20 54m 9s
K Framework Release v6.0.49 Release #795: Release v6.0.49 prereleased by rv-jenkins
August 9, 2023 18:39 1h 30m 47s
August 9, 2023 18:39 1h 30m 47s
K Framework Release v6.0.48 Release #794: Release v6.0.48 prereleased by rv-jenkins
August 9, 2023 09:16 1h 19m 8s
August 9, 2023 09:16 1h 19m 8s
K Framework Release v6.0.47 Release #793: Release v6.0.47 prereleased by rv-jenkins
August 8, 2023 17:17 26m 10s
August 8, 2023 17:17 26m 10s
K Framework Release v6.0.46 Release #792: Release v6.0.46 prereleased by rv-jenkins
August 7, 2023 15:35 1h 45m 26s
August 7, 2023 15:35 1h 45m 26s
K Framework Release v6.0.44 Release #791: Release v6.0.44 prereleased by rv-jenkins
August 3, 2023 23:35 2h 34m 25s
August 3, 2023 23:35 2h 34m 25s
K Framework Release v6.0.43 Release #790: Release v6.0.43 prereleased by rv-jenkins
August 3, 2023 16:54 1h 35m 35s
August 3, 2023 16:54 1h 35m 35s
K Framework Release v6.0.42 Release #789: Release v6.0.42 prereleased by rv-jenkins
August 2, 2023 21:36 1h 8m 59s
August 2, 2023 21:36 1h 8m 59s
K Framework Release Release #788: Release v6.0.41 prereleased by rv-jenkins
August 2, 2023 18:38 1h 34m 45s
August 2, 2023 18:38 1h 34m 45s
ProTip! You can narrow down the results and go further in time using created:<2023-08-02 or the other filters available.