Skip to content

Actions: Copilot-Language/copilot-verifier

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
40 workflow runs
40 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Better user feedback upon a successful verification copilot-verifier #29: Pull request #50 synchronize by RyanGlScott
February 29, 2024 18:07 23m 47s better-verifier-feedback
better-verifier-feedback
February 29, 2024 18:07 23m 47s
Better user feedback upon a successful verification copilot-verifier #28: Pull request #50 synchronize by RyanGlScott
February 29, 2024 17:24 22m 48s better-verifier-feedback
better-verifier-feedback
February 29, 2024 17:24 22m 48s
Better user feedback upon a successful verification copilot-verifier #27: Pull request #50 opened by RyanGlScott
February 29, 2024 16:50 23m 14s better-verifier-feedback
better-verifier-feedback
February 29, 2024 16:50 23m 14s
README.md: Mention ICFP 2024 paper copilot-verifier #26: Commit 63f79ac pushed by RyanGlScott
February 19, 2024 18:12 23m 6s master
master
February 19, 2024 18:12 23m 6s
README.md: Documentation fixes copilot-verifier #25: Pull request #49 opened by RyanGlScott
February 19, 2024 16:18 23m 10s doc-fixes
doc-fixes
February 19, 2024 16:18 23m 10s
CI: s/main/master/ copilot-verifier #24: Commit acda7d0 pushed by RyanGlScott
February 8, 2024 21:41 22m 45s master
master
February 8, 2024 21:41 22m 45s
Bump release version to 0.1 copilot-verifier #23: Commit 82751b4 pushed by RyanGlScott
February 6, 2024 12:41 30m 22s main
main
February 6, 2024 12:41 30m 22s
Prepare for Hackage release copilot-verifier #22: Pull request #45 opened by RyanGlScott
February 6, 2024 11:50 23m 53s T44-release-prep
T44-release-prep
February 6, 2024 11:50 23m 53s
Add regression test for Copilot-Language/copilot#431 copilot-verifier #21: Commit b37d83b pushed by RyanGlScott
January 8, 2024 16:46 22m 35s main
main
January 8, 2024 16:46 22m 35s
Add regression test for Copilot-Language/copilot#431 copilot-verifier #20: Pull request #43 opened by RyanGlScott
January 8, 2024 16:23 22m 32s array-trigger-argument
array-trigger-argument
January 8, 2024 16:23 22m 32s
Bump copilot submodule to 3.18.1 copilot-verifier #19: Commit b399ebc pushed by RyanGlScott
January 8, 2024 16:15 22m 49s main
main
January 8, 2024 16:15 22m 49s
Bump copilot submodule to 3.18.1 copilot-verifier #18: Pull request #42 opened by RyanGlScott
January 8, 2024 15:01 22m 53s copilot-3.18
copilot-3.18
January 8, 2024 15:01 22m 53s
Don't build llvm-pretty-bc-parser with tests enabled copilot-verifier #17: Commit 75a7c06 pushed by RyanGlScott
December 13, 2023 12:53 23m 5s main
main
December 13, 2023 12:53 23m 5s
Fix #40 by bumping llvm-pretty{,-bc-parser submodules and passing -ffp-contract=off to Clang copilot-verifier #16: Pull request #41 synchronize by RyanGlScott
December 13, 2023 12:30 22m 48s T40
T40
December 13, 2023 12:30 22m 48s
Fix #40 by bumping llvm-pretty{,-bc-parser submodules and passing -ffp-contract=off to Clang copilot-verifier #15: Pull request #41 opened by RyanGlScott
December 13, 2023 12:19 2m 27s T40
T40
December 13, 2023 12:19 2m 27s