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

Make warnings fatal in CI Kind 2 DockerHub #402: Commit 9654b38 pushed by daniel-larraz
January 18, 2024 21:15 3m 40s develop
develop
January 18, 2024 21:15 3m 40s
Merge pull request #1044 from daniel-larraz/reach-prop-opt Kind 2 DockerHub #401: Commit 8715737 pushed by daniel-larraz
January 16, 2024 00:45 3m 44s develop
develop
January 16, 2024 00:45 3m 44s
Merge pull request #1042 from daniel-larraz/safe-calls-rev Kind 2 DockerHub #400: Commit 1a22488 pushed by daniel-larraz
January 12, 2024 22:53 3m 36s develop
develop
January 12, 2024 22:53 3m 36s
Merge pull request #1041 from daniel-larraz/invgen-node-order Kind 2 DockerHub #399: Commit 86d0238 pushed by daniel-larraz
January 11, 2024 04:27 3m 39s develop
develop
January 11, 2024 04:27 3m 39s
Use OCaml 5.1+flambda in Docker image Kind 2 DockerHub #398: Commit adb898f pushed by daniel-larraz
December 29, 2023 17:09 3m 44s develop
develop
December 29, 2023 17:09 3m 44s
Disable custom CSS in HTML user doc Kind 2 DockerHub #397: Commit d0307bc pushed by daniel-larraz
December 27, 2023 21:01 3m 58s develop
develop
December 27, 2023 21:01 3m 58s
Remove OS version from name in static builds Kind 2 DockerHub #396: Commit 8785103 pushed by daniel-larraz
December 27, 2023 17:27 3m 40s develop
develop
December 27, 2023 17:27 3m 40s
Fix static macOS build with OCaml 5.x Kind 2 DockerHub #395: Commit fa89add pushed by daniel-larraz
December 27, 2023 15:58 3m 37s develop
develop
December 27, 2023 15:58 3m 37s
Reintroduce 'any' operator Kind 2 DockerHub #394: Commit 16d922c pushed by daniel-larraz
December 27, 2023 00:52 3m 39s develop
develop
December 27, 2023 00:52 3m 39s
Update project and OPAM files Kind 2 DockerHub #393: Commit e39e498 pushed by daniel-larraz
December 27, 2023 00:50 3m 40s develop
develop
December 27, 2023 00:50 3m 40s
Bump version numbers to v2.1.1 Kind 2 DockerHub #392: Commit 78a693d pushed by daniel-larraz
December 26, 2023 19:57 3m 45s master
master
December 26, 2023 19:57 3m 45s
Bump version numbers to v2.1.1 Kind 2 DockerHub #391: Commit 78a693d pushed by daniel-larraz
December 26, 2023 19:46 3m 45s develop
develop
December 26, 2023 19:46 3m 45s
Update CHANGES.md Kind 2 DockerHub #390: Commit cc77474 pushed by daniel-larraz
December 26, 2023 19:40 3m 38s develop
develop
December 26, 2023 19:40 3m 38s
Temporarily deactivate 'any' operator before release Kind 2 DockerHub #389: Commit c854bb9 pushed by daniel-larraz
December 26, 2023 19:40 3m 41s develop
develop
December 26, 2023 19:40 3m 41s
Merge pull request #1040 from daniel-larraz/opt-subrange-contract Kind 2 DockerHub #388: Commit dfda15a pushed by daniel-larraz
December 22, 2023 23:08 3m 49s develop
develop
December 22, 2023 23:08 3m 49s
Accept new versions of cvc5 for proof production (up to 1.1.0) Kind 2 DockerHub #387: Commit f9884ce pushed by daniel-larraz
December 22, 2023 22:03 3m 41s develop
develop
December 22, 2023 22:03 3m 41s
Merge pull request #1039 from daniel-larraz/checks-on-contracts Kind 2 DockerHub #386: Commit 038a6db pushed by daniel-larraz
December 21, 2023 20:40 3m 55s develop
develop
December 21, 2023 20:40 3m 55s
Fix scope of contract calls Kind 2 DockerHub #385: Commit 3929705 pushed by daniel-larraz
December 21, 2023 16:12 3m 49s develop
develop
December 21, 2023 16:12 3m 49s
Merge pull request #1037 from daniel-larraz/ic3ia-soundness-bug Kind 2 DockerHub #384: Commit 0b9e881 pushed by daniel-larraz
December 8, 2023 14:33 3m 59s develop
develop
December 8, 2023 14:33 3m 59s
Reintroduce 'any' operator Kind 2 DockerHub #383: Commit d17314a pushed by daniel-larraz
December 6, 2023 21:47 3m 37s develop
develop
December 6, 2023 21:47 3m 37s
Update project and OPAM files Kind 2 DockerHub #382: Commit 75eda5b pushed by daniel-larraz
December 6, 2023 21:44 3m 50s develop
develop
December 6, 2023 21:44 3m 50s
Bump version numbers to v2.1.0 Kind 2 DockerHub #381: Commit 6f08def pushed by daniel-larraz
December 6, 2023 18:05 3m 42s master
master
December 6, 2023 18:05 3m 42s
Bump version numbers to v2.1.0 Kind 2 DockerHub #380: Commit 6f08def pushed by daniel-larraz
December 6, 2023 17:55 3m 39s develop
develop
December 6, 2023 17:55 3m 39s
Update CHANGES.md Kind 2 DockerHub #379: Commit e77d34b pushed by daniel-larraz
December 6, 2023 17:48 3m 45s develop
develop
December 6, 2023 17:48 3m 45s
Merge pull request #1035 from daniel-larraz/disable-any-op Kind 2 DockerHub #378: Commit 26fb723 pushed by daniel-larraz
December 6, 2023 17:35 3m 52s develop
develop
December 6, 2023 17:35 3m 52s