Skip to content

Actions: project-numina/kimina-lean-server

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yaml
108 workflow runs
108 workflow runs

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
fix: remove db + cleanup CI #110: Pull request #72 opened by desaxce
3m 2s hugues/clean-up
hugues/clean-up
3m 2s
feat: switch default to v4.26.0 (#71) CI #109: Commit fb2393d pushed by desaxce
4m 28s main
main
4m 28s
feat: switch default to v4.26.0 CI #108: Pull request #71 synchronize by desaxce
4m 23s hugues/default-lean-4.26
hugues/default-lean-4.26
4m 23s
feat: switch default to v4.26.0 CI #107: Pull request #71 synchronize by desaxce
52s hugues/default-lean-4.26
hugues/default-lean-4.26
52s
feat: switch default to v4.26.0 CI #106: Pull request #71 synchronize by desaxce
1m 46s hugues/default-lean-4.26
hugues/default-lean-4.26
1m 46s
feat: switch default to v4.26.0 CI #105: Pull request #71 opened by desaxce
1m 45s hugues/default-lean-4.26
hugues/default-lean-4.26
1m 45s
fix: uncomment infotree CI #104: Pull request #67 opened by desaxce
2m 29s hugues/uncomment-infotree
hugues/uncomment-infotree
2m 29s
fix: uncomment infotree CI #103: Commit a310745 pushed by desaxce
3m 47s main
main
3m 47s
fix: typing extensiosn (#63) CI #102: Commit 285f142 pushed by desaxce
3m 18s main
main
3m 18s
fix: typing extensiosn CI #101: Pull request #63 synchronize by desaxce
3m 22s hugues/fix-py-3-11
hugues/fix-py-3-11
3m 22s
fix: typing extensiosn CI #100: Pull request #63 opened by desaxce
30s hugues/fix-py-3-11
hugues/fix-py-3-11
30s
[kimina-lean-server] Fix Lean snippet diagnostics line offsets (#56) CI #99: Commit e2cdc1f pushed by desaxce
3m 51s main
main
3m 51s
[kimina-lean-server] Fix Lean snippet diagnostics line offsets CI #98: Pull request #56 synchronize by desaxce
2m 59s codex/fix-line-number-offset-in-error-messages
codex/fix-line-number-offset-in-error-messages
2m 59s
[kimina-lean-server] Fix Lean snippet diagnostics line offsets CI #97: Pull request #56 synchronize by desaxce
4m 2s codex/fix-line-number-offset-in-error-messages
codex/fix-line-number-offset-in-error-messages
4m 2s
[kimina-lean-server] Fix Lean snippet diagnostics line offsets CI #96: Pull request #56 opened by desaxce
1m 2s codex/fix-line-number-offset-in-error-messages
codex/fix-line-number-offset-in-error-messages
1m 2s
Fix asyncio Lock/Condition initialization error in Python 3.10 (#53) CI #95: Commit 4124e95 pushed by desaxce
3m 34s main
main
3m 34s
Fix asyncio Lock/Condition initialization error in Python 3.10 CI #94: Pull request #53 synchronize by Copilot AI
3m 37s copilot/fix-server-startup-error
copilot/fix-server-startup-error
3m 37s
Fix asyncio Lock/Condition initialization error in Python 3.10 CI #93: Pull request #53 synchronize by Copilot AI
3m 39s copilot/fix-server-startup-error
copilot/fix-server-startup-error
3m 39s
[kimina-lean-server] Fix Lean 4.9 REPL timeouts CI #90: Pull request #51 opened by desaxce
58s codex/fix-server-timeout-with-lean-v4.9.0
codex/fix-server-timeout-with-lean-v4.9.0
58s
[lean-verification] Anonymize repository branding CI #89: Pull request #50 opened by desaxce
3m 51s codex/anonymize-repository-content-for-submission
codex/anonymize-repository-content-for-submission
3m 51s
fix: catch oom CI #88: Pull request #46 synchronize by desaxce
2m 40s hugues/catch-oom
hugues/catch-oom
2m 40s
fix: catch oom CI #87: Pull request #46 synchronize by desaxce
2m 24s hugues/catch-oom
hugues/catch-oom
2m 24s
fix: catch oom CI #86: Pull request #46 synchronize by desaxce
3m 5s hugues/catch-oom
hugues/catch-oom
3m 5s
fix: catch oom CI #85: Pull request #46 opened by desaxce
3m 13s hugues/catch-oom
hugues/catch-oom
3m 13s
chore: bump to 0.2.1 (#45) CI #84: Commit e3bb327 pushed by desaxce
3m 2s main
main
3m 2s