Skip to content

Actions: BlockstreamResearch/SimplicityHL

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
261 workflow runs
261 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CONTRIBUTING.md: elaborate LLM policy and add copy of LLVM's LLM policy Continuous integration #98: Pull request #193 synchronize by apoelstra
1m 28s apoelstra:2026-01/ai-policy
apoelstra:2026-01/ai-policy
1m 28s
CONTRIBUTING.md: elaborate LLM policy and add copy of LLVM's LLM policy Continuous integration #97: Pull request #193 opened by apoelstra
1m 30s apoelstra:2026-01/ai-policy
apoelstra:2026-01/ai-policy
1m 30s
Merge BlockstreamResearch/simfony#187: analyze_named_module: make mis… Continuous integration #96: Commit 9ee83e8 pushed by apoelstra
1m 49s master
master
1m 49s
Context-Aware Witness Deserialization with Optional Comments Continuous integration #95: Pull request #190 synchronize by coremoon
Action required coremoon:master
coremoon:master
Action required
Context-Aware Witness Deserialization with Optional Comments Continuous integration #94: Pull request #190 opened by coremoon
1m 24s coremoon:master
coremoon:master
1m 24s
analyze_named_module: make missing modules equivalent to empty ones Continuous integration #93: Pull request #187 synchronize by apoelstra
1m 32s apoelstra:push-olpuumrmrnro
apoelstra:push-olpuumrmrnro
1m 32s
analyze_named_module: make missing modules equivalent to empty ones Continuous integration #92: Pull request #187 opened by apoelstra
1m 34s apoelstra:push-olpuumrmrnro
apoelstra:push-olpuumrmrnro
1m 34s
Merge BlockstreamResearch/SimplicityHL#184: Add DefaultTracker Continuous integration #91: Commit 31783fe pushed by KyrylR
6m 31s master
master
6m 31s
Add DefaultTracker Continuous integration #90: Pull request #184 synchronize by KyrylR
1m 34s feature/tracker
feature/tracker
1m 34s
pest to chumsky migration Continuous integration #89: Pull request #185 opened by gerau
6m 4s distributed-lab:simc/chumsky-migration
distributed-lab:simc/chumsky-migration
6m 4s
Add DefaultTracker Continuous integration #88: Pull request #184 synchronize by KyrylR
1m 40s feature/tracker
feature/tracker
1m 40s
Add DefaultTracker Continuous integration #87: Pull request #184 synchronize by KyrylR
1m 36s feature/tracker
feature/tracker
1m 36s
Add DefaultTracker Continuous integration #86: Pull request #184 synchronize by KyrylR
1m 39s feature/tracker
feature/tracker
1m 39s
Add DefaultTracker Continuous integration #85: Pull request #184 synchronize by KyrylR
1m 49s feature/tracker
feature/tracker
1m 49s
Add DefaultTracker Continuous integration #84: Pull request #184 synchronize by KyrylR
1m 38s feature/tracker
feature/tracker
1m 38s
Add DefaultTracker Continuous integration #83: Pull request #184 synchronize by KyrylR
1m 35s feature/tracker
feature/tracker
1m 35s
Add DefaultTracker Continuous integration #82: Pull request #184 synchronize by KyrylR
1m 51s feature/tracker
feature/tracker
1m 51s
Add DefaultTracker Continuous integration #81: Pull request #184 synchronize by KyrylR
1m 31s feature/tracker
feature/tracker
1m 31s
Add DefaultTracker Continuous integration #80: Pull request #184 opened by KyrylR
1m 29s feature/tracker
feature/tracker
1m 29s
Merge BlockstreamResearch/simfony#180: feature(simc): flag for json o… Continuous integration #79: Commit 5fd6593 pushed by apoelstra
1m 34s master
master
1m 34s
feature(simc): flag for json output Continuous integration #78: Pull request #180 opened by delta1
1m 38s delta1:feature/json
delta1:feature/json
1m 38s
LSP: add tree-sitter as main parsing option LSP CI #22: Pull request #176 synchronize by gerau
54s distributed-lab:dev
distributed-lab:dev
54s
LSP: add tree-sitter as main parsing option Continuous integration #77: Pull request #176 synchronize by gerau
1m 37s distributed-lab:dev
distributed-lab:dev
1m 37s
LSP: add tree-sitter as main parsing option Continuous integration #76: Pull request #176 synchronize by gerau
1m 36s distributed-lab:dev
distributed-lab:dev
1m 36s
LSP: add tree-sitter as main parsing option LSP CI #21: Pull request #176 synchronize by gerau
58s distributed-lab:dev
distributed-lab:dev
58s