Skip to content

Actions: tautschnig/verify-rust-std

Actions

VeriFast (negative)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
verifast-negative.yml
79 workflow runs
79 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'main' into iter-range-rs-contracts VeriFast (negative) #79: Commit 5f7edda pushed by tautschnig
July 10, 2025 18:33 22s iter-range-rs-contracts
iter-range-rs-contracts
July 10, 2025 18:33 22s
Ipv6Addr VeriFast (negative) #78: Commit 07490e9 pushed by tautschnig
July 10, 2025 17:40 23s iter-range-rs-contracts
iter-range-rs-contracts
July 10, 2025 17:40 23s
Fmt VeriFast (negative) #77: Commit 3f6b2e1 pushed by tautschnig
July 10, 2025 16:33 22s from_mut_unchecked
from_mut_unchecked
July 10, 2025 16:33 22s
Fix lookup VeriFast (negative) #76: Commit 363984b pushed by tautschnig
July 10, 2025 16:21 27s from_mut_unchecked
from_mut_unchecked
July 10, 2025 16:21 27s
Merge remote-tracking branch 'origin/main' into from_mut_unchecked VeriFast (negative) #75: Commit e160d11 pushed by tautschnig
July 10, 2025 16:00 29s from_mut_unchecked
from_mut_unchecked
July 10, 2025 16:00 29s
Fix subtree automation for submodules when there were no changes VeriFast (negative) #74: Commit fe4c22c pushed by tautschnig
June 25, 2025 18:47 32s fixup-submodule-automation
fixup-submodule-automation
June 25, 2025 18:47 32s
Subtree update automation: update submodules VeriFast (negative) #73: Commit 2459b0f pushed by tautschnig
June 23, 2025 10:12 22m 57s main
main
June 23, 2025 10:12 22m 57s
Subtree update automation: update submodules VeriFast (negative) #72: Commit 2459b0f pushed by tautschnig
June 23, 2025 10:11 38s update-automation-submodule
update-automation-submodule
June 23, 2025 10:11 38s
Kani: use -Z unstable-options instead of --enable-unstable VeriFast (negative) #71: Commit b1a7e11 pushed by tautschnig
June 8, 2025 17:49 21s no-enable-unstable
no-enable-unstable
June 8, 2025 17:49 21s
Fix subtree update action VeriFast (negative) #70: Commit 160d315 pushed by tautschnig
June 2, 2025 18:44 2m 23s fixup-subtree-update
fixup-subtree-update
June 2, 2025 18:44 2m 23s
Free up disk space to ensure successful execution of jobs VeriFast (negative) #69: Commit a88d8f6 pushed by tautschnig
June 2, 2025 08:58 23s free-up-disk-space
free-up-disk-space
June 2, 2025 08:58 23s
Remove whitespace VeriFast (negative) #68: Commit 6258c7d pushed by tautschnig
May 30, 2025 10:50 1m 52s iter-range-rs-contracts
iter-range-rs-contracts
May 30, 2025 10:50 1m 52s
Amend AsciiChar preconditions VeriFast (negative) #67: Commit 8ee85f5 pushed by tautschnig
May 30, 2025 10:41 9m 55s iter-range-rs-contracts
iter-range-rs-contracts
May 30, 2025 10:41 9m 55s
Update library/core/src/iter/range.rs VeriFast (negative) #66: Commit 44bf92b pushed by tautschnig
May 30, 2025 10:16 34m 3s iter-range-rs-contracts
iter-range-rs-contracts
May 30, 2025 10:16 34m 3s
Update library/core/src/iter/range.rs VeriFast (negative) #65: Commit 16e6b0a pushed by tautschnig
May 30, 2025 10:16 33m 36s iter-range-rs-contracts
iter-range-rs-contracts
May 30, 2025 10:16 33m 36s
Update library/core/src/iter/range.rs VeriFast (negative) #64: Commit 0ccaf2f pushed by tautschnig
May 30, 2025 10:16 6m 42s iter-range-rs-contracts
iter-range-rs-contracts
May 30, 2025 10:16 6m 42s
Merge branch 'main' into core_arch_x86-arbitrary VeriFast (negative) #63: Commit 39a7335 pushed by tautschnig
May 30, 2025 09:58 4m 31s core_arch_x86-arbitrary
core_arch_x86-arbitrary
May 30, 2025 09:58 4m 31s
Add comment VeriFast (negative) #62: Commit f67539e pushed by tautschnig
May 30, 2025 09:54 23s unchecked_mull_add
unchecked_mull_add
May 30, 2025 09:54 23s
Merge branch 'main' into contracts-uint_macros VeriFast (negative) #61: Commit 88cfe84 pushed by carolynzech
May 22, 2025 16:28 25s contracts-uint_macros
contracts-uint_macros
May 22, 2025 16:28 25s
Merge branch 'main' into core_arch_x86-arbitrary VeriFast (negative) #60: Commit 3cae612 pushed by tautschnig
May 20, 2025 17:41 13m 7s core_arch_x86-arbitrary
core_arch_x86-arbitrary
May 20, 2025 17:41 13m 7s
Merge branch 'main' into iter-range-rs-contracts VeriFast (negative) #59: Commit 24ea4b1 pushed by tautschnig
May 20, 2025 17:39 22m 51s iter-range-rs-contracts
iter-range-rs-contracts
May 20, 2025 17:39 22m 51s
Merge branch 'main' into alloc-rs-contracts VeriFast (negative) #58: Commit 1952eb1 pushed by tautschnig
May 20, 2025 17:39 14m 16s alloc-rs-contracts
alloc-rs-contracts
May 20, 2025 17:39 14m 16s
Merge branch 'main' into unchecked_mull_add VeriFast (negative) #57: Commit cd7db54 pushed by tautschnig
May 20, 2025 17:17 26s unchecked_mull_add
unchecked_mull_add
May 20, 2025 17:17 26s
Merge branch 'main' into contracts-uint_macros VeriFast (negative) #56: Commit 9588fa8 pushed by tautschnig
May 20, 2025 15:13 24m 17s contracts-uint_macros
contracts-uint_macros
May 20, 2025 15:13 24m 17s
Merge branch 'main' into metrics-tooling2 VeriFast (negative) #55: Commit 8edccef pushed by tautschnig
May 20, 2025 15:12 22s metrics-tooling2
metrics-tooling2
May 20, 2025 15:12 22s