Skip to content

Actions: daniel-larraz/kind2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
180 workflow run results
180 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Nightly Build Nightly Build #1055: Scheduled
November 8, 2023 08:21 4s develop
develop
November 8, 2023 08:21 4s
Nightly Build Nightly Build #1054: Scheduled
November 7, 2023 08:22 4s develop
develop
November 7, 2023 08:22 4s
Merge pull request #1030 from daniel-larraz/array-def-check Kind2 CI #449: Commit 8b7da5d pushed by daniel-larraz
November 7, 2023 03:43 16m 56s develop
develop
November 7, 2023 03:43 16m 56s
Merge pull request #1030 from daniel-larraz/array-def-check Kind 2 DockerHub #327: Commit 8b7da5d pushed by daniel-larraz
November 7, 2023 03:43 2s develop
develop
November 7, 2023 03:43 2s
Bump macOS version in GitHub workflows Kind2 CI #448: Commit 9566bde pushed by daniel-larraz
November 6, 2023 22:59 23m 3s develop
develop
November 6, 2023 22:59 23m 3s
Bump macOS version in GitHub workflows Kind 2 DockerHub #326: Commit 9566bde pushed by daniel-larraz
November 6, 2023 22:59 2s develop
develop
November 6, 2023 22:59 2s
Nightly Build Nightly Build #1053: Scheduled
November 6, 2023 08:23 4s develop
develop
November 6, 2023 08:23 4s
Nightly Build Nightly Build #1052: Scheduled
November 5, 2023 09:20 4s develop
develop
November 5, 2023 09:20 4s
Nightly Build Nightly Build #1051: Scheduled
November 4, 2023 08:19 3s develop
develop
November 4, 2023 08:19 3s
Merge pull request #1029 from daniel-larraz/choose-any Kind 2 DockerHub #325: Commit c1dcf8f pushed by daniel-larraz
November 4, 2023 00:32 2s develop
develop
November 4, 2023 00:32 2s
Merge pull request #1029 from daniel-larraz/choose-any Kind2 CI #447: Commit c1dcf8f pushed by daniel-larraz
November 4, 2023 00:32 47m 52s develop
develop
November 4, 2023 00:32 47m 52s
Merge pull request #1028 from lorchrob/extensional-array-equality-fix Kind 2 DockerHub #324: Commit 286a82b pushed by daniel-larraz
November 3, 2023 22:33 2s develop
develop
November 3, 2023 22:33 2s
Merge pull request #1028 from lorchrob/extensional-array-equality-fix Kind2 CI #446: Commit 286a82b pushed by daniel-larraz
November 3, 2023 22:33 49m 58s develop
develop
November 3, 2023 22:33 49m 58s
Nightly Build Nightly Build #1050: Scheduled
November 3, 2023 08:21 4s develop
develop
November 3, 2023 08:21 4s
Nightly Build Nightly Build #1049: Scheduled
November 2, 2023 08:21 5s develop
develop
November 2, 2023 08:21 5s
Merge pull request #1022 from daniel-larraz/const-inlining-fix Kind 2 DockerHub #323: Commit 5ef47ad pushed by daniel-larraz
November 2, 2023 04:12 2s develop
develop
November 2, 2023 04:12 2s
Merge pull request #1022 from daniel-larraz/const-inlining-fix Kind2 CI #445: Commit 5ef47ad pushed by daniel-larraz
November 2, 2023 04:12 14m 17s develop
develop
November 2, 2023 04:12 14m 17s
Nightly Build Nightly Build #1048: Scheduled
November 1, 2023 08:21 4s develop
develop
November 1, 2023 08:21 4s
Merge pull request #1027 from daniel-larraz/thread-exit Kind 2 DockerHub #322: Commit 2e3cd5c pushed by daniel-larraz
October 31, 2023 13:59 3s develop
develop
October 31, 2023 13:59 3s
Merge pull request #1027 from daniel-larraz/thread-exit Kind2 CI #444: Commit 2e3cd5c pushed by daniel-larraz
October 31, 2023 13:59 15m 48s develop
develop
October 31, 2023 13:59 15m 48s
Nightly Build Nightly Build #1047: Scheduled
October 31, 2023 08:21 3s develop
develop
October 31, 2023 08:21 3s
Print warning recommending contract assumptions over assertions Kind 2 DockerHub #321: Commit c53aba0 pushed by daniel-larraz
October 30, 2023 21:50 2s develop
develop
October 30, 2023 21:50 2s
Print warning recommending contract assumptions over assertions Kind2 CI #443: Commit c53aba0 pushed by daniel-larraz
October 30, 2023 21:50 13m 32s develop
develop
October 30, 2023 21:50 13m 32s
Merge pull request #1025 from daniel-larraz/parse-bv-extend-symbols Kind 2 DockerHub #320: Commit 8b7282d pushed by daniel-larraz
October 30, 2023 19:48 2s develop
develop
October 30, 2023 19:48 2s
Merge pull request #1025 from daniel-larraz/parse-bv-extend-symbols Kind2 CI #442: Commit 8b7282d pushed by daniel-larraz
October 30, 2023 19:48 13m 29s develop
develop
October 30, 2023 19:48 13m 29s