Skip to content

Actions: Z3Prover/z3

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13,287 workflow runs
13,287 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Subterms Theory PR Fix #963: Pull request #8115 created by Copilot AI
Action required
Action required
Subterms Theory Question Answering Researcher #963: Pull request #8115 created by Copilot AI
Action required
Action required
Subterms Theory PR Fix #962: Pull request #8115 created by Copilot AI
Action required
Action required
Subterms Theory PR Fix #961: Pull request #8115 created by Copilot AI
Action required
Action required
Subterms Theory Question Answering Researcher #962: Pull request #8115 created by Copilot AI
Action required
Action required
Subterms Theory Question Answering Researcher #961: Pull request #8115 created by Copilot AI
Action required
Action required
Subterms Theory Question Answering Researcher #960: Pull request #8115 created by Copilot AI
Action required
Action required
Subterms Theory PR Fix #960: Pull request #8115 created by Copilot AI
Action required
Action required
Subterms Theory PR Fix #959: Pull request #8115 created by Copilot AI
Action required
Action required
Subterms Theory Question Answering Researcher #959: Pull request #8115 created by Copilot AI
Action required
Action required
Delete .github/workflows/codeql-analysis.yml WebAssembly Build #5014: Commit 0decb25 pushed by NikolajBjorner
18m 43s master
master
18m 43s
Delete .github/workflows/codeql-analysis.yml OCaml Binding CI (Ubuntu + macOS) #2204: Commit 0decb25 pushed by NikolajBjorner
18m 52s master
master
18m 52s
Delete .github/workflows/codeql-analysis.yml Windows #1347: Commit 0decb25 pushed by NikolajBjorner
1h 2m 8s master
master
1h 2m 8s
Running Copilot coding agent Copilot coding agent #146: by Copilot AI
26m 26s copilot/update-api-for-java-parity
copilot/update-api-for-java-parity
26m 26s
Running Copilot coding agent Copilot coding agent #145: by Copilot AI
15m 59s copilot/update-ts-js-api-parity
copilot/update-ts-js-api-parity
15m 59s
Running Copilot coding agent Copilot coding agent #144: by Copilot AI
8m 40s copilot/fix-build-logs-retrieval
copilot/fix-build-logs-retrieval
8m 40s
API Coherence Checker API Coherence Checker #2: Manually run by NikolajBjorner
6m 52s master
master
6m 52s
Copilot code review Copilot code review #1: by Copilot AI
4m 49s refs/pull/8115/head
refs/pull/8115/head
4m 49s
Add AtMost, AtLeast, unsatCore, and reasonUnknown to JS/TS API (#8118) Windows #1346: Commit f690afa pushed by NikolajBjorner
1h 1m 50s master
master
1h 1m 50s
Add AtMost, AtLeast, unsatCore, and reasonUnknown to JS/TS API (#8118) WebAssembly Build #5010: Commit f690afa pushed by NikolajBjorner
17m 31s master
master
17m 31s
Add AtMost, AtLeast, unsatCore, and reasonUnknown to JS/TS API (#8118) OCaml Binding CI (Ubuntu + macOS) #2200: Commit f690afa pushed by NikolajBjorner
18m 59s master
master
18m 59s
CI Failure Doctor CI Failure Doctor #262: completed by NikolajBjorner
3s
3s
CI Failure Doctor CI Failure Doctor #261: completed by NikolajBjorner
2s
2s
[WIP] Update pull request based on code review remarks PR Fix #954: Issue comment #8127 (comment) created by Copilot AI
Action required
Action required
[WIP] Update pull request based on code review remarks Question Answering Researcher #954: Issue comment #8127 (comment) created by Copilot AI
Action required
Action required