Skip to content

Actions: kind2-mc/kind2

Actions

Kind 2 DockerHub

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kind2-docker.yml
162 workflow runs
162 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1015 from lorchrob/choose-op-syntax Kind 2 DockerHub #352: Commit 636ae7a pushed by daniel-larraz
September 28, 2023 16:15 4m 29s develop
develop
September 28, 2023 16:15 4m 29s
Merge pull request #1013 from daniel-larraz/const-expr-checks Kind 2 DockerHub #351: Commit 93a0f51 pushed by daniel-larraz
September 26, 2023 21:57 4m 42s develop
develop
September 26, 2023 21:57 4m 42s
Merge pull request #1012 from daniel-larraz/remove-unsupported-constr… Kind 2 DockerHub #350: Commit 4940267 pushed by daniel-larraz
September 25, 2023 22:57 5m 42s develop
develop
September 25, 2023 22:57 5m 42s
Merge pull request #1011 from daniel-larraz/duplicate-const-arg Kind 2 DockerHub #349: Commit d091fef pushed by daniel-larraz
September 22, 2023 00:13 4m 32s develop
develop
September 22, 2023 00:13 4m 32s
Merge pull request #1010 from daniel-larraz/fix-list-flattening Kind 2 DockerHub #348: Commit 189845e pushed by daniel-larraz
September 20, 2023 19:14 4m 32s develop
develop
September 20, 2023 19:14 4m 32s
Merge pull request #1009 from daniel-larraz/non-const-shift-arg Kind 2 DockerHub #347: Commit 58df0bf pushed by daniel-larraz
September 19, 2023 22:46 4m 25s develop
develop
September 19, 2023 22:46 4m 25s
Merge pull request #1008 from daniel-larraz/fix-cex-reconstruction Kind 2 DockerHub #346: Commit 0fa27fb pushed by daniel-larraz
September 18, 2023 18:56 4m 53s develop
develop
September 18, 2023 18:56 4m 53s
Merge pull request #1006 from daniel-larraz/fix-contract-checks Kind 2 DockerHub #345: Commit 0cd2600 pushed by daniel-larraz
September 14, 2023 20:40 5m 52s develop
develop
September 14, 2023 20:40 5m 52s
Merge pull request #985 from lorchrob/nondeterministic-choice Kind 2 DockerHub #344: Commit 0532806 pushed by daniel-larraz
September 13, 2023 19:26 4m 30s develop
develop
September 13, 2023 19:26 4m 30s
Fix test name Kind 2 DockerHub #343: Commit 66dc8f0 pushed by daniel-larraz
August 31, 2023 15:32 4m 42s develop
develop
August 31, 2023 15:32 4m 42s
Merge pull request #1003 from lorchrob/subrange-bug Kind 2 DockerHub #342: Commit 7b00f55 pushed by daniel-larraz
August 31, 2023 15:26 5m 43s develop
develop
August 31, 2023 15:26 5m 43s
Merge pull request #1001 from lorchrob/frame-init-bug Kind 2 DockerHub #341: Commit 53827fb pushed by daniel-larraz
August 30, 2023 21:12 5m 26s develop
develop
August 30, 2023 21:12 5m 26s