misc fixes

917fad7

Select commit

Loading

Failed to load commit list.

There was an error while loading. Please reload this page.

CI on: pull_request 29

tools

lean

case-studies-dafny (midspiral/collab-todo-lemmascript, main)

case-studies-dafny (midspiral/colorwheel-lemmascript, main)

case-studies-dafny (midspiral/clear-split-lemmascript, main)

case-studies-dafny (midspiral/hono-lemmascript, lemmascript)

case-studies-dafny (CHARM-BDF/charmchat, lemma)

case-studies-dafny (midspiral/xyflow-lemmascript, lemmascript)

case-studies-dafny (midspiral/equality-game-lemmascript, main)

case-studies-dafny (midspiral/rallly-lemmascript, lemmascript)

case-studies-dafny (midspiral/talktimer-lemmascript, main)

case-studies-dafny (midspiral/trace-solo-lemmascript, main)

case-studies-dafny (midspiral/pi-lemmascript, lemmascript)

case-studies-dafny (midspiral/guardians-lemmascript, main)

case-studies-dafny (midspiral/quorum-lemmascript, main)

case-studies-dafny (midspiral/quota-lemmascript, main)

case-studies-dafny (midspiral/henri-lemmascript, main)

case-studies-dafny (midspiral/eventab-lemmascript, main)

case-studies-lean (midspiral/colorwheel-lemmascript, main)

case-studies-lean (midspiral/clear-split-lemmascript, main)

Annotations

1 warning

Cache save failed.

case-studies-lean (midspiral/colorwheel-lemmascript, main)

succeeded Jun 24, 2026 in 7m 4s

Loading