Skip to content

Actions: verifast/verifast

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
964 workflow runs
964 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Rust] Turn NonNull_ptr_nonnull into an autolemma (#865) CI #1689: Commit c197823 pushed by btj
August 16, 2025 20:54 12m 24s master
master
August 16, 2025 20:54 12m 24s
[Rust] Turn NonNull_ptr_nonnull into an autolemma (#865) Deploy Rust Reference to GitHub Pages #168: Commit c197823 pushed by btj
August 16, 2025 20:54 20s master
master
August 16, 2025 20:54 20s
[Rust] Turn NonNull_ptr_nonnull into an autolemma CI #1688: Pull request #865 opened by btj
August 16, 2025 20:34 9m 28s btj:raw-vec
btj:raw-vec
August 16, 2025 20:34 9m 28s
raw_vec.rs: Insert line breaks for readability (#864) Deploy Rust Reference to GitHub Pages #167: Commit 7c6d96d pushed by btj
August 16, 2025 15:59 17s master
master
August 16, 2025 15:59 17s
raw_vec.rs: Insert line breaks for readability (#864) CI #1687: Commit 7c6d96d pushed by btj
August 16, 2025 15:59 10m 33s master
master
August 16, 2025 15:59 10m 33s
raw_vec.rs: Insert line breaks for readability CI #1686: Pull request #864 opened by btj
August 16, 2025 04:37 11m 0s btj:raw-vec
btj:raw-vec
August 16, 2025 04:37 11m 0s
rust/std/lib.rsspec: Remove obsolete soundness caveat (#861) CI #1685: Commit 27ebc02 pushed by btj
August 12, 2025 11:38 10m 25s master
master
August 12, 2025 11:38 10m 25s
rust/std/lib.rsspec: Remove obsolete soundness caveat (#861) Deploy Rust Reference to GitHub Pages #166: Commit 27ebc02 pushed by btj
August 12, 2025 11:38 19s master
master
August 12, 2025 11:38 19s
rust/std/lib.rsspec: Remove obsolete soundness caveat CI #1684: Pull request #861 synchronize by btj
August 9, 2025 12:22 10m 19s btj-patch-2
btj-patch-2
August 9, 2025 12:22 10m 19s
Merge branch 'master' into btj-patch-2 CI #1683: Commit 3fd7259 pushed by btj
August 9, 2025 12:22 10m 58s btj-patch-2
btj-patch-2
August 9, 2025 12:22 10m 58s
linked_list.rs: Sync proof with upstream (#862) CI #1682: Commit 264ab9e pushed by btj
August 9, 2025 11:09 13m 14s master
master
August 9, 2025 11:09 13m 14s
linked_list.rs: Sync proof with upstream (#862) Deploy Rust Reference to GitHub Pages #165: Commit 264ab9e pushed by btj
August 9, 2025 11:09 16s master
master
August 9, 2025 11:09 16s
linked_list.rs: Sync proof with upstream CI #1681: Pull request #862 opened by btj
August 9, 2025 10:51 11m 30s btj:linked-list
btj:linked-list
August 9, 2025 10:51 11m 30s
rust/std/lib.rsspec: Remove obsolete soundness caveat CI #1680: Pull request #861 synchronize by btj
August 8, 2025 08:38 10m 47s btj-patch-2
btj-patch-2
August 8, 2025 08:38 10m 47s
Merge branch 'master' into btj-patch-2 CI #1679: Commit 8b905be pushed by btj
August 8, 2025 08:38 20m 35s btj-patch-2
btj-patch-2
August 8, 2025 08:38 20m 35s
VF4RustRef: Warn about debug_assertions conf option (#860) CI #1678: Commit 993e176 pushed by btj
August 8, 2025 08:36 9m 35s master
master
August 8, 2025 08:36 9m 35s
VF4RustRef: Warn about debug_assertions conf option (#860) Deploy Rust Reference to GitHub Pages #164: Commit 993e176 pushed by btj
August 8, 2025 08:36 17s master
master
August 8, 2025 08:36 17s
rust/std/lib.rsspec: Remove obsolete soundness caveat CI #1677: Pull request #861 opened by btj
August 8, 2025 08:24 15m 59s btj-patch-2
btj-patch-2
August 8, 2025 08:24 15m 59s
rust/std/lib.rsspec: Remove obsolete soundness caveat CI #1676: Commit 1fbaf4b pushed by btj
August 8, 2025 08:23 10m 16s btj-patch-2
btj-patch-2
August 8, 2025 08:23 10m 16s
VF4RustRef: Warn about debug_assertions conf option CI #1675: Pull request #860 opened by btj
August 8, 2025 08:21 10m 6s btj-patch-1
btj-patch-1
August 8, 2025 08:21 10m 6s
VF4RustRef: Warn about debug_assertions conf option CI #1674: Commit 2640d48 pushed by btj
August 8, 2025 08:21 10m 23s btj-patch-1
btj-patch-1
August 8, 2025 08:21 10m 23s
lifetime-logic.md: fix example link (#858) CI #1673: Commit f11d03d pushed by btj
August 4, 2025 12:51 10m 34s master
master
August 4, 2025 12:51 10m 34s
lifetime-logic.md: fix example link (#858) Deploy Rust Reference to GitHub Pages #163: Commit f11d03d pushed by btj
August 4, 2025 12:51 21s master
master
August 4, 2025 12:51 21s
lifetime-logic.md: fix example link CI #1672: Pull request #858 opened by btj
July 26, 2025 14:47 10m 7s btj-patch-1
btj-patch-1
July 26, 2025 14:47 10m 7s
lifetime-logic.md: fix example link CI #1671: Commit 114171e pushed by btj
July 26, 2025 14:47 9m 37s btj-patch-1
btj-patch-1
July 26, 2025 14:47 9m 37s