Skip to content

Actions: Copilot-Language/copilot-verifier

Actions

copilot-verifier

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yaml
42 workflow runs
42 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #73 from Copilot-Language/T72-copilot-verifier-4.1 copilot-verifier #56: Commit 9021bcc pushed by RyanGlScott
November 8, 2024 15:04 21m 10s master
master
November 8, 2024 15:04 21m 10s
Require building with Copilot 4.1. Refs #72. copilot-verifier #55: Pull request #73 opened by RyanGlScott
November 8, 2024 14:42 19m 56s T72-copilot-verifier-4.1
T72-copilot-verifier-4.1
November 8, 2024 14:42 19m 56s
Document changes in the CHANGELOG. Refs #69. copilot-verifier #54: Commit e366e4b pushed by RyanGlScott
September 9, 2024 19:00 7m 9s master
master
September 9, 2024 19:00 7m 9s
Bump version to 4.0. Refs #69. copilot-verifier #53: Pull request #71 opened by RyanGlScott
September 9, 2024 16:18 6m 31s T69-release-4.0
T69-release-4.0
September 9, 2024 16:18 6m 31s
Document changes in the CHANGELOG. Refs #57. copilot-verifier #52: Commit a8114e2 pushed by RyanGlScott
September 9, 2024 16:13 6m 31s master
master
September 9, 2024 16:13 6m 31s
Add example demonstrating struct update support. Refs #57. copilot-verifier #51: Pull request #70 opened by RyanGlScott
September 9, 2024 15:35 7m 6s T57-struct-updates
T57-struct-updates
September 9, 2024 15:35 7m 6s
Document changes in the CHANGELOG. Refs #63. copilot-verifier #50: Commit bdae7f3 pushed by RyanGlScott
September 9, 2024 15:23 10m 7s master
master
September 9, 2024 15:23 10m 7s
Support array updates. Refs #63. copilot-verifier #49: Pull request #68 opened by RyanGlScott
September 9, 2024 15:12 9m 52s T63-array-updates
T63-array-updates
September 9, 2024 15:12 9m 52s
Document changes in CHANGELOG. Refs #65. copilot-verifier #48: Commit e6e0cf9 pushed by RyanGlScott
September 3, 2024 16:52 20m 16s master
master
September 3, 2024 16:52 20m 16s
Support building with crucible-llvm-0.7/crux-llvm-0.9, build against GHC 9.4–9.8. Refs #64, #65. copilot-verifier #47: Pull request #66 synchronize by RyanGlScott
September 3, 2024 15:51 20m 46s T64-65-upgrade-crux-and-ghc-versions
T64-65-upgrade-crux-and-ghc-versions
September 3, 2024 15:51 20m 46s
Support building with crucible-llvm-0.7/crux-llvm-0.9, build against GHC 9.4–9.8. Refs #64, #65. copilot-verifier #46: Pull request #66 opened by RyanGlScott
September 3, 2024 15:18 20m 2s T64-65-upgrade-crux-and-ghc-versions
T64-65-upgrade-crux-and-ghc-versions
September 3, 2024 15:18 20m 2s
Document changes in CHANGELOG. Refs #51. copilot-verifier #45: Commit c753c51 pushed by RyanGlScott
July 30, 2024 19:27 26m 47s master
master
July 30, 2024 19:27 26m 47s
Better distinguish between durable and non-durable proof goals. Refs #51. copilot-verifier #44: Pull request #62 opened by RyanGlScott
July 30, 2024 17:52 25m 52s T51-trivial-goals
T51-trivial-goals
July 30, 2024 17:52 25m 52s
Document changes in CHANGELOG. Refs #52. copilot-verifier #43: Commit fa57993 pushed by RyanGlScott
July 19, 2024 13:06 6m 21s master
master
July 19, 2024 13:06 6m 21s
Log when proof goals arise before or after calling step(). Refs #52. copilot-verifier #42: Pull request #61 opened by RyanGlScott
July 18, 2024 15:48 6m 7s T52-pre-or-post-state
T52-pre-or-post-state
July 18, 2024 15:48 6m 7s
Document changes in CHANGELOG. Refs #58. copilot-verifier #41: Commit fee827d pushed by RyanGlScott
July 11, 2024 18:25 15m 17s master
master
July 11, 2024 18:25 15m 17s
Bump version to 3.20. Refs #58. copilot-verifier #40: Pull request #60 opened by RyanGlScott
July 11, 2024 17:55 25m 55s T58-version-3.20
T58-version-3.20
July 11, 2024 17:55 25m 55s
Remove redundant build-depends packages copilot-verifier #39: Commit 2095612 pushed by RyanGlScott
July 11, 2024 17:35 25m 22s master
master
July 11, 2024 17:35 25m 22s
Remove redundant build-depends packages copilot-verifier #38: Pull request #59 opened by RyanGlScott
July 11, 2024 16:54 25m 4s remove-redundant-build-depends
remove-redundant-build-depends
July 11, 2024 16:54 25m 4s
copilot-verifier-demo: Fix warnings in Demo2 copilot-verifier #37: Commit 5d02009 pushed by RyanGlScott
May 17, 2024 20:02 16m 27s master
master
May 17, 2024 20:02 16m 27s
Fix warnings in demo programs copilot-verifier #36: Pull request #56 opened by RyanGlScott
May 17, 2024 19:24 16m 35s fix-demo3-warnings
fix-demo3-warnings
May 17, 2024 19:24 16m 35s
Add Dockerfile copilot-verifier #35: Commit ccdf05a pushed by RyanGlScott
May 13, 2024 01:19 23m 11s master
master
May 13, 2024 01:19 23m 11s
Add Dockerfile copilot-verifier #34: Pull request #55 synchronize by RyanGlScott
May 13, 2024 00:20 15m 4s Dockerfile
Dockerfile
May 13, 2024 00:20 15m 4s
Add Dockerfile copilot-verifier #33: Pull request #55 opened by RyanGlScott
May 10, 2024 17:38 23m 8s Dockerfile
Dockerfile
May 10, 2024 17:38 23m 8s
Merge pull request #54 from Copilot-Language/T53 copilot-verifier #32: Commit e909887 pushed by RyanGlScott
March 8, 2024 16:28 23m 55s master
master
March 8, 2024 16:28 23m 55s