Skip to content

Actions: tautschnig/verify-rust-std

Actions

Run GOTO Transcoder (ESBMC)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
goto-transcoder.yml
104 workflow runs
104 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'main' into iter-range-rs-contracts Run GOTO Transcoder (ESBMC) #104: Commit 5f7edda pushed by tautschnig
July 10, 2025 18:33 17m 59s iter-range-rs-contracts
iter-range-rs-contracts
July 10, 2025 18:33 17m 59s
Ipv6Addr Run GOTO Transcoder (ESBMC) #103: Commit 07490e9 pushed by tautschnig
July 10, 2025 17:40 18m 43s iter-range-rs-contracts
iter-range-rs-contracts
July 10, 2025 17:40 18m 43s
Fmt Run GOTO Transcoder (ESBMC) #102: Commit 3f6b2e1 pushed by tautschnig
July 10, 2025 16:33 18m 26s from_mut_unchecked
from_mut_unchecked
July 10, 2025 16:33 18m 26s
Fix lookup Run GOTO Transcoder (ESBMC) #101: Commit 363984b pushed by tautschnig
July 10, 2025 16:21 17m 53s from_mut_unchecked
from_mut_unchecked
July 10, 2025 16:21 17m 53s
Merge remote-tracking branch 'origin/main' into from_mut_unchecked Run GOTO Transcoder (ESBMC) #100: Commit e160d11 pushed by tautschnig
July 10, 2025 16:00 4m 24s from_mut_unchecked
from_mut_unchecked
July 10, 2025 16:00 4m 24s
Fix subtree automation for submodules when there were no changes Run GOTO Transcoder (ESBMC) #99: Commit fe4c22c pushed by tautschnig
June 25, 2025 18:47 22m 17s fixup-submodule-automation
fixup-submodule-automation
June 25, 2025 18:47 22m 17s
Subtree update automation: update submodules Run GOTO Transcoder (ESBMC) #98: Commit 2459b0f pushed by tautschnig
June 23, 2025 10:12 22m 34s main
main
June 23, 2025 10:12 22m 34s
Subtree update automation: update submodules Run GOTO Transcoder (ESBMC) #97: Commit 2459b0f pushed by tautschnig
June 23, 2025 10:11 23m 9s update-automation-submodule
update-automation-submodule
June 23, 2025 10:11 23m 9s
Remove redundant option Run GOTO Transcoder (ESBMC) #96: Commit bd466bf pushed by tautschnig
June 9, 2025 18:39 23m 37s no-enable-unstable
no-enable-unstable
June 9, 2025 18:39 23m 37s
Kani: use -Z unstable-options instead of --enable-unstable Run GOTO Transcoder (ESBMC) #95: Commit b1a7e11 pushed by tautschnig
June 8, 2025 17:49 23m 15s no-enable-unstable
no-enable-unstable
June 8, 2025 17:49 23m 15s
Fix subtree update action Run GOTO Transcoder (ESBMC) #94: Commit 160d315 pushed by tautschnig
June 2, 2025 18:44 22m 28s fixup-subtree-update
fixup-subtree-update
June 2, 2025 18:44 22m 28s
Free up disk space to ensure successful execution of jobs Run GOTO Transcoder (ESBMC) #93: Commit a88d8f6 pushed by tautschnig
June 2, 2025 08:58 22m 48s free-up-disk-space
free-up-disk-space
June 2, 2025 08:58 22m 48s
Remove whitespace Run GOTO Transcoder (ESBMC) #92: Commit 6258c7d pushed by tautschnig
May 30, 2025 10:50 23m 38s iter-range-rs-contracts
iter-range-rs-contracts
May 30, 2025 10:50 23m 38s
Amend AsciiChar preconditions Run GOTO Transcoder (ESBMC) #91: Commit 8ee85f5 pushed by tautschnig
May 30, 2025 10:41 26m 42s iter-range-rs-contracts
iter-range-rs-contracts
May 30, 2025 10:41 26m 42s
Update library/core/src/iter/range.rs Run GOTO Transcoder (ESBMC) #90: Commit 44bf92b pushed by tautschnig
May 30, 2025 10:16 47m 57s iter-range-rs-contracts
iter-range-rs-contracts
May 30, 2025 10:16 47m 57s
Update library/core/src/iter/range.rs Run GOTO Transcoder (ESBMC) #89: Commit 16e6b0a pushed by tautschnig
May 30, 2025 10:16 40m 52s iter-range-rs-contracts
iter-range-rs-contracts
May 30, 2025 10:16 40m 52s
Update library/core/src/iter/range.rs Run GOTO Transcoder (ESBMC) #88: Commit 0ccaf2f pushed by tautschnig
May 30, 2025 10:16 31m 46s iter-range-rs-contracts
iter-range-rs-contracts
May 30, 2025 10:16 31m 46s
Merge branch 'main' into core_arch_x86-arbitrary Run GOTO Transcoder (ESBMC) #87: Commit 39a7335 pushed by tautschnig
May 30, 2025 09:58 24m 37s core_arch_x86-arbitrary
core_arch_x86-arbitrary
May 30, 2025 09:58 24m 37s
Add comment Run GOTO Transcoder (ESBMC) #86: Commit f67539e pushed by tautschnig
May 30, 2025 09:54 17m 59s unchecked_mull_add
unchecked_mull_add
May 30, 2025 09:54 17m 59s
Merge branch 'main' into contracts-uint_macros Run GOTO Transcoder (ESBMC) #85: Commit 88cfe84 pushed by carolynzech
May 22, 2025 16:28 17m 7s contracts-uint_macros
contracts-uint_macros
May 22, 2025 16:28 17m 7s
Merge branch 'main' into core_arch_x86-arbitrary Run GOTO Transcoder (ESBMC) #84: Commit 3cae612 pushed by tautschnig
May 20, 2025 17:41 34m 48s core_arch_x86-arbitrary
core_arch_x86-arbitrary
May 20, 2025 17:41 34m 48s
Merge branch 'main' into iter-range-rs-contracts Run GOTO Transcoder (ESBMC) #83: Commit 24ea4b1 pushed by tautschnig
May 20, 2025 17:39 31m 58s iter-range-rs-contracts
iter-range-rs-contracts
May 20, 2025 17:39 31m 58s
Merge branch 'main' into alloc-rs-contracts Run GOTO Transcoder (ESBMC) #82: Commit 1952eb1 pushed by tautschnig
May 20, 2025 17:39 19m 5s alloc-rs-contracts
alloc-rs-contracts
May 20, 2025 17:39 19m 5s
Merge branch 'main' into unchecked_mull_add Run GOTO Transcoder (ESBMC) #81: Commit cd7db54 pushed by tautschnig
May 20, 2025 17:17 17m 33s unchecked_mull_add
unchecked_mull_add
May 20, 2025 17:17 17m 33s
Merge branch 'main' into contracts-uint_macros Run GOTO Transcoder (ESBMC) #80: Commit 9588fa8 pushed by tautschnig
May 20, 2025 15:13 23m 53s contracts-uint_macros
contracts-uint_macros
May 20, 2025 15:13 23m 53s