Skip to content

Actions: Copilot-Language/copilot-verifier

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
48 workflow runs
48 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Release 3.19. Refs #53. copilot-verifier #31: Pull request #54 opened by RyanGlScott
March 8, 2024 16:03 23m 56s T53
T53
March 8, 2024 16:03 23m 56s
CI: Use haskell-actions/setup copilot-verifier #30: Commit 7ea6f59 pushed by RyanGlScott
February 29, 2024 18:31 3m 31s master
master
February 29, 2024 18:31 3m 31s
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