Skip to content

Actions: goblint/analyzer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14,490 workflow runs
14,490 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bachelor's Thesis "Synthesizing Ranking Functions for LASW programs with Goblint" indentation #13956: Pull request #1941 opened by alexandermazur1
3s alexandermazur1:ranking-synthesis-work
alexandermazur1:ranking-synthesis-work
3s
coverage coverage #4155: Scheduled
9m 13s master
master
9m 13s
docker docker #1624: Scheduled
13m 10s master
master
13m 10s
locked locked #15104: Scheduled
42m 4s master
master
42m 4s
unlocked unlocked #2460: Scheduled
53m 46s master
master
53m 46s
github_actions in /. - Update #1234098463 Dependabot Updates #340: by dependabot bot
41s master
master
41s
Add MCP server for LLM interaction with Goblint docs #4535: Pull request #1938 synchronize by Copilot AI
11s copilot/add-mcp-server-for-goblint
copilot/add-mcp-server-for-goblint
11s
Add MCP server for LLM interaction with Goblint coverage #4154: Pull request #1938 synchronize by Copilot AI
4m 1s copilot/add-mcp-server-for-goblint
copilot/add-mcp-server-for-goblint
4m 1s
Add MCP server for LLM interaction with Goblint indentation #13955: Pull request #1938 synchronize by Copilot AI
1m 22s copilot/add-mcp-server-for-goblint
copilot/add-mcp-server-for-goblint
1m 22s
Add MCP server for LLM interaction with Goblint options #11974: Pull request #1938 synchronize by Copilot AI
18s copilot/add-mcp-server-for-goblint
copilot/add-mcp-server-for-goblint
18s
Add MCP server for LLM interaction with Goblint semgrep #13604: Pull request #1938 synchronize by Copilot AI
46s copilot/add-mcp-server-for-goblint
copilot/add-mcp-server-for-goblint
46s
Add MCP server for LLM interaction with Goblint locked #15103: Pull request #1938 synchronize by Copilot AI
5m 40s copilot/add-mcp-server-for-goblint
copilot/add-mcp-server-for-goblint
5m 40s
Improve documentation in ServerUtil and McpServer indentation #13954: Commit b7c1c8f pushed by Copilot AI
1m 18s copilot/add-mcp-server-for-goblint
copilot/add-mcp-server-for-goblint
1m 18s
Improve documentation in ServerUtil and McpServer locked #15102: Commit b7c1c8f pushed by Copilot AI
6m 12s copilot/add-mcp-server-for-goblint
copilot/add-mcp-server-for-goblint
6m 12s
Improve documentation in ServerUtil and McpServer options #11973: Commit b7c1c8f pushed by Copilot AI
19s copilot/add-mcp-server-for-goblint
copilot/add-mcp-server-for-goblint
19s
Improve documentation in ServerUtil and McpServer semgrep #13603: Commit b7c1c8f pushed by Copilot AI
47s copilot/add-mcp-server-for-goblint
copilot/add-mcp-server-for-goblint
47s
Improve documentation in ServerUtil and McpServer docs #4534: Commit b7c1c8f pushed by Copilot AI
13s copilot/add-mcp-server-for-goblint
copilot/add-mcp-server-for-goblint
13s
Refactor server utilities to eliminate code duplication docs #4533: Commit 85f0499 pushed by Copilot AI
Action required copilot/add-mcp-server-for-goblint
copilot/add-mcp-server-for-goblint
Action required
Refactor server utilities to eliminate code duplication semgrep #13602: Commit 85f0499 pushed by Copilot AI
Action required copilot/add-mcp-server-for-goblint
copilot/add-mcp-server-for-goblint
Action required
Refactor server utilities to eliminate code duplication indentation #13953: Commit 85f0499 pushed by Copilot AI
Action required copilot/add-mcp-server-for-goblint
copilot/add-mcp-server-for-goblint
Action required
Refactor server utilities to eliminate code duplication options #11972: Commit 85f0499 pushed by Copilot AI
Action required copilot/add-mcp-server-for-goblint
copilot/add-mcp-server-for-goblint
Action required
Refactor server utilities to eliminate code duplication locked #15101: Commit 85f0499 pushed by Copilot AI
Action required copilot/add-mcp-server-for-goblint
copilot/add-mcp-server-for-goblint
Action required
Addressing comment on PR #1938 Copilot coding agent #24: by Copilot AI
4m 45s copilot/add-mcp-server-for-goblint
copilot/add-mcp-server-for-goblint
4m 45s
Make int to pointer case more precise for non-zero ints, reuse AD.of_int semgrep #13601: Pull request #1940 opened by sim642
45s addressdomain-of_int
addressdomain-of_int
45s
Make int to pointer case more precise for non-zero ints, reuse AD.of_int coverage #4153: Pull request #1940 opened by sim642
9m 3s addressdomain-of_int
addressdomain-of_int
9m 3s