Skip to content

Actions: yamafaktory/formal

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
62 workflow runs
62 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
chore: add license Publish Docker image #29: Commit 4366281 pushed by yamafaktory
41s main
main
41s
chore: add license Checks #9: Commit 4366281 pushed by yamafaktory
12s main
main
12s
fix: isPrefixOf via rfl, string length via show-rfl, interface purity… Checks #8: Commit 577aaa9 pushed by yamafaktory
12s main
main
12s
fix: isPrefixOf via rfl, string length via show-rfl, interface purity… Publish Docker image #28: Commit 577aaa9 pushed by yamafaktory
1m 41s main
main
1m 41s
fix: remove non-existent Lean lemmas, add binder/cancel/decEq hints…) Checks #7: Commit 5fd6cff pushed by yamafaktory
12s main
main
12s
fix: remove non-existent Lean lemmas, add binder/cancel/decEq hints…) Publish Docker image #27: Commit 5fd6cff pushed by yamafaktory
1m 39s main
main
1m 39s
fix: hints and guidance for post-case-split and isPrefixOf residuals Publish Docker image #26: Commit 3c404d7 pushed by yamafaktory
1m 27s main
main
1m 27s
fix: hints and guidance for post-case-split and isPrefixOf residuals Checks #6: Commit 3c404d7 pushed by yamafaktory
10s main
main
10s
fix: guard missing function code, add pow/enum/string-injectivity hints Publish Docker image #25: Commit b852985 pushed by yamafaktory
1m 44s main
main
1m 44s
fix: guard missing function code, add pow/enum/string-injectivity hints Checks #5: Commit b852985 pushed by yamafaktory
14s main
main
14s
fix: expand error hints and prompt guidance for Lean proof failures Checks #4: Commit e95e96a pushed by yamafaktory
11s main
main
11s
fix: expand error hints and prompt guidance for Lean proof failures Publish Docker image #24: Commit e95e96a pushed by yamafaktory
1m 29s main
main
1m 29s
fix: hint and prompt guidance for .data mismatch and proof timeouts Publish Docker image #23: Commit 5f4799d pushed by yamafaktory
1m 47s main
main
1m 47s
fix: hint and prompt guidance for .data mismatch and proof timeouts Checks #3: Commit 5f4799d pushed by yamafaktory
12s main
main
12s
fix: prompt-aware cache invalidation, cached marker in output, JSON p… Publish Docker image #22: Commit c545670 pushed by yamafaktory
1m 41s main
main
1m 41s
fix: prompt-aware cache invalidation, cached marker in output, JSON p… Checks #2: Commit c545670 pushed by yamafaktory
13s main
main
13s
chore: rename lint workflow to checks Checks #1: Commit c65b251 pushed by yamafaktory
11s main
main
11s
chore: rename lint workflow to checks Publish Docker image #21: Commit c65b251 pushed by yamafaktory
38s main
main
38s
test: add pytest suite and enforce tests in CI Publish Docker image #20: Commit 1415e25 pushed by yamafaktory
1m 43s main
main
1m 43s
test: add pytest suite and enforce tests in CI Lint #24: Commit 1415e25 pushed by yamafaktory
10s main
main
10s
perf: merge property extraction and screening into a single LLM call Publish Docker image #19: Commit d39a90f pushed by yamafaktory
2m 34s main
main
2m 34s
perf: merge property extraction and screening into a single LLM call Lint #23: Commit d39a90f pushed by yamafaktory
8s main
main
8s
feat: add TTL-based cache eviction and fix cache key to include preco… Publish Docker image #18: Commit b821fca pushed by yamafaktory
1m 56s main
main
1m 56s
feat: add TTL-based cache eviction and fix cache key to include preco… Lint #22: Commit b821fca pushed by yamafaktory
10s main
main
10s
fix: handle true = true type mismatch in Bool field proofs Publish Docker image #17: Commit 539945a pushed by yamafaktory
1m 30s main
main
1m 30s