Skip to content

Actions: jasisz/aver

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,487 workflow runs
2,487 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
wasm-gc: tuple elements keep generic payload types; Char.toCode returns Unicode scalars CI #2123: Pull request #504 opened by jasisz
In progress wasmgc-tuple-generics-char-scalar
wasmgc-tuple-generics-char-scalar
In progress
wasm-gc: tuple elements keep generic payload types; Char.toCode returns Unicode scalars Proof #208: Pull request #504 opened by jasisz
In progress wasmgc-tuple-generics-char-scalar
wasmgc-tuple-generics-char-scalar
In progress
proof: a conditional law's proof can apply an earlier proven conditio… CI #2122: Commit 6ce4d95 pushed by jasisz
13m 1s main
main
13m 1s
proof: a conditional law's proof can apply an earlier proven conditio… Proof #207: Commit 6ce4d95 pushed by jasisz
4m 16s main
main
4m 16s
proof: a conditional law's proof can apply an earlier proven conditional law CI #2121: Pull request #503 opened by jasisz
7m 2s proof-when-lane-consumption
proof-when-lane-consumption
7m 2s
proof: a conditional law's proof can apply an earlier proven conditional law Proof #206: Pull request #503 opened by jasisz
4m 21s proof-when-lane-consumption
proof-when-lane-consumption
4m 21s
website: /grandfather - update: the IEEE 1998 version fixed the defin… Proof #205: Commit 72bd930 pushed by jasisz
4m 13s main
main
4m 13s
website: /grandfather - update: the IEEE 1998 version fixed the defin… CI #2120: Commit 72bd930 pushed by jasisz
12m 24s main
main
12m 24s
website: /grandfather IEEE-version update CI #2119: Pull request #502 opened by jasisz
7m 11s post-ieee-update
post-ieee-update
7m 11s
website: /grandfather IEEE-version update Proof #204: Pull request #502 opened by jasisz
4m 11s post-ieee-update
post-ieee-update
4m 11s
proof: side-build laws can import earlier ones; name clashes degrade … Proof #203: Commit ed07eff pushed by jasisz
4m 12s main
main
4m 12s
proof: side-build laws can import earlier ones; name clashes degrade … CI #2118: Commit ed07eff pushed by jasisz
13m 16s main
main
13m 16s
proof: side-build laws can import earlier ones; name clashes degrade honestly Proof #202: Pull request #501 opened by jasisz
4m 29s lane-imports-and-collision-guard
lane-imports-and-collision-guard
4m 29s
proof: side-build laws can import earlier ones; name clashes degrade honestly CI #2117: Pull request #501 opened by jasisz
7m 45s lane-imports-and-collision-guard
lane-imports-and-collision-guard
7m 45s
proof: universally-proven conditional laws export a plain-logic compa… Proof #201: Commit d65be8d pushed by jasisz
4m 17s main
main
4m 17s
proof: universally-proven conditional laws export a plain-logic compa… CI #2116: Commit d65be8d pushed by jasisz
13m 4s main
main
13m 4s
proof: universally-proven conditional laws export a plain-logic companion form Proof #200: Pull request #500 opened by jasisz
4m 16s conditional-lemma-companions
conditional-lemma-companions
4m 16s
proof: universally-proven conditional laws export a plain-logic companion form CI #2115: Pull request #500 opened by jasisz
6m 50s conditional-lemma-companions
conditional-lemma-companions
6m 50s
honesty: gate shipped examples in CI, count verify-rhs in audit, alig… CI #2114: Commit f5098ff pushed by jasisz
12m 43s main
main
12m 43s
honesty: gate shipped examples in CI, count verify-rhs in audit, alig… Proof #199: Commit f5098ff pushed by jasisz
4m 11s main
main
4m 11s
honesty: CI example gate, audit verify-rhs, wasm-gc string scalars and Result equality CI #2113: Pull request #499 opened by jasisz
7m 12s post-release-honesty
post-release-honesty
7m 12s
honesty: CI example gate, audit verify-rhs, wasm-gc string scalars and Result equality Proof #198: Pull request #499 opened by jasisz
4m 19s post-release-honesty
post-release-honesty
4m 19s
Release 0.25.0 CI #2112: Commit 5f6c6f4 pushed by jasisz
13m 2s main
main
13m 2s
Release 0.25.0 Proof #197: Commit 5f6c6f4 pushed by jasisz
4m 6s main
main
4m 6s
website: /grandfather - social card and open-graph tags (#498) CI #2111: Commit f470f22 pushed by jasisz
12m 49s main
main
12m 49s