Skip to content

Actions: celinval/kani-dev

Actions

Cargo Audit

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
452 workflow runs
452 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Extend name resolution to support qualified paths Cargo Audit #901: Commit 3988d81 pushed by celinval
July 30, 2024 23:20 1m 10s issue-2524-stub-trait
issue-2524-stub-trait
July 30, 2024 23:20 1m 10s
Update kani_metadata/src/harness.rs Cargo Audit #900: Commit 3b75f2c pushed by celinval
July 30, 2024 03:37 1m 5s issue-3383-contract-playback
issue-3383-contract-playback
July 30, 2024 03:37 1m 5s
Update library/kani_core/src/arbitrary.rs Cargo Audit #899: Commit eb67857 pushed by celinval
July 30, 2024 03:37 1m 8s issue-3383-contract-playback
issue-3383-contract-playback
July 30, 2024 03:37 1m 8s
Add missing test configuration file Cargo Audit #898: Commit e2a2e4a pushed by celinval
July 29, 2024 21:35 1m 2s issue-3383-contract-playback
issue-3383-contract-playback
July 29, 2024 21:35 1m 2s
Fix unit tests and apply changes to kani_core Cargo Audit #897: Commit 5922fdb pushed by celinval
July 29, 2024 20:55 1m 5s issue-3383-contract-playback
issue-3383-contract-playback
July 29, 2024 20:55 1m 5s
Fix unit tests and apply changes to kani_core Cargo Audit #896: Commit 2cb1be8 pushed by celinval
July 29, 2024 20:54 1m 2s issue-3383-contract-playback
issue-3383-contract-playback
July 29, 2024 20:54 1m 2s
Update verify-std-check.yml Cargo Audit #895: Commit 70bd9bd pushed by celinval
July 29, 2024 19:52 1m 0s issue-xxxx-verify-std-check
issue-xxxx-verify-std-check
July 29, 2024 19:52 1m 0s
Merge branch 'main' into issue-xxxx-verify-std-check Cargo Audit #894: Commit 9fa47c4 pushed by jaisnan
July 29, 2024 19:27 1m 1s issue-xxxx-verify-std-check
issue-xxxx-verify-std-check
July 29, 2024 19:27 1m 1s
Fix verify-std-check outcome check Cargo Audit #893: Commit a54f505 pushed by celinval
July 29, 2024 18:08 1m 2s issue-xxxx-verify-std-check
issue-xxxx-verify-std-check
July 29, 2024 18:08 1m 2s
Bump tests/perf/s2n-quic from 75afd77 to cc4e6d0 (#3393) Cargo Audit #892: Commit 91d1829 pushed by celinval
July 29, 2024 18:05 5m 29s main
main
July 29, 2024 18:05 5m 29s
Fix clippy Cargo Audit #891: Commit a143747 pushed by celinval
July 27, 2024 05:05 1m 11s issue-3383-contract-playback
issue-3383-contract-playback
July 27, 2024 05:05 1m 11s
Fix concrete playback for array and add test Cargo Audit #890: Commit 33188d1 pushed by celinval
July 26, 2024 23:49 56s issue-3383-contract-playback
issue-3383-contract-playback
July 26, 2024 23:49 56s
Merge branch 'main' into issue-3206-tests Cargo Audit #889: Commit 01fa123 pushed by celinval
July 26, 2024 22:06 1m 4s issue-3206-tests
issue-3206-tests
July 26, 2024 22:06 1m 4s
Add fixme tests for contracts for different issues Cargo Audit #888: Commit aac359f pushed by celinval
July 26, 2024 22:03 1m 3s issue-3206-tests
issue-3206-tests
July 26, 2024 22:03 1m 3s
Fix contract for std constant functions Cargo Audit #887: Commit 3582b35 pushed by celinval
July 26, 2024 19:58 1m 7s issue-3206-contract-method
issue-3206-contract-method
July 26, 2024 19:58 1m 7s
Fix regression after merge Cargo Audit #886: Commit 5d28e22 pushed by celinval
July 25, 2024 23:39 1m 2s issue-3206-contract-method
issue-3206-contract-method
July 25, 2024 23:39 1m 2s
Fix tests to include -Zfunction-contracts Cargo Audit #885: Commit e3d907f pushed by celinval
July 25, 2024 22:45 1m 2s issue-3206-contract-method
issue-3206-contract-method
July 25, 2024 22:45 1m 2s
Add a workflow to update features/verify-rust-std Cargo Audit #884: Commit 3b97847 pushed by celinval
July 25, 2024 21:39 1m 23s main
main
July 25, 2024 21:39 1m 23s
Add a workflow to update features/verify-rust-std Cargo Audit #883: Commit 3b97847 pushed by celinval
July 25, 2024 21:38 1m 5s issue-xxxx-std-regression
issue-xxxx-std-regression
July 25, 2024 21:38 1m 5s
Add a workflow to update features/verify-rust-std Cargo Audit #882: Commit ea7d93b pushed by celinval
July 25, 2024 21:31 57s issue-xxxx-std-regression
issue-xxxx-std-regression
July 25, 2024 21:31 57s
Add a workflow to update features/verify-rust-std Cargo Audit #881: Commit ea7d93b pushed by celinval
July 25, 2024 21:24 4m 10s main
main
July 25, 2024 21:24 4m 10s
Add a workflow to update features/verify-rust-std Cargo Audit #880: Commit 41972ac pushed by celinval
July 25, 2024 21:19 1m 15s main
main
July 25, 2024 21:19 1m 15s
Test CI Cargo Audit #879: Pull request #53 synchronize by celinval
July 25, 2024 21:07 54s issue-xxxx-std-regression
issue-xxxx-std-regression
July 25, 2024 21:07 54s
Add a workflow to update features/verify-rust-std Cargo Audit #878: Commit 41972ac pushed by celinval
July 25, 2024 21:07 1m 1s issue-xxxx-std-regression
issue-xxxx-std-regression
July 25, 2024 21:07 1m 1s
Test CI Cargo Audit #877: Pull request #53 opened by celinval
July 25, 2024 21:00 57s issue-xxxx-std-regression
issue-xxxx-std-regression
July 25, 2024 21:00 57s