Skip to content

Actions: model-checking/kani-vscode-extension

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
103 workflow runs
103 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump version to 0.0.6 Run Unit Tests #111: Pull request #129 synchronize by adpaco-aws
August 17, 2023 15:45 1m 19s adpaco-aws:kani-vscode-0.0.6
adpaco-aws:kani-vscode-0.0.6
August 17, 2023 15:45 1m 19s
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 Run Unit Tests #110: Pull request #127 synchronize by celinval
August 16, 2023 23:16 1m 37s adpaco-aws:manual-tests
adpaco-aws:manual-tests
August 16, 2023 23:16 1m 37s
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 Run Unit Tests #109: Pull request #127 synchronize by adpaco-aws
August 16, 2023 22:20 1m 40s adpaco-aws:manual-tests
adpaco-aws:manual-tests
August 16, 2023 22:20 1m 40s
Add Rust package with manual tests Run Unit Tests #108: Pull request #127 synchronize by adpaco-aws
August 16, 2023 22:07 1m 34s adpaco-aws:manual-tests
adpaco-aws:manual-tests
August 16, 2023 22:07 1m 34s
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 Run Unit Tests #107: Pull request #129 opened by adpaco-aws
August 16, 2023 21:12 1m 13s adpaco-aws:kani-vscode-0.0.6
adpaco-aws:kani-vscode-0.0.6
August 16, 2023 21:12 1m 13s
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 Run Unit Tests #106: Pull request #128 synchronize by adpaco-aws
August 16, 2023 21:03 1m 44s adpaco-aws:update-docs-cov
adpaco-aws:update-docs-cov
August 16, 2023 21:03 1m 44s
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
Update docs before 0.0.6 release Run Unit Tests #105: Pull request #128 opened by adpaco-aws
August 16, 2023 21:01 2m 6s adpaco-aws:update-docs-cov
adpaco-aws:update-docs-cov
August 16, 2023 21:01 2m 6s
Update docs before 0.0.6 release Format Check #277: Pull request #128 opened by adpaco-aws
August 16, 2023 21:01 40s adpaco-aws:update-docs-cov
adpaco-aws:update-docs-cov
August 16, 2023 21:01 40s
Add Rust package with manual tests Run Unit Tests #104: Pull request #127 synchronize by adpaco-aws
August 16, 2023 20:11 1m 5s adpaco-aws:manual-tests
adpaco-aws:manual-tests
August 16, 2023 20:11 1m 5s
Add Rust package with manual tests Format Check #276: Pull request #127 synchronize by adpaco-aws
August 16, 2023 20:11 55s adpaco-aws:manual-tests
adpaco-aws:manual-tests
August 16, 2023 20:11 55s
Add Rust package with manual tests Format Check #275: Pull request #127 opened by adpaco-aws
August 16, 2023 20:09 14s adpaco-aws:manual-tests
adpaco-aws:manual-tests
August 16, 2023 20:09 14s
Add Rust package with manual tests Run Unit Tests #103: Pull request #127 opened by adpaco-aws
August 16, 2023 20:09 1m 24s adpaco-aws:manual-tests
adpaco-aws:manual-tests
August 16, 2023 20:09 1m 24s
Create coverage UI Run Unit Tests #102: Pull request #122 synchronize by jaisnan
July 31, 2023 17:13 1m 10s jaisnan:create-coverage-flow
jaisnan:create-coverage-flow
July 31, 2023 17:13 1m 10s
Create coverage UI Format Check #274: Pull request #122 synchronize by jaisnan
July 31, 2023 17:13 47s jaisnan:create-coverage-flow
jaisnan:create-coverage-flow
July 31, 2023 17:13 47s
Create coverage UI Run Unit Tests #101: Pull request #122 synchronize by jaisnan
July 31, 2023 17:12 1m 29s jaisnan:create-coverage-flow
jaisnan:create-coverage-flow
July 31, 2023 17:12 1m 29s
Create coverage UI Format Check #273: Pull request #122 synchronize by jaisnan
July 31, 2023 17:12 39s jaisnan:create-coverage-flow
jaisnan:create-coverage-flow
July 31, 2023 17:12 39s
Fix output parsing when using debugger Run Unit Tests #100: Pull request #124 synchronize by jaisnan
July 31, 2023 17:05 3m 16s jaisnan:Fix-debugging-json
jaisnan:Fix-debugging-json
July 31, 2023 17:05 3m 16s
Fix output parsing when using debugger Format Check #272: Pull request #124 synchronize by jaisnan
July 31, 2023 17:05 44s jaisnan:Fix-debugging-json
jaisnan:Fix-debugging-json
July 31, 2023 17:05 44s
Fix output parsing when using debugger Run Unit Tests #99: Pull request #124 synchronize by jaisnan
July 31, 2023 17:01 1m 24s jaisnan:Fix-debugging-json
jaisnan:Fix-debugging-json
July 31, 2023 17:01 1m 24s