Skip to content

Actions: runtimeverification/k

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,162 workflow runs
2,162 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

K Framework Release v7.1.314 Release #1688: Release v7.1.314 prereleased by rv-jenkins
44m 57s
44m 57s
Set Version: 7.1.314 Master Push #1265: Commit c9205d6 pushed by rv-jenkins
11s master
master
11s
Prepend to GHCRTS in KoreServer instead of overwrite (#4903) Bump version and make master job #1278: Commit 7d503d9 pushed by automergerpr-permission-manager bot
21s develop
develop
21s
Prepend to GHCRTS in KoreServer instead of overwrite Lint GitHub Actions workflows #1618: Pull request #4903 opened by tothtamas28
12s ghcrts-fix
ghcrts-fix
12s
Prepend to GHCRTS in KoreServer instead of overwrite Test PR #7812: Pull request #4903 opened by tothtamas28
35m 5s ghcrts-fix
ghcrts-fix
35m 5s
Update dependency: deps/haskell-backend_release Test PR #7811: Pull request #4902 synchronize by rv-jenkins
49m 47s _update-deps/runtimeverification/haskell-backend
_update-deps/runtimeverification/haskell-backend
49m 47s
Update dependency: deps/haskell-backend_release Lint GitHub Actions workflows #1617: Pull request #4902 synchronize by rv-jenkins
10s _update-deps/runtimeverification/haskell-backend
_update-deps/runtimeverification/haskell-backend
10s
flake.lock: update Update Nix Flake Inputs #2336: Commit 55ceb67 pushed by rv-jenkins
2m 56s _update-deps/runtimeverification/haskell-backend
_update-deps/runtimeverification/haskell-backend
2m 56s
Update dependency: deps/haskell-backend_release Lint GitHub Actions workflows #1616: Pull request #4902 opened by rv-jenkins
12s _update-deps/runtimeverification/haskell-backend
_update-deps/runtimeverification/haskell-backend
12s
Update dependency: deps/haskell-backend_release Test PR #7810: Pull request #4902 opened by rv-jenkins
3m 15s _update-deps/runtimeverification/haskell-backend
_update-deps/runtimeverification/haskell-backend
3m 15s
deps/haskell-backend_release: Set Version v0.1.146 Update Nix Flake Inputs #2335: Commit 9bb74fc pushed by rv-jenkins
2m 57s _update-deps/runtimeverification/haskell-backend
_update-deps/runtimeverification/haskell-backend
2m 57s
pages build and deployment pages-build-deployment #913: by rv-jenkins
28s gh-pages
gh-pages
28s
K Framework Release v7.1.313 Release #1687: Release v7.1.313 prereleased by rv-jenkins
1m 9s
1m 9s
Set Version: 7.1.313 Master Push #1264: Commit fafe05e pushed by rv-jenkins
11s master
master
11s
Update dependency: deps/haskell-backend_release (#4899) Bump version and make master job #1277: Commit 5c40270 pushed by automergerpr-permission-manager bot
18s develop
develop
18s
Update dependency: deps/haskell-backend_release Lint GitHub Actions workflows #1615: Pull request #4899 synchronize by tothtamas28
12s _update-deps/runtimeverification/haskell-backend
_update-deps/runtimeverification/haskell-backend
12s
Update dependency: deps/haskell-backend_release Test PR #7809: Pull request #4899 synchronize by tothtamas28
46m 54s _update-deps/runtimeverification/haskell-backend
_update-deps/runtimeverification/haskell-backend
46m 54s
Merge branch 'develop' into _update-deps/runtimeverification/haskell-… Update Nix Flake Inputs #2334: Commit 27a3633 pushed by tothtamas28
3m 17s _update-deps/runtimeverification/haskell-backend
_update-deps/runtimeverification/haskell-backend
3m 17s
pages build and deployment pages-build-deployment #912: by rv-jenkins
24s gh-pages
gh-pages
24s
K Framework Release v7.1.312 Release #1686: Release v7.1.312 prereleased by rv-jenkins
52m 27s
52m 27s
Set Version: 7.1.312 Master Push #1263: Commit 26d6ef2 pushed by rv-jenkins
13s master
master
13s
Fix lakefile.toml template (#4901) Bump version and make master job #1276: Commit d9a206d pushed by automergerpr-permission-manager bot
20s develop
develop
20s
Fix lakefile.toml template Lint GitHub Actions workflows #1614: Pull request #4901 opened by tothtamas28
11s lakefile-fix
lakefile-fix
11s
Fix lakefile.toml template Test PR #7808: Pull request #4901 opened by tothtamas28
22m 57s lakefile-fix
lakefile-fix
22m 57s
Please ignore, testing only Test PR #7807: Pull request #4900 synchronize by jberthold
1h 6m 55s testing-only
testing-only
1h 6m 55s