Skip to content

Actions: jsiek/deduce

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,278 workflow runs
2,278 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
Add product list example proving the append homomorphism (#992) Run Tests #1952: Commit f995b96 pushed by jsiek
5m 39s main
main
5m 39s
Add product list example proving the append homomorphism (#992) Deploy to GitHub Pages #970: Commit f995b96 pushed by jsiek
4m 29s main
main
4m 29s
Add product list example proving the append homomorphism Run Tests #1951: Pull request #992 opened by jsiek
5m 6s claude/affectionate-nightingale-c43830
claude/affectionate-nightingale-c43830
5m 6s
Preserve public prefix when round-tripping Import declarations (#990) Deploy to GitHub Pages #969: Commit afc2250 pushed by jsiek
7m 33s main
main
7m 33s
Preserve public prefix when round-tripping Import declarations (#990) Run Tests #1950: Commit afc2250 pushed by jsiek
5m 31s main
main
5m 31s
Pretty-printer drops parens around not X operands of =/infix ops Auto-close parent when all sub-issues closed #139: Issue #987 closed by jsiek
6s
6s
Pretty-printer: parenthesize not X operands of infix ops (closes #9… Deploy to GitHub Pages #968: Commit 81c477f pushed by jsiek
5m 7s main
main
5m 7s
Pretty-printer: parenthesize not X operands of infix ops (closes #9… Run Tests #1949: Commit 81c477f pushed by jsiek
4m 59s main
main
4m 59s
Preserve public prefix when round-tripping Import declarations Run Tests #1948: Pull request #990 opened by jsiek
4m 52s claude/nice-borg-7d2d52
claude/nice-borg-7d2d52
4m 52s
Pretty-printer: parenthesize not X operands of infix ops (closes #987) Run Tests #1947: Pull request #989 opened by jsiek
5m 10s claude/suspicious-lamport-7fe4e6
claude/suspicious-lamport-7fe4e6
5m 10s
Fix Cases proof round-trip when embedded in simplify/expand/replace (… Deploy to GitHub Pages #967: Commit b2ee640 pushed by jsiek
9m 7s main
main
9m 7s
Fix Cases proof round-trip when embedded in simplify/expand/replace (… Run Tests #1946: Commit b2ee640 pushed by jsiek
5m 30s main
main
5m 30s
Document Phase 1 imperative syntax in docs and editors (#985) Run Tests #1945: Commit 378ddbe pushed by jsiek
5m 24s main
main
5m 24s
Document Phase 1 imperative syntax in docs and editors (#985) Deploy to GitHub Pages #966: Commit 378ddbe pushed by jsiek
5m 32s main
main
5m 32s
Fix Cases proof round-trip in str-cascading contexts (Refs #931) Run Tests #1944: Pull request #986 opened by jsiek
4m 50s claude/angry-sammet-fa971d
claude/angry-sammet-fa971d
4m 50s
Document Phase 1 imperative syntax in docs and editors Run Tests #1943: Pull request #985 synchronize by jsiek
5m 29s claude/gifted-noyce-199dbf
claude/gifted-noyce-199dbf
5m 29s
Document Phase 1 imperative syntax in docs and editors Run Tests #1942: Pull request #985 opened by jsiek
5m 16s claude/gifted-noyce-199dbf
claude/gifted-noyce-199dbf
5m 16s
Fix recall pretty-print in proof lists (Refs #931) (#984) Deploy to GitHub Pages #965: Commit 1c24227 pushed by jsiek
5m 24s main
main
5m 24s
Fix recall pretty-print in proof lists (Refs #931) (#984) Run Tests #1941: Commit 1c24227 pushed by jsiek
5m 23s main
main
5m 23s
Fix recall pretty-print in proof lists (Refs #931) Run Tests #1940: Pull request #984 synchronize by jsiek
5m 12s claude/dazzling-shtern-5539a7
claude/dazzling-shtern-5539a7
5m 12s
Fix recall pretty-print in proof lists (Refs #931) Run Tests #1939: Pull request #984 opened by jsiek
5m 3s claude/dazzling-shtern-5539a7
claude/dazzling-shtern-5539a7
5m 3s
Phase 1f: Parse observer declarations with read frames Auto-close parent when all sub-issues closed #138: Issue #965 closed by jsiek
22s
22s
Parse observer declarations with read frames (#983) Deploy to GitHub Pages #964: Commit 1fbe639 pushed by jsiek
12m 4s main
main
12m 4s
Parse observer declarations with read frames (#983) Run Tests #1938: Commit 1fbe639 pushed by jsiek
4m 55s main
main
4m 55s
Add examples/even_double.pf: doubling is even, double = n + n (#982) Run Tests #1937: Commit d4e061d pushed by jsiek
4m 57s main
main
4m 57s