Skip to content

Actions: celinval/kani-dev

Actions

Kani Format Check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
format-check.yml
159 workflow run results
159 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update analysis.rs Kani Format Check #646: Commit d678bd7 pushed by celinval
November 21, 2023 16:38 2m 20s issue-xxxx-toolchain-23-11-21
issue-xxxx-toolchain-23-11-21
November 21, 2023 16:38 2m 20s
Update analysis.rs Kani Format Check #645: Commit d3360ff pushed by celinval
November 21, 2023 16:09 1m 43s issue-xxxx-toolchain-23-11-21
issue-xxxx-toolchain-23-11-21
November 21, 2023 16:09 1m 43s
Update toolchain to nightly-2023-11-21 Kani Format Check #644: Pull request #22 synchronize by celinval
November 21, 2023 16:02 1m 53s issue-xxxx-toolchain-23-11-21
issue-xxxx-toolchain-23-11-21
November 21, 2023 16:02 1m 53s
Update typ.rs Kani Format Check #643: Commit be3e7cd pushed by celinval
November 21, 2023 16:02 1m 44s issue-xxxx-toolchain-23-11-21
issue-xxxx-toolchain-23-11-21
November 21, 2023 16:02 1m 44s
Update toolchain to nightly-2023-11-21 Kani Format Check #642: Pull request #22 opened by celinval
November 21, 2023 15:51 2m 28s issue-xxxx-toolchain-23-11-21
issue-xxxx-toolchain-23-11-21
November 21, 2023 15:51 2m 28s
Update toolchain to nightly-2023-11-21 Kani Format Check #641: Commit 3ccea2e pushed by celinval
November 21, 2023 15:50 2m 46s issue-xxxx-toolchain-23-11-21
issue-xxxx-toolchain-23-11-21
November 21, 2023 15:50 2m 46s
Automatic toolchain upgrade to nightly-2023-11-12 (#2873) Kani Format Check #640: Commit 234ca24 pushed by celinval
November 21, 2023 15:48 2m 18s main
main
November 21, 2023 15:48 2m 18s
reflect changes to rustc APIs Kani Format Check #639: Commit fe15095 pushed by celinval
November 10, 2023 15:36 3m 30s smir-reachability
smir-reachability
November 10, 2023 15:36 3m 30s
reflect changes to rustc APIs Kani Format Check #638: Commit f11efde pushed by celinval
November 10, 2023 15:32 2m 15s smir-reachability
smir-reachability
November 10, 2023 15:32 2m 15s
Merge branch 'main' into issue-2850-playback-print Kani Format Check #637: Commit 823b997 pushed by celinval
November 2, 2023 17:52 3m 49s issue-2850-playback-print
issue-2850-playback-print
November 2, 2023 17:52 3m 49s
Update tests/script-based-pre/playback_print/print_vars.rs Kani Format Check #636: Commit 35478c1 pushed by celinval
November 2, 2023 17:51 2m 2s issue-2850-playback-print
issue-2850-playback-print
November 2, 2023 17:51 2m 2s
Update tests/script-based-pre/playback_print/playback_print.sh Kani Format Check #635: Commit 76957eb pushed by celinval
November 2, 2023 17:48 5m 35s issue-2850-playback-print
issue-2850-playback-print
November 2, 2023 17:48 5m 35s
Do not override std library during playback Kani Format Check #634: Commit 54db850 pushed by celinval
November 1, 2023 23:40 3m 37s issue-2850-playback-print
issue-2850-playback-print
November 1, 2023 23:40 3m 37s
Add hacky script to measure build time Kani Format Check #633: Commit f40d14c pushed by celinval
October 28, 2023 02:50 2m 38s issue-2442-script
issue-2442-script
October 28, 2023 02:50 2m 38s
Merge branch 'main' into issue-2703-bundle-test Kani Format Check #632: Commit 56eea89 pushed by celinval
October 27, 2023 03:43 4m 42s issue-2703-bundle-test
issue-2703-bundle-test
October 27, 2023 03:43 4m 42s
Update scripts/ci/Dockerfile.bundle-test-ubuntu-18-04 Kani Format Check #631: Commit b8380d0 pushed by celinval
October 27, 2023 03:43 4m 37s issue-2703-bundle-test
issue-2703-bundle-test
October 27, 2023 03:43 4m 37s
Merge branch 'main' into issue-2606-ci-label Kani Format Check #630: Commit 2ee4b60 pushed by jaisnan
October 26, 2023 21:12 4m 56s issue-2606-ci-label
issue-2606-ci-label
October 26, 2023 21:12 4m 56s
Fix build bundle tag check Kani Format Check #629: Commit de0c21d pushed by celinval
October 26, 2023 18:01 9m 23s main
main
October 26, 2023 18:01 9m 23s
Fix build bundle tag check Kani Format Check #628: Commit de0c21d pushed by celinval
October 26, 2023 18:00 5m 9s issue-2703-bundle-test
issue-2703-bundle-test
October 26, 2023 18:00 5m 9s
Fix build bundle tag check Kani Format Check #627: Commit 9337c97 pushed by celinval
October 26, 2023 17:58 5m 31s issue-2703-bundle-test
issue-2703-bundle-test
October 26, 2023 17:58 5m 31s
Fix build bundle tag check Kani Format Check #626: Commit 84c0d66 pushed by celinval
October 26, 2023 17:55 3m 43s issue-2703-bundle-test
issue-2703-bundle-test
October 26, 2023 17:55 3m 43s
Fix build bundle tag check Kani Format Check #625: Commit 6045b1b pushed by celinval
October 26, 2023 17:53 4m 27s issue-2703-bundle-test
issue-2703-bundle-test
October 26, 2023 17:53 4m 27s
Issue 2606 test Kani Format Check #624: Pull request #19 synchronize by celinval
October 26, 2023 17:22 3m 7s issue-2606-test
issue-2606-test
October 26, 2023 17:22 3m 7s
Change compiler Kani Format Check #623: Commit 5f4f4d1 pushed by celinval
October 26, 2023 17:22 3m 6s issue-2606-test
issue-2606-test
October 26, 2023 17:22 3m 6s
Unify Kani bundle CI jobs Kani Format Check #622: Commit ee4652d pushed by celinval
October 25, 2023 22:33 4m 21s issue-2703-bundle-test
issue-2703-bundle-test
October 25, 2023 22:33 4m 21s