Skip to content

Actions: runtimeverification/k

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6,707 workflow run results
6,707 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Test macos build Test PR #6369: Pull request #4537 synchronize by Baltoli
July 20, 2024 13:55 1h 9m 3s macos-ci
macos-ci
July 20, 2024 13:55 1h 9m 3s
Test macos build Test PR #6368: Pull request #4537 synchronize by Baltoli
July 20, 2024 13:54 1m 36s macos-ci
macos-ci
July 20, 2024 13:54 1m 36s
Test macos build Lint GitHub Actions workflows #279: Pull request #4537 synchronize by Baltoli
July 20, 2024 13:54 13s macos-ci
macos-ci
July 20, 2024 13:54 13s
Test macos build Test PR #6367: Pull request #4537 synchronize by Baltoli
July 20, 2024 13:28 25m 9s macos-ci
macos-ci
July 20, 2024 13:28 25m 9s
Test macos build Lint GitHub Actions workflows #278: Pull request #4537 synchronize by Baltoli
July 20, 2024 13:28 15s macos-ci
macos-ci
July 20, 2024 13:28 15s
Test macos build Lint GitHub Actions workflows #277: Pull request #4537 opened by Baltoli
July 20, 2024 13:27 15s macos-ci
macos-ci
July 20, 2024 13:27 15s
Test macos build Test PR #6366: Commit 3aec8ce pushed by Baltoli
July 20, 2024 13:27 Failure macos-ci
macos-ci
July 20, 2024 13:27 Failure
install-build-deps script Test PR #6365: Pull request #4505 synchronize by Baltoli
July 20, 2024 13:20 27m 37s 0cjs:dev/cjs/24g05/install-build-deps-script
0cjs:dev/cjs/24g05/install-build-deps-script
July 20, 2024 13:20 27m 37s
install-build-deps script Lint GitHub Actions workflows #276: Pull request #4505 synchronize by Baltoli
July 20, 2024 13:20 15s 0cjs:dev/cjs/24g05/install-build-deps-script
0cjs:dev/cjs/24g05/install-build-deps-script
July 20, 2024 13:20 15s
install-build-deps script Test PR #6364: Pull request #4505 edited by Baltoli
July 20, 2024 13:20 20s 0cjs:dev/cjs/24g05/install-build-deps-script
0cjs:dev/cjs/24g05/install-build-deps-script
July 20, 2024 13:20 20s
pages build and deployment pages-build-deployment #720: by rv-jenkins
July 19, 2024 19:47 29s gh-pages
gh-pages
July 19, 2024 19:47 29s
K Framework Release v7.1.70 Release #1414: Release v7.1.70 prereleased by rv-jenkins
July 19, 2024 19:03 43m 22s
July 19, 2024 19:03 43m 22s
Set Version: 7.1.70 Master Push #1021: Commit 4ddedd2 pushed by rv-jenkins
July 19, 2024 19:03 14s master
master
July 19, 2024 19:03 14s
Update dependency: deps/llvm-backend_release (#4534) Bump version and make master job #1034: Commit 343c564 pushed by rv-jenkins
July 19, 2024 19:03 1m 4s develop
develop
July 19, 2024 19:03 1m 4s
Update dependency: deps/llvm-backend_release Lint GitHub Actions workflows #275: Pull request #4534 synchronize by rv-jenkins
July 19, 2024 18:21 18s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
July 19, 2024 18:21 18s
Update dependency: deps/llvm-backend_release Test PR #6363: Pull request #4534 synchronize by rv-jenkins
July 19, 2024 18:21 36m 42s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
July 19, 2024 18:21 36m 42s
flake.lock: update Update Nix Flake Inputs #1887: Commit 0f42b97 pushed by rv-jenkins
July 19, 2024 18:21 1m 11s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
July 19, 2024 18:21 1m 11s
Update dependency: deps/llvm-backend_release Lint GitHub Actions workflows #274: Pull request #4534 synchronize by Baltoli
July 19, 2024 18:20 14s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
July 19, 2024 18:20 14s
Update dependency: deps/llvm-backend_release Test PR #6362: Pull request #4534 synchronize by Baltoli
July 19, 2024 18:20 1m 37s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
July 19, 2024 18:20 1m 37s
Fix flake update Update Nix Flake Inputs #1886: Commit 4622879 pushed by Baltoli
July 19, 2024 18:20 1m 22s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
July 19, 2024 18:20 1m 22s
Update dependency: deps/llvm-backend_release Lint GitHub Actions workflows #273: Pull request #4534 synchronize by Baltoli
July 19, 2024 18:16 15s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
July 19, 2024 18:16 15s
Update dependency: deps/llvm-backend_release Test PR #6361: Pull request #4534 synchronize by Baltoli
July 19, 2024 18:16 4m 4s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
July 19, 2024 18:16 4m 4s
Fix flake update Update Nix Flake Inputs #1885: Commit a4e6843 pushed by Baltoli
July 19, 2024 18:16 1m 18s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
July 19, 2024 18:16 1m 18s
Adding --proof-hint flag to PyK KRun Lint GitHub Actions workflows #272: Pull request #4532 synchronize by Robertorosmaninho
July 19, 2024 18:15 16s pi2/proof-hint-flag-to-pyk-krun
pi2/proof-hint-flag-to-pyk-krun
July 19, 2024 18:15 16s
Adding --proof-hint flag to PyK KRun Test PR #6360: Pull request #4532 synchronize by Robertorosmaninho
July 19, 2024 18:15 28m 15s pi2/proof-hint-flag-to-pyk-krun
pi2/proof-hint-flag-to-pyk-krun
July 19, 2024 18:15 28m 15s