Skip to content

Actions: tautschnig/verify-rust-std

Actions

Rust Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rustc.yml
124 workflow runs
124 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'main' into add-rewards Rust Tests #155: Commit 56ba485 pushed by tautschnig
36m 39s add-rewards
add-rewards
36m 39s
Fixup merge resolution: Add and update rewards to open challenges lac… Rust Tests #154: Commit 2975993 pushed by tautschnig
4m 20s add-rewards
add-rewards
4m 20s
Merge branch 'main' into update-readme-challenge-1 Rust Tests #153: Commit 994cbf4 pushed by feliperodri
2h 25m 50s update-readme-challenge-1
update-readme-challenge-1
2h 25m 50s
Merge branch 'main' into use-quantifiers Rust Tests #152: Commit 79fbe49 pushed by feliperodri
29m 3s use-quantifiers
use-quantifiers
29m 3s
Merge branch 'main' into add-rewards Rust Tests #151: Commit 5753768 pushed by feliperodri
36m 55s add-rewards
add-rewards
36m 55s
Update README.md now that Challenge 1 is resolved Rust Tests #150: Commit 9265556 pushed by tautschnig
5m 38s update-readme-challenge-1
update-readme-challenge-1
5m 38s
Update Kani Metrics (#478) Rust Tests #149: Commit 8de7d8f pushed by tautschnig
6m 15s main
main
6m 15s
Merge branch 'main' into add-rewards Rust Tests #148: Commit ceaa320 pushed by tautschnig
5m 23s add-rewards
add-rewards
5m 23s
Merge branch 'main' into use-quantifiers Rust Tests #147: Commit 15d681f pushed by tautschnig
4m 2s use-quantifiers
use-quantifiers
4m 2s
Merge branch 'main' into flux-in-tools Rust Tests #146: Commit 5cd75b0 pushed by tautschnig
34m 40s flux-in-tools
flux-in-tools
34m 40s
Don't use strong post-condition with Kani just yet Rust Tests #145: Commit bf3aef2 pushed by tautschnig
27m 48s use-quantifiers
use-quantifiers
27m 48s
Merge branch 'main' into use-quantifiers Rust Tests #144: Commit 47735b2 pushed by feliperodri
3m 54s use-quantifiers
use-quantifiers
3m 54s
Remove spurious comments about the need for quantifiers Rust Tests #143: Commit 99ea78b pushed by tautschnig
6m 58s use-quantifiers
use-quantifiers
6m 58s
Add Flux to list of approved tools Rust Tests #142: Commit 9b9d3f2 pushed by tautschnig
29m 54s flux-in-tools
flux-in-tools
29m 54s
Merge branch 'main' into iter-range-rs-contracts Rust Tests #141: Commit 5f7edda pushed by tautschnig
25m 34s iter-range-rs-contracts
iter-range-rs-contracts
25m 34s
Ipv6Addr Rust Tests #140: Commit 07490e9 pushed by tautschnig
10m 57s iter-range-rs-contracts
iter-range-rs-contracts
10m 57s
Fmt Rust Tests #139: Commit 3f6b2e1 pushed by tautschnig
24m 45s from_mut_unchecked
from_mut_unchecked
24m 45s
Fix lookup Rust Tests #138: Commit 363984b pushed by tautschnig
4m 6s from_mut_unchecked
from_mut_unchecked
4m 6s
Merge remote-tracking branch 'origin/main' into from_mut_unchecked Rust Tests #137: Commit e160d11 pushed by tautschnig
4m 32s from_mut_unchecked
from_mut_unchecked
4m 32s
Fix subtree automation for submodules when there were no changes Rust Tests #136: Commit fe4c22c pushed by tautschnig
5m 16s fixup-submodule-automation
fixup-submodule-automation
5m 16s
Subtree update automation: update submodules Rust Tests #135: Commit 2459b0f pushed by tautschnig
55m 59s main
main
55m 59s
Subtree update automation: update submodules Rust Tests #134: Commit 2459b0f pushed by tautschnig
50m 29s update-automation-submodule
update-automation-submodule
50m 29s
Kani: use -Z unstable-options instead of --enable-unstable Rust Tests #133: Commit b1a7e11 pushed by tautschnig
6m 41s no-enable-unstable
no-enable-unstable
6m 41s
Fix subtree update action Rust Tests #132: Commit 160d315 pushed by tautschnig
7m 8s fixup-subtree-update
fixup-subtree-update
7m 8s
Free up disk space to ensure successful execution of jobs Rust Tests #131: Commit a88d8f6 pushed by tautschnig
8m 34s free-up-disk-space
free-up-disk-space
8m 34s