Skip to content

Actions: hydro-project/hydro

Actions

docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
2,500+ workflow runs
2,500+ workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
wip: Lean formalization of Flo / Gyatso / Hydro docs #6195: Pull request #3190 synchronize by shadaj
3m 27s sandbox-5a878146-15ba-4cec-bc5d-90d176c0d334
sandbox-5a878146-15ba-4cec-bc5d-90d176c0d334
3m 27s
docs(hydro_lang): add Proof Obligations page covering manual and Verus proofs docs #6194: Pull request #3215 synchronize by shadaj
3m 38s sandbox-c27bd186-c49f-48b4-96c9-c9fa8c9dc643
sandbox-c27bd186-c49f-48b4-96c9-c9fa8c9dc643
3m 38s
wip: Lean formalization of Flo / Gyatso / Hydro docs #6193: Pull request #3190 synchronize by shadaj
2m 59s sandbox-5a878146-15ba-4cec-bc5d-90d176c0d334
sandbox-5a878146-15ba-4cec-bc5d-90d176c0d334
2m 59s
docs(hydro_lang): add Proof Obligations page covering manual and Verus proofs docs #6192: Pull request #3215 opened by shadaj
3m 15s sandbox-c27bd186-c49f-48b4-96c9-c9fa8c9dc643
sandbox-c27bd186-c49f-48b4-96c9-c9fa8c9dc643
3m 15s
refactor: use sender of AppendEntries for known leader docs #6191: Pull request #3213 synchronize by MingweiSamuel
5m 47s jamessmcgivern:use-sender-of-appendentries-for-known-leader
jamessmcgivern:use-sender-of-appendentries-for-known-leader
5m 47s
chore: format under latest nightly docs #6190: Commit 16df26f pushed by MingweiSamuel
15m 2s main
main
15m 2s
refactor: use sender of AppendEntries for known leader docs #6189: Pull request #3213 synchronize by jamessmcgivern
3m 52s jamessmcgivern:use-sender-of-appendentries-for-known-leader
jamessmcgivern:use-sender-of-appendentries-for-known-leader
3m 52s
feat(hydro_lang): Verus-checked idempotence proofs docs #6188: Pull request #3214 opened by kris-gaudel
3m 54s kris-gaudel:kris-gaudel/idempotence-proof
kris-gaudel:kris-gaudel/idempotence-proof
3m 54s
refactor: use sender of AppendEntries for known leader docs #6187: Pull request #3213 synchronize by jamessmcgivern
3m 19s jamessmcgivern:use-sender-of-appendentries-for-known-leader
jamessmcgivern:use-sender-of-appendentries-for-known-leader
3m 19s
refactor: use sender of AppendEntries for known leader docs #6186: Pull request #3213 opened by jamessmcgivern
3m 56s jamessmcgivern:use-sender-of-appendentries-for-known-leader
jamessmcgivern:use-sender-of-appendentries-for-known-leader
3m 56s
wip: Lean formalization of Flo / Gyatso / Hydro docs #6185: Pull request #3190 synchronize by shadaj
3m 47s sandbox-5a878146-15ba-4cec-bc5d-90d176c0d334
sandbox-5a878146-15ba-4cec-bc5d-90d176c0d334
3m 47s
chore: update to rust 1.98.1, enable new lints, cleanups docs #6184: Pull request #3210 synchronize by MingweiSamuel
3m 56s mingwei/1981
mingwei/1981
3m 56s
chore: update to rust 1.98.1, enable new lints, cleanups docs #6183: Pull request #3210 synchronize by MingweiSamuel
3m 45s mingwei/1981
mingwei/1981
3m 45s
refactor(dfir_lang): represent root unbounded Optionals and KeyedSingletons as tombstoned Option<T> pipes docs #6182: Pull request #3189 synchronize by MingweiSamuel
3m 52s mingwei/unboundopt
mingwei/unboundopt
3m 52s
chore: update to rust 1.98.1, enable new lints, cleanups docs #6181: Pull request #3210 synchronize by MingweiSamuel
4m 3s mingwei/1981
mingwei/1981
4m 3s
chore: update to rust 1.98.1, enable new lints, cleanups docs #6180: Pull request #3210 synchronize by MingweiSamuel
4m 30s mingwei/1981
mingwei/1981
4m 30s
chore: update to rust 1.98.1, enable new lints, cleanups docs #6179: Pull request #3210 opened by MingweiSamuel
3m 4s mingwei/1981
mingwei/1981
3m 4s
chore: enable many new workspace clippy lints and fix all resulting w… docs #6178: Commit aca1170 pushed by MingweiSamuel
4m 33s main
main
4m 33s
Release lattices_macro v0.6.1-alpha.1, dfir_pipes v0.1.0-alpha.4, dfi… docs #6177: Commit a0d93a3 pushed by hydro-project-bot Bot
1m 53s main
main
1m 53s
chore: enable many new workspace clippy lints and fix all resulting warnings docs #6176: Pull request #3204 synchronize by MingweiSamuel
2m 47s mingwei/more-lints
mingwei/more-lints
2m 47s
ci: update cargo-smart-release patch docs #6175: Commit 485f720 pushed by MingweiSamuel
2m 26s main
main
2m 26s
chore: enable many new workspace clippy lints and fix all resulting warnings docs #6174: Pull request #3204 synchronize by MingweiSamuel
1m 43s mingwei/more-lints
mingwei/more-lints
1m 43s
chore: enable many new workspace clippy lints and fix all resulting warnings docs #6173: Pull request #3204 synchronize by MingweiSamuel
2m 49s mingwei/more-lints
mingwei/more-lints
2m 49s
wip: Lean formalization of Flo / Gyatso / Hydro docs #6172: Pull request #3190 synchronize by shadaj
2m 28s sandbox-5a878146-15ba-4cec-bc5d-90d176c0d334
sandbox-5a878146-15ba-4cec-bc5d-90d176c0d334
2m 28s
chore: enable many new workspace clippy lints and fix all resulting warnings docs #6171: Pull request #3204 synchronize by MingweiSamuel
1m 49s mingwei/more-lints
mingwei/more-lints
1m 49s