Skip to content

Actions: Certora/AIComposer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
118 workflow runs
118 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

bump graphcore (#44) mypy-check #118: Commit f49d8db pushed by jtoman
1m 13s master
master
1m 13s
Refactor analyze core (#43) mypy-check #117: Commit b6758c6 pushed by shellygr
1m 17s master
master
1m 17s
bump graphcore mypy-check #116: Pull request #44 opened by jtoman
1m 23s jtoman/graphcore-upgrade
jtoman/graphcore-upgrade
1m 23s
Refactor analyze core mypy-check #115: Pull request #43 synchronize by shellygr
1m 12s shelly/refactorAnalyzeCore
shelly/refactorAnalyzeCore
1m 12s
making rag_db conn string configurable in analyzer (#42) mypy-check #114: Commit 134dd52 pushed by shellygr
1m 16s master
master
1m 16s
making rag_db conn string configurable in analyzer mypy-check #113: Pull request #42 synchronize by shellygr
1m 19s shelly/add_rag_db_conn_string_conf_to_analyzer
shelly/add_rag_db_conn_string_conf_to_analyzer
1m 19s
making rag_db conn string configurable in analyzer mypy-check #112: Pull request #42 synchronize by shellygr
1m 16s shelly/add_rag_db_conn_string_conf_to_analyzer
shelly/add_rag_db_conn_string_conf_to_analyzer
1m 16s
making rag_db conn string configurable in analyzer mypy-check #111: Pull request #42 synchronize by shellygr
1m 15s shelly/add_rag_db_conn_string_conf_to_analyzer
shelly/add_rag_db_conn_string_conf_to_analyzer
1m 15s
making rag_db conn string configurable in analyzer mypy-check #110: Pull request #42 synchronize by shellygr
1m 11s shelly/add_rag_db_conn_string_conf_to_analyzer
shelly/add_rag_db_conn_string_conf_to_analyzer
1m 11s
Getting it to work on MacOS, take 2 (#41) mypy-check #109: Commit f2b70ba pushed by shellygr
1m 12s master
master
1m 12s
making rag_db conn string configurable in analyzer mypy-check #108: Pull request #42 synchronize by shellygr
1m 1s shelly/add_rag_db_conn_string_conf_to_analyzer
shelly/add_rag_db_conn_string_conf_to_analyzer
1m 1s
making rag_db conn string configurable in analyzer mypy-check #107: Pull request #42 synchronize by shellygr
54s shelly/add_rag_db_conn_string_conf_to_analyzer
shelly/add_rag_db_conn_string_conf_to_analyzer
54s
making rag_db conn string configurable in analyzer mypy-check #106: Pull request #42 synchronize by shellygr
1m 8s shelly/add_rag_db_conn_string_conf_to_analyzer
shelly/add_rag_db_conn_string_conf_to_analyzer
1m 8s
making rag_db conn string configurable in analyzer mypy-check #105: Pull request #42 opened by shellygr
1m 16s shelly/add_rag_db_conn_string_conf_to_analyzer
shelly/add_rag_db_conn_string_conf_to_analyzer
1m 16s
Getting it to work on MacOS, take 2 mypy-check #104: Pull request #41 opened by shellygr
1m 19s shelly/forMacOS
shelly/forMacOS
1m 19s
AI Composer VS Code Extension mypy-check #103: Pull request #40 opened by omerlerinman
1m 20s vs-code-extension
vs-code-extension
1m 20s
AI Composer as WebSocket server mypy-check #102: Pull request #39 synchronize by omerlerinman
1m 8s io-server
io-server
1m 8s
AI Composer as WebSocket server mypy-check #101: Pull request #39 synchronize by omerlerinman
1m 17s io-server
io-server
1m 17s
AI Composer as WebSocket server mypy-check #100: Pull request #39 opened by omerlerinman
1m 16s io-server
io-server
1m 16s
Multi-Ecosystem Cex analysis (#38) mypy-check #99: Commit db622d8 pushed by jtoman
1m 19s master
master
1m 19s
Multi-Ecosystem Cex analysis mypy-check #98: Pull request #38 synchronize by jtoman
1m 17s jtoman/multi-ecosystem
jtoman/multi-ecosystem
1m 17s
Multi-Ecosystem Cex analysis mypy-check #97: Pull request #38 opened by jtoman
1m 17s jtoman/multi-ecosystem
jtoman/multi-ecosystem
1m 17s
Exporting j2 (#37) mypy-check #96: Commit dacae10 pushed by shellygr
1m 18s master
master
1m 18s
Exporting j2 mypy-check #95: Pull request #37 opened by shellygr
1m 15s shelly/exportTemplates
shelly/exportTemplates
1m 15s
Improve prover execution logging mypy-check #94: Pull request #36 opened by omerlerinman
1m 11s feat/improve-prover-logging
feat/improve-prover-logging
1m 11s