Skip to content

Actions: deeplethe/pulse-spatial

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
51 workflow runs
51 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
Project derived events, closing the oldest open gap tests #51: Commit 5fa3c84 pushed by WaylandYang
8m 5s feature/uniform-domains
feature/uniform-domains
8m 5s
Snapshot and restore the runtime, so a restart resumes tests #50: Commit 8b97b63 pushed by WaylandYang
6m 51s feature/uniform-domains
feature/uniform-domains
6m 51s
Add running totals, and record the one gap left undone deliberately tests #49: Commit a2735c1 pushed by WaylandYang
7m 55s feature/uniform-domains
feature/uniform-domains
7m 55s
Add windowed extremes and a ratio, closing two more named gaps tests #48: Commit d231abe pushed by WaylandYang
8m 20s feature/uniform-domains
feature/uniform-domains
8m 20s
Add a deadband, so a value on the boundary stops cancelling its own a… tests #47: Commit 40b2da6 pushed by WaylandYang
8m 21s feature/uniform-domains
feature/uniform-domains
8m 21s
Encode the collected rules, and record what could not be written tests #46: Commit 49422b4 pushed by WaylandYang
8m 8s feature/uniform-domains
feature/uniform-domains
8m 8s
Give windowed aggregates a language surface, and let an entity hold t… tests #45: Commit 0db68f6 pushed by WaylandYang
8m 30s feature/uniform-domains
feature/uniform-domains
8m 30s
Extend the mechanized frame property to time advance tests #44: Commit feb43dd pushed by WaylandYang
7m 49s feature/uniform-domains
feature/uniform-domains
7m 49s
Add time-weighted averages, with crossings solved rather than sampled tests #43: Commit f9997b5 pushed by WaylandYang
8m 6s feature/uniform-domains
feature/uniform-domains
8m 6s
Add windowed counts, and let time alone flip a condition tests #42: Commit 3136142 pushed by WaylandYang
8m 20s feature/uniform-domains
feature/uniform-domains
8m 20s
Survey prior art before designing windowed aggregates tests #41: Commit 46cc015 pushed by WaylandYang
8m 11s feature/uniform-domains
feature/uniform-domains
8m 11s
Correct the count finding: it was a search failure, and both shapes a… tests #40: Commit 2667020 pushed by WaylandYang
8m 3s feature/uniform-domains
feature/uniform-domains
8m 3s
Annotate the collected drilling rules, and record what the annotation… tests #39: Commit 4fee5b2 pushed by WaylandYang
7m 56s feature/uniform-domains
feature/uniform-domains
7m 56s
Reposition the README: this is PULSE, and it models ontologies tests #38: Commit 22630f3 pushed by WaylandYang
5m 34s feature/uniform-domains
feature/uniform-domains
5m 34s
Let any property carry evidence, not only a position tests #37: Commit 8bebb91 pushed by WaylandYang
8m 5s feature/uniform-domains
feature/uniform-domains
8m 5s
Extend the executable Lean kernel and the bridge to derived members tests #36: Commit 893e71e pushed by WaylandYang
7m 36s feature/uniform-domains
feature/uniform-domains
7m 36s
Restore the mechanized frame property for derived members tests #35: Commit 0214d63 pushed by WaylandYang
8m 5s feature/uniform-domains
feature/uniform-domains
8m 5s
Expand contract fault study and audit dateline tracks tests #34: Commit 798fb7e pushed by WaylandYang
8m 7s v0.1.0-alpha
v0.1.0-alpha
8m 7s
Accept out-of-order feeds without weakening the runtime tests #33: Commit 5ddf14d pushed by WaylandYang
8m 31s feature/uniform-domains
feature/uniform-domains
8m 31s
Expand contract fault study and audit dateline tracks tests #32: Commit 798fb7e pushed by WaylandYang
7m 47s main
main
7m 47s
document legacy RDF role labels tests #31: Commit df8fcd9 pushed by WaylandYang
7m 28s main
main
7m 28s
fix reproduction environment contract tests #30: Commit c6e4764 pushed by WaylandYang
8m 9s main
main
8m 9s
tighten artifact claims and reproduction map tests #29: Commit ec13e42 pushed by WaylandYang
8m 7s main
main
8m 7s
strengthen grounded execution and scenario isolation tests #28: Commit 5450ef7 pushed by WaylandYang
8m 14s main
main
8m 14s
mechanize deterministic timer identity and ordering tests #27: Commit 897a1ce pushed by WaylandYang
7m 42s main
main
7m 42s