Skip to content

Actions: model-checking/kani-vscode-extension

Actions

Format Check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
format-check.yml
52 workflow runs
52 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add source based coverage for the extension Format Check #302: Pull request #139 synchronize by jaisnan
November 8, 2024 22:27 28s jaisnan:add-coverage
jaisnan:add-coverage
November 8, 2024 22:27 28s
Add source based coverage for the extension Format Check #301: Pull request #139 synchronize by jaisnan
November 8, 2024 22:21 31s jaisnan:add-coverage
jaisnan:add-coverage
November 8, 2024 22:21 31s
Add source based coverage for the extension Format Check #300: Pull request #139 synchronize by jaisnan
November 8, 2024 22:17 20s jaisnan:add-coverage
jaisnan:add-coverage
November 8, 2024 22:17 20s
Fix image Format Check #299: Pull request #140 opened by jaisnan
November 8, 2024 22:12 32s jaisnan:fix-image
jaisnan:fix-image
November 8, 2024 22:12 32s
Add source based coverage for the extension Format Check #298: Pull request #139 synchronize by jaisnan
November 8, 2024 22:11 26s jaisnan:add-coverage
jaisnan:add-coverage
November 8, 2024 22:11 26s
Add source based coverage for the extension Format Check #297: Pull request #139 synchronize by jaisnan
November 8, 2024 21:59 22s jaisnan:add-coverage
jaisnan:add-coverage
November 8, 2024 21:59 22s
Add source based coverage for the extension Format Check #296: Pull request #139 opened by jaisnan
November 8, 2024 21:08 32s jaisnan:add-coverage
jaisnan:add-coverage
November 8, 2024 21:08 32s
Add qna section to marketplace webpage Format Check #295: Pull request #119 synchronize by jaisnan
November 30, 2023 20:15 29s jaisnan:add-qna-link
jaisnan:add-qna-link
November 30, 2023 20:15 29s
Add de-highlighting to coverage readme Format Check #294: Pull request #131 synchronize by jaisnan
October 17, 2023 18:46 39s jaisnan:update-readme-with-coverage
jaisnan:update-readme-with-coverage
October 17, 2023 18:46 39s
Replace deprecated --enable-stubbing Format Check #293: Pull request #133 synchronize by celinval
October 17, 2023 18:39 47s celinval:z-stubbing
celinval:z-stubbing
October 17, 2023 18:39 47s
Replace deprecated --enable-stubbing Format Check #292: Pull request #133 synchronize by celinval
October 17, 2023 18:37 20s celinval:z-stubbing
celinval:z-stubbing
October 17, 2023 18:37 20s
Remove redundant npm install step Format Check #291: Pull request #136 opened by jaisnan
October 17, 2023 18:31 1m 0s jaisnan:Fix-ci-node-issue
jaisnan:Fix-ci-node-issue
October 17, 2023 18:31 1m 0s
Replace deprecated --enable-stubbing Format Check #290: Pull request #133 reopened by celinval
October 17, 2023 18:23 33s celinval:z-stubbing
celinval:z-stubbing
October 17, 2023 18:23 33s
Replace deprecated --enable-stubbing Format Check #289: Pull request #133 opened by celinval
September 8, 2023 18:44 22s celinval:z-stubbing
celinval:z-stubbing
September 8, 2023 18:44 22s
Add error messaging to user when Kani crashes during coverage Format Check #288: Pull request #132 synchronize by jaisnan
September 8, 2023 17:26 48s jaisnan:Add-error-handling-to-kani
jaisnan:Add-error-handling-to-kani
September 8, 2023 17:26 48s
Add error messaging to user when Kani crashes during coverage Format Check #287: Pull request #132 opened by jaisnan
September 8, 2023 17:19 30s jaisnan:Add-error-handling-to-kani
jaisnan:Add-error-handling-to-kani
September 8, 2023 17:19 30s
Add de-highlighting to coverage readme Format Check #286: Pull request #131 synchronize by jaisnan
September 8, 2023 17:13 39s jaisnan:update-readme-with-coverage
jaisnan:update-readme-with-coverage
September 8, 2023 17:13 39s
Add de-highlighting to coverage readme Format Check #285: Pull request #131 opened by jaisnan
September 8, 2023 14:44 22s jaisnan:update-readme-with-coverage
jaisnan:update-readme-with-coverage
September 8, 2023 14:44 22s
Bump word-wrap from 1.2.3 to 1.2.5 Format Check #284: Pull request #130 opened by dependabot bot
August 22, 2023 02:10 37s dependabot/npm_and_yarn/word-wrap-1.2.5
dependabot/npm_and_yarn/word-wrap-1.2.5
August 22, 2023 02:10 37s
Bump version to 0.0.6 Format Check #283: Pull request #129 synchronize by adpaco-aws
August 17, 2023 15:45 51s adpaco-aws:kani-vscode-0.0.6
adpaco-aws:kani-vscode-0.0.6
August 17, 2023 15:45 51s
Add Rust package with manual tests Format Check #282: Pull request #127 synchronize by celinval
August 16, 2023 23:16 41s adpaco-aws:manual-tests
adpaco-aws:manual-tests
August 16, 2023 23:16 41s
Add Rust package with manual tests Format Check #281: Pull request #127 synchronize by adpaco-aws
August 16, 2023 22:20 38s adpaco-aws:manual-tests
adpaco-aws:manual-tests
August 16, 2023 22:20 38s
Add Rust package with manual tests Format Check #280: Pull request #127 synchronize by adpaco-aws
August 16, 2023 22:07 47s adpaco-aws:manual-tests
adpaco-aws:manual-tests
August 16, 2023 22:07 47s
Bump version to 0.0.6 Format Check #279: Pull request #129 opened by adpaco-aws
August 16, 2023 21:12 43s adpaco-aws:kani-vscode-0.0.6
adpaco-aws:kani-vscode-0.0.6
August 16, 2023 21:12 43s
Update docs before 0.0.6 release Format Check #278: Pull request #128 synchronize by adpaco-aws
August 16, 2023 21:03 37s adpaco-aws:update-docs-cov
adpaco-aws:update-docs-cov
August 16, 2023 21:03 37s