Skip to content

Actions: runtimeverification/k

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix build_rule Lint GitHub Actions workflows #1078: Pull request #4744 synchronize by Stevengre
January 23, 2025 08:10 15s fix-build-rule
fix-build-rule
January 23, 2025 08:10 15s
Update dependency: deps/llvm-backend_release Test PR #7229: Pull request #4737 synchronize by rv-jenkins
January 22, 2025 17:14 37m 9s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
January 22, 2025 17:14 37m 9s
Update dependency: deps/llvm-backend_release Lint GitHub Actions workflows #1077: Pull request #4737 synchronize by rv-jenkins
January 22, 2025 17:14 14s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
January 22, 2025 17:14 14s
flake.lock: update Update Nix Flake Inputs #2187: Commit 232f6b9 pushed by rv-jenkins
January 22, 2025 17:14 1m 15s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
January 22, 2025 17:14 1m 15s
Update dependency: deps/llvm-backend_release Test PR #7228: Pull request #4737 synchronize by rv-jenkins
January 22, 2025 17:13 1m 42s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
January 22, 2025 17:13 1m 42s
Update dependency: deps/llvm-backend_release Lint GitHub Actions workflows #1076: Pull request #4737 synchronize by rv-jenkins
January 22, 2025 17:13 19s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
January 22, 2025 17:13 19s
deps/llvm-backend_release: Set Version 0.1.124 Update Nix Flake Inputs #2186: Commit 9d3386b pushed by rv-jenkins
January 22, 2025 17:13 1m 20s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
January 22, 2025 17:13 1m 20s
Generate rewrite relation Test PR #7227: Pull request #4745 edited by rv-jenkins
January 22, 2025 16:19 1m 10s rewrite-relation
rewrite-relation
January 22, 2025 16:19 1m 10s
Generate rewrite relation Test PR #492: Pull request #4745 opened by tothtamas28
January 22, 2025 16:18 23s rewrite-relation
rewrite-relation
January 22, 2025 16:18 23s
Generate rewrite relation Lint GitHub Actions workflows #1075: Pull request #4745 opened by tothtamas28
January 22, 2025 16:18 18s rewrite-relation
rewrite-relation
January 22, 2025 16:18 18s
Fix build_rule Test PR #7226: Pull request #4744 edited by rv-jenkins
January 22, 2025 15:13 34m 35s fix-build-rule
fix-build-rule
January 22, 2025 15:13 34m 35s
Fix build_rule Lint GitHub Actions workflows #1074: Pull request #4744 opened by Stevengre
January 22, 2025 15:13 21s fix-build-rule
fix-build-rule
January 22, 2025 15:13 21s
Fix build_rule Test PR #491: Pull request #4744 opened by Stevengre
January 22, 2025 15:13 27s fix-build-rule
fix-build-rule
January 22, 2025 15:13 27s
Avoid clashes of generated declarations and Lean 4 Test PR #7225: Pull request #4742 synchronize by JuanCoRo
January 21, 2025 18:28 15m 58s clashing-names
clashing-names
January 21, 2025 18:28 15m 58s
Avoid clashes of generated declarations and Lean 4 Lint GitHub Actions workflows #1073: Pull request #4742 synchronize by JuanCoRo
January 21, 2025 18:28 15s clashing-names
clashing-names
January 21, 2025 18:28 15s
K Framework Release v7.1.206 Release #1566: Release v7.1.206 prereleased by rv-jenkins
January 21, 2025 17:03 37m 12s
January 21, 2025 17:03 37m 12s
Set Version: 7.1.206 Master Push #1157: Commit 4e07d71 pushed by rv-jenkins
January 21, 2025 17:03 14s master
master
January 21, 2025 17:03 14s
Add uninterpreted List implementation to Prelude.lean (#4740) Bump version and make master job #1170: Commit 2ec5eec pushed by automergerpr-permission-manager bot
January 21, 2025 17:02 26s develop
develop
January 21, 2025 17:02 26s
Avoid clashes of generated declarations and Lean 4 Lint GitHub Actions workflows #1072: Pull request #4742 synchronize by JuanCoRo
January 21, 2025 16:44 15s clashing-names
clashing-names
January 21, 2025 16:44 15s
Avoid clashes of generated declarations and Lean 4 Test PR #7224: Pull request #4742 synchronize by JuanCoRo
January 21, 2025 16:44 1m 53s clashing-names
clashing-names
January 21, 2025 16:44 1m 53s
Avoid clashes of generated declarations and Lean 4 Test PR #7223: Pull request #4742 opened by JuanCoRo
January 21, 2025 16:39 5m 17s clashing-names
clashing-names
January 21, 2025 16:39 5m 17s
Avoid clashes of generated declarations and Lean 4 Lint GitHub Actions workflows #1071: Pull request #4742 opened by JuanCoRo
January 21, 2025 16:39 16s clashing-names
clashing-names
January 21, 2025 16:39 16s
Remove generated Option type for total functions Lint GitHub Actions workflows #1070: Pull request #4741 opened by JuanCoRo
January 21, 2025 15:10 21s axioms-total-func
axioms-total-func
January 21, 2025 15:10 21s
Remove generated Option type for total functions Test PR #7222: Pull request #4741 opened by JuanCoRo
January 21, 2025 15:10 31m 22s axioms-total-func
axioms-total-func
January 21, 2025 15:10 31m 22s
Add uninterpreted List implementation to Prelude.lean Test PR #7221: Pull request #4740 opened by JuanCoRo
January 21, 2025 13:06 5m 56s lean-list-sort
lean-list-sort
January 21, 2025 13:06 5m 56s