Skip to content

Actions: runtimeverification/k

Actions

Test PR

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add uninterpreted Map implementation to Prelude.lean Test PR #7191: Pull request #4734 opened by JuanCoRo
January 15, 2025 16:45 15m 49s Lean4Prelude
Lean4Prelude
January 15, 2025 16:45 15m 49s
Update dependency: deps/llvm-backend_release Test PR #7190: Pull request #4715 synchronize by Robertorosmaninho
January 13, 2025 20:44 49m 38s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
January 13, 2025 20:44 49m 38s
Update dependency: deps/llvm-backend_release Test PR #7189: Pull request #4715 synchronize by Robertorosmaninho
January 13, 2025 20:38 1m 54s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
January 13, 2025 20:38 1m 54s
Generate structure-s where possible Test PR #7188: Pull request #4731 synchronize by tothtamas28
January 13, 2025 09:46 46m 24s cell-structure
cell-structure
January 13, 2025 09:46 46m 24s
Generate structure-s where possible Test PR #7187: Pull request #4731 edited by tothtamas28
January 13, 2025 09:45 1m 4s cell-structure
cell-structure
January 13, 2025 09:45 1m 4s
Generate structure-s where possible Test PR #7186: Pull request #4731 edited by tothtamas28
January 13, 2025 09:44 1m 0s cell-structure
cell-structure
January 13, 2025 09:44 1m 0s
Generate structure-s where possible Test PR #7185: Pull request #4731 edited by tothtamas28
January 10, 2025 18:30 28m 35s cell-structure
cell-structure
January 10, 2025 18:30 28m 35s
Generate structure-s where possible Test PR #7184: Pull request #4731 edited by tothtamas28
January 10, 2025 18:30 59s cell-structure
cell-structure
January 10, 2025 18:30 59s
Generate structure-s where possible Test PR #7183: Pull request #4731 edited by tothtamas28
January 10, 2025 18:30 16s cell-structure
cell-structure
January 10, 2025 18:30 16s
Generate structure-s where possible Test PR #7182: Pull request #4731 synchronize by tothtamas28
January 10, 2025 18:28 2m 2s cell-structure
cell-structure
January 10, 2025 18:28 2m 2s
Update dependency: deps/llvm-backend_release Test PR #7181: Pull request #4715 synchronize by rv-jenkins
January 10, 2025 16:16 34m 30s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
January 10, 2025 16:16 34m 30s
Update dependency: deps/llvm-backend_release Test PR #7180: Pull request #4715 synchronize by rv-jenkins
January 10, 2025 16:14 1m 37s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
January 10, 2025 16:14 1m 37s
Generate structure-s where possible Test PR #7179: Pull request #4731 opened by tothtamas28
January 9, 2025 20:42 25m 50s cell-structure
cell-structure
January 9, 2025 20:42 25m 50s
Allow special characters in generated Lean 4 identifiers Test PR #7178: Pull request #4729 synchronize by tothtamas28
January 8, 2025 15:40 22m 38s ident-special-chars
ident-special-chars
January 8, 2025 15:40 22m 38s
Allow special characters in generated Lean 4 identifiers Test PR #7177: Pull request #4729 synchronize by tothtamas28
January 8, 2025 15:34 6m 13s ident-special-chars
ident-special-chars
January 8, 2025 15:34 6m 13s
Allow special characters in generated Lean 4 identifiers Test PR #7176: Pull request #4729 edited by tothtamas28
January 8, 2025 15:02 27m 20s ident-special-chars
ident-special-chars
January 8, 2025 15:02 27m 20s
Allow special characters in generated Lean 4 identifiers Test PR #7175: Pull request #4729 opened by tothtamas28
January 8, 2025 15:02 31s ident-special-chars
ident-special-chars
January 8, 2025 15:02 31s
Update dependency: deps/haskell-backend_release Test PR #7174: Pull request #4719 synchronize by PetarMax
January 8, 2025 12:20 34m 28s _update-deps/runtimeverification/haskell-backend
_update-deps/runtimeverification/haskell-backend
January 8, 2025 12:20 34m 28s
Generate Lean 4 type definitions from a KORE definition Test PR #7173: Pull request #4717 synchronize by tothtamas28
January 7, 2025 16:24 25m 42s k2lean4
k2lean4
January 7, 2025 16:24 25m 42s
Update dependency: deps/haskell-backend_release Test PR #7172: Pull request #4719 synchronize by palinatolmach
January 7, 2025 12:31 43m 19s _update-deps/runtimeverification/haskell-backend
_update-deps/runtimeverification/haskell-backend
January 7, 2025 12:31 43m 19s
Update dependency: deps/z3 Test PR #7171: Pull request #4720 synchronize by palinatolmach
January 7, 2025 12:31 32m 19s _update-deps/runtimeverification/z3-images
_update-deps/runtimeverification/z3-images
January 7, 2025 12:31 32m 19s
Fix Poetry and Ubuntu runner versions on CI Test PR #7170: Pull request #4721 synchronize by tothtamas28
January 7, 2025 11:01 25m 56s fix-versions
fix-versions
January 7, 2025 11:01 25m 56s
Fix Poetry and Ubuntu runner versions on CI Test PR #7169: Pull request #4721 opened by tothtamas28
January 7, 2025 10:58 1m 39s fix-versions
fix-versions
January 7, 2025 10:58 1m 39s
Generate Lean 4 type definitions from a KORE definition Test PR #7168: Pull request #4717 synchronize by tothtamas28
January 7, 2025 09:55 16m 29s k2lean4
k2lean4
January 7, 2025 09:55 16m 29s
Update dependency: deps/z3 Test PR #7167: Pull request #4720 synchronize by palinatolmach
January 7, 2025 06:11 1m 29s _update-deps/runtimeverification/z3-images
_update-deps/runtimeverification/z3-images
January 7, 2025 06:11 1m 29s