Skip to content

Actions: runtimeverification/k

Actions

Test PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-pr.yml
3,912 workflow runs
3,912 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Generate rewrite relation Test PR #7241: Pull request #4745 synchronize by tothtamas28
January 24, 2025 11:28 27m 16s rewrite-relation
rewrite-relation
January 24, 2025 11:28 27m 16s
Generate rewrite relation Test PR #7240: Pull request #4745 synchronize by tothtamas28
January 24, 2025 10:57 28m 14s rewrite-relation
rewrite-relation
January 24, 2025 10:57 28m 14s
Generate rewrite relation Test PR #7239: Pull request #4745 synchronize by tothtamas28
January 24, 2025 10:53 1m 52s rewrite-relation
rewrite-relation
January 24, 2025 10:53 1m 52s
Generate rewrite relation Test PR #7238: Pull request #4745 edited by tothtamas28
January 24, 2025 10:51 1m 59s rewrite-relation
rewrite-relation
January 24, 2025 10:51 1m 59s
Generate rewrite relation Test PR #7237: Pull request #4745 synchronize by tothtamas28
January 24, 2025 10:51 1m 8s rewrite-relation
rewrite-relation
January 24, 2025 10:51 1m 8s
Update pyk dependencies Test PR #7236: Pull request #4746 synchronize by tothtamas28
January 24, 2025 10:32 26m 27s update-deps
update-deps
January 24, 2025 10:32 26m 27s
Update pyk dependencies Test PR #7235: Pull request #4746 edited by tothtamas28
January 24, 2025 10:26 1m 30s update-deps
update-deps
January 24, 2025 10:26 1m 30s
Generate rewrite relation Test PR #7234: Pull request #4745 synchronize by tothtamas28
January 24, 2025 10:03 1m 59s rewrite-relation
rewrite-relation
January 24, 2025 10:03 1m 59s
Generate rewrite relation Test PR #7233: Pull request #4745 synchronize by tothtamas28
January 23, 2025 19:31 1m 56s rewrite-relation
rewrite-relation
January 23, 2025 19:31 1m 56s
Fix build_rule Test PR #7232: Pull request #4744 synchronize by ehildenb
January 23, 2025 17:38 30m 4s fix-build-rule
fix-build-rule
January 23, 2025 17:38 30m 4s
Fix build_rule Test PR #7231: Pull request #4744 synchronize by Stevengre
January 23, 2025 12:44 28m 31s fix-build-rule
fix-build-rule
January 23, 2025 12:44 28m 31s
Fix build_rule Test PR #7230: Pull request #4744 synchronize by Stevengre
January 23, 2025 08:10 31m 49s fix-build-rule
fix-build-rule
January 23, 2025 08:10 31m 49s
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 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
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
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
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 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
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
Add method filter_rewrites to KoreDefn Test PR #7220: Pull request #4739 synchronize by automergerpr-permission-manager bot
January 20, 2025 19:02 22m 36s rule-defn
rule-defn
January 20, 2025 19:02 22m 36s
Add method filter_rewrites to KoreDefn Test PR #7219: Pull request #4739 opened by tothtamas28
January 20, 2025 17:08 13m 15s rule-defn
rule-defn
January 20, 2025 17:08 13m 15s
Add uninterpreted Set implementation to Prelude.lean Test PR #7218: Pull request #4738 synchronize by JuanCoRo
January 20, 2025 15:53 25m 1s lean-set-hook
lean-set-hook
January 20, 2025 15:53 25m 1s
Add uninterpreted Set implementation to Prelude.lean Test PR #7217: Pull request #4738 opened by JuanCoRo
January 20, 2025 15:52 1m 52s lean-set-hook
lean-set-hook
January 20, 2025 15:52 1m 52s