Skip to content
Plugins

Replace the min-cost stuff with a simple multiplication by 100 #7141

Sign in to view logs

Replace the min-cost stuff with a simple multiplication by 100

Replace the min-cost stuff with a simple multiplication by 100 #7141

Triggered via push November 7, 2025 23:29
@pavpanchekhapavpanchekha
pushed 0d1aff1
cleanup-egglog
Status Success
Total duration 5m 42s
Artifacts –

plugins.yml

on: push
Plugin tests (Posits)
5m 38s
Plugin tests (Posits)
Fit to window
Zoom out
Zoom in