Skip to content

Actions: ZJU-PL/efmc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
143 workflow runs
143 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
EFMC CI EFMC CI #161: Scheduled
3m 3s main
main
3m 3s
EFMC CI EFMC CI #160: Scheduled
3m 16s main
main
3m 16s
EFMC CI EFMC CI #159: Scheduled
3m 22s main
main
3m 22s
Update README.md EFMC CI #158: Commit 7ff3421 pushed by rainoftime
7m 18s main
main
7m 18s
Graph Update: pip in /., /docs, /web_ui #1476319937 Dependency Graph #1: by dependabot Bot
1m 18s main
main
1m 18s
EFMC CI EFMC CI #157: Scheduled
5m 39s main
main
5m 39s
pages build and deployment pages-build-deployment #12: by github-pages Bot
26s gh-pages
gh-pages
26s
Fix case-sensitive filename for llm_local.py (Linux compatibility) EFMC CI #156: Commit bfcc272 pushed by rainoftime
4m 18s main
main
4m 18s
Refactor LLM4Inv BV engine with configurable provider EFMC CI #155: Commit 888a9ee pushed by rainoftime
1m 48s main
main
1m 48s
simplify EFMC CI #154: Commit 4500cfd pushed by rainoftime
4m 15s main
main
4m 15s
pages build and deployment pages-build-deployment #11: by github-pages Bot
22s gh-pages
gh-pages
22s
fix EFMC CI #153: Commit da25760 pushed by rainoftime
4m 44s main
main
4m 44s
EFMC CI EFMC CI #152: Scheduled
3m 18s main
main
3m 18s
EFMC CI EFMC CI #151: Scheduled
3m 12s main
main
3m 12s
Refactor: move llm_providers to cli_providers, remove test_llm.py EFMC CI #150: Commit 7d0abf8 pushed by rainoftime
19m 38s main
main
19m 38s
pages build and deployment pages-build-deployment #10: by github-pages Bot
27s gh-pages
gh-pages
27s
fix EFMC CI #149: Commit b453188 pushed by rainoftime
4m 23s main
main
4m 23s
add opencode, kilocode, codex as providers EFMC CI #148: Commit ee39def pushed by rainoftime
5m 32s main
main
5m 32s
EFMC CI EFMC CI #147: Scheduled
3m 23s main
main
3m 23s
pages build and deployment pages-build-deployment #9: by github-pages Bot
26s gh-pages
gh-pages
26s
llmtools: add llm_cli.py, remove llm_opencode.py EFMC CI #146: Commit 4915a56 pushed by rainoftime
4m 30s main
main
4m 30s
EFMC CI EFMC CI #145: Scheduled
3m 26s main
main
3m 26s
EFMC CI EFMC CI #144: Scheduled
3m 12s main
main
3m 12s
EFMC CI EFMC CI #143: Scheduled
2m 51s main
main
2m 51s
EFMC CI EFMC CI #142: Scheduled
3m 5s main
main
3m 5s