Skip to content

Actions: kind2-mc/kind2

Actions

Kind 2 DockerHub

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1127 from lorchrob/env-realizability-imports-fix Kind 2 DockerHub #527: Commit b56a570 pushed by daniel-larraz
February 6, 2025 18:32 3m 43s develop
develop
February 6, 2025 18:32 3m 43s
Merge pull request #1129 from daniel-larraz/ic3ia-slice-flag Kind 2 DockerHub #526: Commit 89e569c pushed by daniel-larraz
January 30, 2025 22:22 3m 45s develop
develop
January 30, 2025 22:22 3m 45s
Fix workflow status badge URL Kind 2 DockerHub #525: Commit 79352ad pushed by daniel-larraz
January 29, 2025 01:02 3m 48s develop
develop
January 29, 2025 01:02 3m 48s
Merge pull request #1126 from daniel-larraz/disallow-quantified-array Kind 2 DockerHub #524: Commit b1ad9f1 pushed by daniel-larraz
January 24, 2025 00:14 3m 57s develop
develop
January 24, 2025 00:14 3m 57s
Update comment in lustreGenRefTypeImpNodes.ml Kind 2 DockerHub #523: Commit 64dd58d pushed by daniel-larraz
January 23, 2025 21:34 3m 46s develop
develop
January 23, 2025 21:34 3m 46s
Merge pull request #1125 from lorchrob/multi-dim-array-fix Kind 2 DockerHub #522: Commit bc690d3 pushed by daniel-larraz
January 23, 2025 20:39 3m 56s develop
develop
January 23, 2025 20:39 3m 56s
Merge pull request #1123 from lorchrob/array-frame-fix Kind 2 DockerHub #521: Commit a9c5fe8 pushed by daniel-larraz
January 23, 2025 19:52 4m 8s develop
develop
January 23, 2025 19:52 4m 8s
Merge pull request #1124 from lorchrob/history-quantified-var Kind 2 DockerHub #520: Commit 24f3d5d pushed by daniel-larraz
January 23, 2025 17:10 3m 46s develop
develop
January 23, 2025 17:10 3m 46s
Merge pull request #1122 from lorchrob/poly-doc Kind 2 DockerHub #519: Commit ad44ec9 pushed by daniel-larraz
January 23, 2025 17:08 3m 49s develop
develop
January 23, 2025 17:08 3m 49s
Enable support for OpenSMT as a main solver Kind 2 DockerHub #518: Commit 681403a pushed by daniel-larraz
January 18, 2025 16:11 3m 42s develop
develop
January 18, 2025 16:11 3m 42s
ci: Use Linux arm64 runners Kind 2 DockerHub #517: Commit b1da905 pushed by daniel-larraz
January 17, 2025 23:22 3m 51s develop
develop
January 17, 2025 23:22 3m 51s
ci: Build linux/arm64 binary Kind 2 DockerHub #516: Commit 1ad4284 pushed by daniel-larraz
January 16, 2025 04:10 3m 43s develop
develop
January 16, 2025 04:10 3m 43s
ci: Build Kind 2 binaries compatible with macOS 12 and later Kind 2 DockerHub #515: Commit 968f16c pushed by daniel-larraz
January 16, 2025 03:20 3m 40s develop
develop
January 16, 2025 03:20 3m 40s
Fix Kind 2 DockerHub #514: Commit 7de5ecd pushed by daniel-larraz
January 16, 2025 00:14 4m 17s develop
develop
January 16, 2025 00:14 4m 17s
ci: Add missing 'static' build target for releases Kind 2 DockerHub #513: Commit a4950e0 pushed by daniel-larraz
January 15, 2025 23:16 3m 59s develop
develop
January 15, 2025 23:16 3m 59s
ci: Run CI on all branches Kind 2 DockerHub #512: Commit aeea0c9 pushed by daniel-larraz
January 15, 2025 16:47 3m 59s develop
develop
January 15, 2025 16:47 3m 59s
ci: Bump ocaml version to 5.3 Kind 2 DockerHub #511: Commit 926965d pushed by daniel-larraz
January 15, 2025 16:32 4m 37s develop
develop
January 15, 2025 16:32 4m 37s
Merge pull request #1120 from daniel-larraz/update-inlinable-functions Kind 2 DockerHub #510: Commit 33d6499 pushed by daniel-larraz
January 7, 2025 19:56 3m 43s develop
develop
January 7, 2025 19:56 3m 43s
Merge pull request #1119 from daniel-larraz/keep-ghost-vars-env-check Kind 2 DockerHub #509: Commit 9fcf01e pushed by daniel-larraz
December 12, 2024 02:48 4m 10s develop
develop
December 12, 2024 02:48 4m 10s
Merge pull request #1117 from erooke/scripts Kind 2 DockerHub #508: Commit f783c33 pushed by daniel-larraz
December 6, 2024 04:34 3m 44s develop
develop
December 6, 2024 04:34 3m 44s
Merge pull request #1116 from erooke/docs Kind 2 DockerHub #507: Commit 8b77416 pushed by daniel-larraz
December 6, 2024 04:29 3m 44s develop
develop
December 6, 2024 04:29 3m 44s
Merge pull request #1115 from daniel-larraz/call-with-qvar-arg Kind 2 DockerHub #506: Commit 72734d1 pushed by daniel-larraz
December 5, 2024 02:40 3m 50s develop
develop
December 5, 2024 02:40 3m 50s
Merge pull request #1114 from daniel-larraz/const-ref-types Kind 2 DockerHub #505: Commit 6dc947e pushed by daniel-larraz
December 5, 2024 01:05 4m 2s develop
develop
December 5, 2024 01:05 4m 2s
Merge pull request #1112 from daniel-larraz/history-index-type Kind 2 DockerHub #504: Commit a2d99db pushed by daniel-larraz
December 4, 2024 02:33 4m 3s develop
develop
December 4, 2024 02:33 4m 3s
Merge pull request #1113 from daniel-larraz/ci-ubuntu-latest Kind 2 DockerHub #503: Commit 36ce56e pushed by daniel-larraz
December 4, 2024 00:28 3m 51s develop
develop
December 4, 2024 00:28 3m 51s