Skip to content

Actions: PrincetonUniversity/VST

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
187 workflow runs
187 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #758 from PrincetonUniversity/issue756 CI #950: Commit 81c21eb pushed by andrew-appel
March 13, 2024 12:41 38m 23s master
master
March 13, 2024 12:41 38m 23s
Improved, more precise fix for issue #756 CI #949: Pull request #758 synchronize by andrew-appel
March 12, 2024 19:58 40m 47s issue756
issue756
March 12, 2024 19:58 40m 47s
Improved, more precise fix for issue #756 CI #948: Pull request #758 opened by andrew-appel
March 12, 2024 15:52 1m 8s issue756
issue756
March 12, 2024 15:52 1m 8s
Patch to partially address issue #756 (localize/unlocalize/quick_typecheck3) CI #947: Pull request #757 synchronize by andrew-appel
March 8, 2024 15:06 38m 27s issue756
issue756
March 8, 2024 15:06 38m 27s
Merge pull request #757 from PrincetonUniversity/issue756 CI #946: Commit 4e8ab5f pushed by andrew-appel
March 8, 2024 15:05 37m 55s master
master
March 8, 2024 15:05 37m 55s
Patch to partially address issue #756 (localize/unlocalize/quick_typecheck3) CI #945: Pull request #757 opened by andrew-appel
March 7, 2024 22:21 37m 53s issue756
issue756
March 7, 2024 22:21 37m 53s
Edited the progs/pile makefile to give an error message that this con… CI #944: Commit 0c4670d pushed by andrew-appel
March 5, 2024 19:15 38m 11s master
master
March 5, 2024 19:15 38m 11s
Merge pull request #754 from PrincetonUniversity/issue745 CI #943: Commit 6ffe4c2 pushed by andrew-appel
March 4, 2024 20:25 38m 34s master
master
March 4, 2024 20:25 38m 34s
Fix issue #745 CI #942: Pull request #754 opened by andrew-appel
March 4, 2024 19:41 39m 26s issue745
issue745
March 4, 2024 19:41 39m 26s
Merge pull request #753 from PrincetonUniversity/issues-march-2024 CI #941: Commit 6a597e0 pushed by andrew-appel
March 4, 2024 14:33 37m 54s master
master
March 4, 2024 14:33 37m 54s
Addressed issues #734 #743 #744 #748 #749 #751 and added a few user lemmas CI #940: Pull request #753 synchronize by andrew-appel
March 4, 2024 13:53 38m 42s issues-march-2024
issues-march-2024
March 4, 2024 13:53 38m 42s
Addressed issues #734 #743 #744 #748 #749 #751 and added a few user lemmas CI #939: Pull request #753 opened by andrew-appel
March 1, 2024 22:30 23m 42s issues-march-2024
issues-march-2024
March 1, 2024 22:30 23m 42s