Skip to content

Actions: kind2-mc/kind2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,106 workflow runs
1,106 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Kind 2 Release Kind 2 Release #282: Scheduled
November 26, 2024 08:10 7m 41s develop
develop
November 26, 2024 08:10 7m 41s
Kind 2 Release Kind 2 Release #281: Scheduled
November 25, 2024 08:11 9m 17s develop
develop
November 25, 2024 08:11 9m 17s
Kind 2 Release Kind 2 Release #280: Scheduled
November 24, 2024 08:09 9m 44s develop
develop
November 24, 2024 08:09 9m 44s
Kind 2 Release Kind 2 Release #279: Scheduled
November 23, 2024 08:08 9m 7s develop
develop
November 23, 2024 08:08 9m 7s
Kind 2 Release Kind 2 Release #278: Scheduled
November 22, 2024 08:10 9m 17s develop
develop
November 22, 2024 08:10 9m 17s
Kind 2 Release Kind 2 Release #277: Scheduled
November 21, 2024 08:10 8m 30s develop
develop
November 21, 2024 08:10 8m 30s
Kind 2 Release Kind 2 Release #276: Scheduled
November 20, 2024 08:10 7m 26s develop
develop
November 20, 2024 08:10 7m 26s
Kind 2 Release Kind 2 Release #275: Scheduled
November 19, 2024 08:10 9m 7s develop
develop
November 19, 2024 08:10 9m 7s
Merge pull request #1110 from daniel-larraz/ref-type-free-const Kind 2 DockerHub #500: Commit adc2f0e pushed by daniel-larraz
November 18, 2024 19:40 4m 16s develop
develop
November 18, 2024 19:40 4m 16s
Merge pull request #1110 from daniel-larraz/ref-type-free-const Kind2 CI #1586: Commit adc2f0e pushed by daniel-larraz
November 18, 2024 19:40 16m 30s develop
develop
November 18, 2024 19:40 16m 30s
Add support for free constants with refinement types Kind2 CI #1585: Pull request #1110 opened by daniel-larraz
November 18, 2024 18:24 16m 36s daniel-larraz:ref-type-free-const
daniel-larraz:ref-type-free-const
November 18, 2024 18:24 16m 36s
Kind 2 Release Kind 2 Release #274: Scheduled
November 18, 2024 08:11 10m 32s develop
develop
November 18, 2024 08:11 10m 32s
Kind 2 Release Kind 2 Release #273: Scheduled
November 17, 2024 08:08 8m 41s develop
develop
November 17, 2024 08:08 8m 41s
Merge pull request #1109 from daniel-larraz/fix-subrange-free-const Kind2 CI #1584: Commit f014d1e pushed by daniel-larraz
November 16, 2024 17:33 11m 42s develop
develop
November 16, 2024 17:33 11m 42s
Merge pull request #1109 from daniel-larraz/fix-subrange-free-const Kind 2 DockerHub #499: Commit f014d1e pushed by daniel-larraz
November 16, 2024 17:33 3m 45s develop
develop
November 16, 2024 17:33 3m 45s
Fix handling of subrange constraints for free constants Kind2 CI #1583: Pull request #1109 opened by daniel-larraz
November 16, 2024 16:17 13m 28s daniel-larraz:fix-subrange-free-const
daniel-larraz:fix-subrange-free-const
November 16, 2024 16:17 13m 28s
Kind 2 Release Kind 2 Release #272: Scheduled
November 16, 2024 08:08 14m 22s develop
develop
November 16, 2024 08:08 14m 22s
Merge pull request #1108 from daniel-larraz/allow-all-calls-in-contract Kind2 CI #1582: Commit 77596fe pushed by daniel-larraz
November 15, 2024 19:39 13m 52s develop
develop
November 15, 2024 19:39 13m 52s
Merge pull request #1108 from daniel-larraz/allow-all-calls-in-contract Kind 2 DockerHub #498: Commit 77596fe pushed by daniel-larraz
November 15, 2024 19:39 4m 5s develop
develop
November 15, 2024 19:39 4m 5s
Allow all node calls in contracts Kind2 CI #1581: Pull request #1108 opened by daniel-larraz
November 15, 2024 17:24 15m 32s daniel-larraz:allow-all-calls-in-contract
daniel-larraz:allow-all-calls-in-contract
November 15, 2024 17:24 15m 32s
ci: Update package info for release/macOS Kind2 CI #1580: Commit c5fd800 pushed by daniel-larraz
November 15, 2024 16:18 15m 16s develop
develop
November 15, 2024 16:18 15m 16s
ci: Update package info for release/macOS Kind 2 DockerHub #497: Commit c5fd800 pushed by daniel-larraz
November 15, 2024 16:18 3m 58s develop
develop
November 15, 2024 16:18 3m 58s
Kind 2 Release Kind 2 Release #271: Scheduled
November 15, 2024 08:10 3m 56s develop
develop
November 15, 2024 08:10 3m 56s
ci: Update to macos-13 Kind2 CI #1579: Commit f0aca38 pushed by daniel-larraz
November 14, 2024 20:38 20m 47s develop
develop
November 14, 2024 20:38 20m 47s
ci: Update to macos-13 Kind 2 DockerHub #496: Commit f0aca38 pushed by daniel-larraz
November 14, 2024 20:38 3m 51s develop
develop
November 14, 2024 20:38 3m 51s