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 #1091 from daniel-larraz/logics-free-constants Kind 2 DockerHub #477: Commit b93a3a3 pushed by daniel-larraz
August 23, 2024 17:48 3m 40s develop
develop
August 23, 2024 17:48 3m 40s
Merge pull request #1090 from daniel-larraz/bounds-free-const Kind 2 DockerHub #476: Commit 688b7a3 pushed by daniel-larraz
August 22, 2024 01:56 3m 55s develop
develop
August 22, 2024 01:56 3m 55s
Merge pull request #1089 from daniel-larraz/flatten-ref-types-contrac… Kind 2 DockerHub #475: Commit ffb483d pushed by daniel-larraz
August 21, 2024 16:46 3m 56s develop
develop
August 21, 2024 16:46 3m 56s
Merge pull request #1088 from daniel-larraz/expand-expected-type-args Kind 2 DockerHub #474: Commit 01f954a pushed by daniel-larraz
August 21, 2024 02:02 3m 45s develop
develop
August 21, 2024 02:02 3m 45s
Merge pull request #1087 from daniel-larraz/check-bound-var-type Kind 2 DockerHub #473: Commit d1501e2 pushed by daniel-larraz
August 13, 2024 13:24 4m 4s develop
develop
August 13, 2024 13:24 4m 4s
Merge pull request #1086 from lorchrob/polymorphic-type-decl Kind 2 DockerHub #472: Commit 0b8dc93 pushed by daniel-larraz
August 13, 2024 06:40 3m 41s develop
develop
August 13, 2024 06:40 3m 41s
Merge pull request #1083 from lorchrob/abstract-type-cleanup Kind 2 DockerHub #471: Commit 0c26f08 pushed by daniel-larraz
August 1, 2024 13:58 3m 49s develop
develop
August 1, 2024 13:58 3m 49s
Merge pull request #1085 from lorchrob/gen-imp-node-fix Kind 2 DockerHub #470: Commit c69b51e pushed by daniel-larraz
August 1, 2024 09:27 4m 2s develop
develop
August 1, 2024 09:27 4m 2s
Merge pull request #1084 from lorchrob/check-env-bug-fix Kind 2 DockerHub #469: Commit ca8dcd3 pushed by daniel-larraz
August 1, 2024 08:10 3m 55s develop
develop
August 1, 2024 08:10 3m 55s
Merge pull request #1082 from daniel-larraz/struct-update Kind 2 DockerHub #468: Commit 3c2b77d pushed by daniel-larraz
July 31, 2024 13:39 3m 50s develop
develop
July 31, 2024 13:39 3m 50s
Merge pull request #1078 from lorchrob/polymorphism Kind 2 DockerHub #467: Commit f17c8e8 pushed by daniel-larraz
July 30, 2024 12:40 3m 45s develop
develop
July 30, 2024 12:40 3m 45s
Merge pull request #1081 from daniel-larraz/ic3ia-gen-prop Kind 2 DockerHub #466: Commit 576b261 pushed by daniel-larraz
July 29, 2024 16:59 3m 42s develop
develop
July 29, 2024 16:59 3m 42s
Merge pull request #1080 from daniel-larraz/unrealiz-trace-unknown Kind 2 DockerHub #465: Commit 4ae2f20 pushed by daniel-larraz
July 29, 2024 13:25 3m 41s develop
develop
July 29, 2024 13:25 3m 41s
Merge pull request #1075 from lorchrob/lsp-ref-type-info Kind 2 DockerHub #464: Commit 8473e14 pushed by daniel-larraz
June 18, 2024 21:18 3m 49s develop
develop
June 18, 2024 21:18 3m 49s
Merge pull request #1076 from daniel-larraz/fix-1cbc4d1 Kind 2 DockerHub #463: Commit b17c15a pushed by daniel-larraz
June 14, 2024 18:09 4m 2s develop
develop
June 14, 2024 18:09 4m 2s
Fix download of cvc5 in Dockerfile Kind 2 DockerHub #462: Commit f512d2e pushed by daniel-larraz
June 12, 2024 02:47 3m 51s develop
develop
June 12, 2024 02:47 3m 51s
Revert ocaml version update for macOS Kind 2 DockerHub #461: Commit ed0cda2 pushed by daniel-larraz
June 6, 2024 19:52 4m 3s develop
develop
June 6, 2024 19:52 4m 3s
Bump ocaml version to 5.2.0 in GitHub Actions Kind 2 DockerHub #460: Commit 503accc pushed by daniel-larraz
June 5, 2024 23:14 3m 53s develop
develop
June 5, 2024 23:14 3m 53s
Merge pull request #1074 from daniel-larraz/mult-two-polys-error Kind 2 DockerHub #459: Commit c0c1302 pushed by daniel-larraz
June 5, 2024 23:13 3m 56s develop
develop
June 5, 2024 23:13 3m 56s
Merge pull request #1073 from daniel-larraz/fix-not-found-properties Kind 2 DockerHub #458: Commit 90e453e pushed by daniel-larraz
June 5, 2024 21:43 3m 57s develop
develop
June 5, 2024 21:43 3m 57s
Add link to Lustre primer in user doc Kind 2 DockerHub #457: Commit 64dd5c6 pushed by daniel-larraz
May 23, 2024 19:53 4m 8s develop
develop
May 23, 2024 19:53 4m 8s
Update CHANGES.md Kind 2 DockerHub #456: Commit f723f92 pushed by daniel-larraz
May 23, 2024 18:48 3m 55s develop
develop
May 23, 2024 18:48 3m 55s
Update project and OPAM files Kind 2 DockerHub #455: Commit 675f791 pushed by daniel-larraz
May 23, 2024 18:47 3m 58s develop
develop
May 23, 2024 18:47 3m 58s
Bump version numbers to v2.2.0 Kind 2 DockerHub #454: Commit dd5c930 pushed by daniel-larraz
May 22, 2024 20:19 3m 49s master
master
May 22, 2024 20:19 3m 49s
Bump version numbers to v2.2.0 Kind 2 DockerHub #453: Commit dd5c930 pushed by daniel-larraz
May 22, 2024 19:53 3m 51s develop
develop
May 22, 2024 19:53 3m 51s