Skip to content

Actions: runtimeverification/k

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8,438 workflow runs
8,438 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Set Version: 7.1.210 Master Push #1161: Commit 54b7a9c pushed by rv-jenkins
February 3, 2025 13:42 18s master
master
February 3, 2025 13:42 18s
Add klean command (#4749) Bump version and make master job #1174: Commit 4f12b28 pushed by automergerpr-permission-manager bot
February 3, 2025 13:42 23s develop
develop
February 3, 2025 13:42 23s
Add klean command Lint GitHub Actions workflows #1099: Pull request #4749 synchronize by tothtamas28
February 3, 2025 13:00 18s klean-cli
klean-cli
February 3, 2025 13:00 18s
Add klean command Test PR #7251: Pull request #4749 synchronize by tothtamas28
February 3, 2025 13:00 28m 52s klean-cli
klean-cli
February 3, 2025 13:00 28m 52s
Add klean command Lint GitHub Actions workflows #1098: Pull request #4749 synchronize by tothtamas28
February 3, 2025 08:45 16s klean-cli
klean-cli
February 3, 2025 08:45 16s
Add klean command Test PR #7250: Pull request #4749 synchronize by tothtamas28
February 3, 2025 08:45 39m 13s klean-cli
klean-cli
February 3, 2025 08:45 39m 13s
Adding --save-temps and --statistics to krun Test PR #7249: Pull request #4750 edited by rv-jenkins
January 31, 2025 19:19 3m 21s add-flags-to-krun
add-flags-to-krun
January 31, 2025 19:19 3m 21s
Adding --save-temps and --statistics to krun Test PR #494: Pull request #4750 opened by Robertorosmaninho
January 31, 2025 19:19 21s add-flags-to-krun
add-flags-to-krun
January 31, 2025 19:19 21s
Adding --save-temps and --statistics to krun Lint GitHub Actions workflows #1097: Pull request #4750 opened by Robertorosmaninho
January 31, 2025 19:19 16s add-flags-to-krun
add-flags-to-krun
January 31, 2025 19:19 16s
Add klean command Test PR #7248: Pull request #4749 synchronize by tothtamas28
January 31, 2025 16:04 3m 20s klean-cli
klean-cli
January 31, 2025 16:04 3m 20s
Add klean command Lint GitHub Actions workflows #1096: Pull request #4749 synchronize by tothtamas28
January 31, 2025 16:04 17s klean-cli
klean-cli
January 31, 2025 16:04 17s
K Framework Release v7.1.209 Release #1569: Release v7.1.209 prereleased by rv-jenkins
January 31, 2025 16:03 36m 9s
January 31, 2025 16:03 36m 9s
Set Version: 7.1.209 Master Push #1160: Commit fea3558 pushed by rv-jenkins
January 31, 2025 16:03 15s master
master
January 31, 2025 16:03 15s
Generate lake project (#4748) Bump version and make master job #1173: Commit 1f2715a pushed by automergerpr-permission-manager bot
January 31, 2025 16:02 25s develop
develop
January 31, 2025 16:02 25s
Add klean command Lint GitHub Actions workflows #1095: Pull request #4749 opened by tothtamas28
January 31, 2025 13:46 17s klean-cli
klean-cli
January 31, 2025 13:46 17s
Generate lake project Test PR #7247: Pull request #4748 synchronize by tothtamas28
January 30, 2025 16:00 4m 37s klean-generate
klean-generate
January 30, 2025 16:00 4m 37s
Generate lake project Lint GitHub Actions workflows #1094: Pull request #4748 synchronize by tothtamas28
January 30, 2025 16:00 14s klean-generate
klean-generate
January 30, 2025 16:00 14s
Generate lake project Test PR #7246: Pull request #4748 synchronize by tothtamas28
January 30, 2025 15:24 25m 31s klean-generate
klean-generate
January 30, 2025 15:24 25m 31s
Generate lake project Lint GitHub Actions workflows #1093: Pull request #4748 synchronize by tothtamas28
January 30, 2025 15:24 15s klean-generate
klean-generate
January 30, 2025 15:24 15s
Generate lake project Test PR #7245: Pull request #4748 synchronize by tothtamas28
January 29, 2025 20:15 3m 31s klean-generate
klean-generate
January 29, 2025 20:15 3m 31s
Generate lake project Lint GitHub Actions workflows #1092: Pull request #4748 synchronize by tothtamas28
January 29, 2025 20:15 17s klean-generate
klean-generate
January 29, 2025 20:15 17s
Generate lake project Lint GitHub Actions workflows #1091: Pull request #4748 opened by tothtamas28
January 29, 2025 19:43 14s klean-generate
klean-generate
January 29, 2025 19:43 14s
Generate lake project Test PR #7244: Pull request #4748 opened by tothtamas28
January 29, 2025 19:43 32m 37s klean-generate
klean-generate
January 29, 2025 19:43 32m 37s
Update dependency: deps/haskell-backend_release Lint GitHub Actions workflows #1090: Pull request #4719 synchronize by rv-jenkins
January 28, 2025 09:21 15s _update-deps/runtimeverification/haskell-backend
_update-deps/runtimeverification/haskell-backend
January 28, 2025 09:21 15s
Update dependency: deps/haskell-backend_release Test PR #7243: Pull request #4719 synchronize by rv-jenkins
January 28, 2025 09:21 41m 57s _update-deps/runtimeverification/haskell-backend
_update-deps/runtimeverification/haskell-backend
January 28, 2025 09:21 41m 57s