Skip to content

Actions: microsoft/intent-formalization

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16 workflow runs
16 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
Scheduled CodeQL #70: by github-advanced-security AI
1m 35s main
main
1m 35s
Scheduled CodeQL #69: by github-advanced-security AI
1m 37s main
main
1m 37s
Scheduled CodeQL #68: by github-advanced-security AI
2m 29s main
main
2m 29s
Scheduled CodeQL #67: by github-advanced-security AI
1m 43s main
main
1m 43s
Push on main CodeQL #66: by shuvendu-lahiri
1m 48s main
main
1m 48s
Push on main CodeQL #65: by shuvendu-lahiri
5m 5s main
main
5m 5s
PR #20 CodeQL #64: by shuvendu-lahiri
2m 13s refs/pull/20/head
refs/pull/20/head
2m 13s
Push on main CodeQL #63: by shuvendu-lahiri
1m 34s main
main
1m 34s
Push on main CodeQL #62: by shuvendu-lahiri
1m 33s main
main
1m 33s
Scheduled CodeQL #61: by github-advanced-security AI
1m 46s main
main
1m 46s
Push on main CodeQL #60: by shuvendu-lahiri
3m 55s main
main
3m 55s
PR #17 CodeQL #59: by Copilot AI
1m 14s refs/pull/17/head
refs/pull/17/head
1m 14s
Running Copilot coding agent Copilot coding agent #1: by Copilot AI
11m 30s copilot/add-todo-for-testing-preconditions
copilot/add-todo-for-testing-preconditions
11m 30s
Push on main CodeQL #58: by shuvendu-lahiri
1m 46s main
main
1m 46s
Push on main CodeQL #57: by shuvendu-lahiri
1m 38s main
main
1m 38s
Push on main CodeQL #56: by github-advanced-security AI
4m 24s main
main
4m 24s