Skip to content

Actions: daniel-larraz/kind2

Actions

Kind 2 DockerHub

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix reported position after merging f534997 Kind 2 DockerHub #416: Commit 98fc052 pushed by daniel-larraz
November 28, 2024 03:50 3s develop
develop
November 28, 2024 03:50 3s
Merge pull request #1111 from daniel-larraz/opaque-transparent Kind 2 DockerHub #415: Commit 389f93e pushed by daniel-larraz
November 27, 2024 20:40 2s develop
develop
November 27, 2024 20:40 2s
Merge pull request #1110 from daniel-larraz/ref-type-free-const Kind 2 DockerHub #414: Commit adc2f0e pushed by daniel-larraz
November 18, 2024 19:57 2s develop
develop
November 18, 2024 19:57 2s
Merge pull request #1109 from daniel-larraz/fix-subrange-free-const Kind 2 DockerHub #413: Commit f014d1e pushed by daniel-larraz
November 16, 2024 17:33 2s develop
develop
November 16, 2024 17:33 2s
Merge pull request #1108 from daniel-larraz/allow-all-calls-in-contract Kind 2 DockerHub #412: Commit 77596fe pushed by daniel-larraz
November 15, 2024 19:39 3s develop
develop
November 15, 2024 19:39 3s
ci: Update package info for release/macOS Kind 2 DockerHub #411: Commit c5fd800 pushed by daniel-larraz
November 15, 2024 16:19 4s develop
develop
November 15, 2024 16:19 4s
ci: Update to macos-13 Kind 2 DockerHub #410: Commit f0aca38 pushed by daniel-larraz
November 14, 2024 20:38 2s develop
develop
November 14, 2024 20:38 2s
Merge pull request #1106 from daniel-larraz/forall-enum-record-fields Kind 2 DockerHub #409: Commit 81056b5 pushed by daniel-larraz
October 8, 2024 18:47 2s develop
develop
October 8, 2024 18:47 2s
Merge pull request #1105 from daniel-larraz/any-undeclared-type Kind 2 DockerHub #408: Commit 9e815c4 pushed by daniel-larraz
October 4, 2024 11:25 3s develop
develop
October 4, 2024 11:25 3s
Merge pull request #1104 from daniel-larraz/fix-bcccc88 Kind 2 DockerHub #407: Commit 511202d pushed by daniel-larraz
October 4, 2024 01:14 3s develop
develop
October 4, 2024 01:14 3s
Merge pull request #1103 from erooke/doc-fix Kind 2 DockerHub #406: Commit 59c9a53 pushed by daniel-larraz
October 3, 2024 21:30 2s develop
develop
October 3, 2024 21:30 2s
Merge pull request #1102 from erooke/doc-fix Kind 2 DockerHub #405: Commit f5dc8f9 pushed by daniel-larraz
October 1, 2024 01:43 2s develop
develop
October 1, 2024 01:43 2s
Merge pull request #1101 from daniel-larraz/smt-array-logic-fix Kind 2 DockerHub #404: Commit 7b8351c pushed by daniel-larraz
September 30, 2024 22:54 2s develop
develop
September 30, 2024 22:54 2s
Merge pull request #1100 from daniel-larraz/inline-array-enum Kind 2 DockerHub #403: Commit d73f427 pushed by daniel-larraz
September 30, 2024 21:07 3s develop
develop
September 30, 2024 21:07 3s
Merge pull request #1099 from daniel-larraz/certif-get-values Kind 2 DockerHub #402: Commit a0ce37b pushed by daniel-larraz
September 30, 2024 14:09 2s develop
develop
September 30, 2024 14:09 2s
Merge pull request #1098 from daniel-larraz/smt-arrays-logic Kind 2 DockerHub #401: Commit fd7e8ab pushed by daniel-larraz
September 26, 2024 22:04 2s develop
develop
September 26, 2024 22:04 2s
Really fix count_array.lus Kind 2 DockerHub #400: Commit a811323 pushed by daniel-larraz
September 26, 2024 16:11 3s develop
develop
September 26, 2024 16:11 3s
Merge pull request #1097 from daniel-larraz/abstract-enum-variant Kind 2 DockerHub #399: Commit f8c54f5 pushed by daniel-larraz
September 3, 2024 21:50 2s develop
develop
September 3, 2024 21:50 2s
Merge pull request #1096 from daniel-larraz/reorder-flattening-ref-types Kind 2 DockerHub #398: Commit aba45c0 pushed by daniel-larraz
August 30, 2024 20:36 2s develop
develop
August 30, 2024 20:36 2s
Merge pull request #1095 from daniel-larraz/expand-types Kind 2 DockerHub #397: Commit cbace84 pushed by daniel-larraz
August 29, 2024 17:20 2s develop
develop
August 29, 2024 17:20 2s
Merge pull request #1094 from daniel-larraz/ref-type-dep Kind 2 DockerHub #396: Commit 2eb9ea8 pushed by daniel-larraz
August 29, 2024 15:16 3s develop
develop
August 29, 2024 15:16 3s
Merge pull request #1093 from daniel-larraz/poly-type-dep Kind 2 DockerHub #395: Commit 0d2710a pushed by daniel-larraz
August 28, 2024 22:37 3s develop
develop
August 28, 2024 22:37 3s
Merge pull request #1092 from daniel-larraz/free-const-subrange-array Kind 2 DockerHub #394: Commit f5023d8 pushed by daniel-larraz
August 23, 2024 21:19 2s develop
develop
August 23, 2024 21:19 2s
Merge pull request #1091 from daniel-larraz/logics-free-constants Kind 2 DockerHub #393: Commit b93a3a3 pushed by daniel-larraz
August 23, 2024 17:49 2s develop
develop
August 23, 2024 17:49 2s
Merge pull request #1090 from daniel-larraz/bounds-free-const Kind 2 DockerHub #392: Commit 688b7a3 pushed by daniel-larraz
August 22, 2024 01:56 2s develop
develop
August 22, 2024 01:56 2s