Skip to content

Actions: Copilot-Language/copilot-verifier

Actions

copilot-verifier

Actions

Loading...
Loading

Showing runs from all workflows named copilot-verifier
15 workflow run results
15 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #86 from Copilot-Language/T85-release-4.4 copilot-verifier #69: Commit cea9f8e pushed by RyanGlScott
18m 5s master
master
18m 5s
Require building with Copilot 4.4. Refs #85. copilot-verifier #68: Pull request #86 opened by RyanGlScott
18m 46s T85-release-4.4
T85-release-4.4
18m 46s
Merge pull request #83 from Copilot-Language/T82-release-4.3 copilot-verifier #67: Commit a65b91b pushed by RyanGlScott
18m 2s master
master
18m 2s
Require building with Copilot 4.3. Refs #82. copilot-verifier #66: Pull request #83 opened by RyanGlScott
18m 21s T82-release-4.3
T82-release-4.3
18m 21s
Merge pull request #81 from Copilot-Language/T79-IEEE-option copilot-verifier #65: Commit 62f2d9d pushed by RyanGlScott
11m 35s master
master
11m 35s
Add smtFloatMode option to VerifierOptions. Refs #79. copilot-verifier #64: Pull request #81 opened by RyanGlScott
11m 20s T79-IEEE-option
T79-IEEE-option
11m 20s
Merge pull request #80 from Copilot-Language/T78-configure-smt-solver copilot-verifier #63: Commit 737c6af pushed by RyanGlScott
21m 9s master
master
21m 9s
Add smtSolver option to VerifierOptions. Refs #78. copilot-verifier #62: Pull request #80 synchronize by RyanGlScott
6m 39s T78-configure-smt-solver
T78-configure-smt-solver
6m 39s
Add smtSolver option to VerifierOptions. Refs #78. copilot-verifier #61: Pull request #80 opened by RyanGlScott
20m 56s T78-configure-smt-solver
T78-configure-smt-solver
20m 56s
Merge pull request #77 from Copilot-Language/T76-copilot-verifier-4.2 copilot-verifier #60: Commit 93d09ce pushed by RyanGlScott
15m 43s master
master
15m 43s
Require building with Copilot 4.2. Refs #76. copilot-verifier #59: Pull request #77 opened by RyanGlScott
15m 49s T76-copilot-verifier-4.2
T76-copilot-verifier-4.2
15m 49s
Merge pull request #75 from Copilot-Language/T74-reject-multiple-trig… copilot-verifier #58: Commit 26d5649 pushed by RyanGlScott
21m 21s master
master
21m 21s
Reject multiple triggers with the same name. Refs #74. copilot-verifier #57: Pull request #75 opened by RyanGlScott
21m 18s T74-reject-multiple-triggers-same-name
T74-reject-multiple-triggers-same-name
21m 18s
Merge pull request #73 from Copilot-Language/T72-copilot-verifier-4.1 copilot-verifier #56: Commit 9021bcc pushed by RyanGlScott
21m 10s master
master
21m 10s
Require building with Copilot 4.1. Refs #72. copilot-verifier #55: Pull request #73 opened by RyanGlScott
19m 56s T72-copilot-verifier-4.1
T72-copilot-verifier-4.1
19m 56s