Skip to content

Actions: gradual-verification/gvc0

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improved error handling. Build #282: Commit 443bbc9 pushed by advancingdragon
1d 0h 0m 1s master
master
1d 0h 0m 1s
Delete bst-quant.c0 Build #281: Commit c39f61d pushed by pgupta751
1d 0h 0m 1s master
master
1d 0h 0m 1s
Unfolding syntax now requires parentheses. Build #280: Commit 2e151b9 pushed by advancingdragon
1d 0h 0m 2s master
master
1d 0h 0m 2s
Merged changes from branch position. Build #279: Commit c9b74c2 pushed by advancingdragon
1d 0h 0m 1s master
master
1d 0h 0m 1s
Merge pull request #71 from gradual-verification/dup-pred Build #278: Commit 7b5cee3 pushed by cliu369
1d 0h 0m 1s master
master
1d 0h 0m 1s
Duplicate predicate test cases Build #277: Pull request #71 opened by cliu369
1d 0h 0m 1s dup-pred
dup-pred
1d 0h 0m 1s
bst predicate test cases Build #276: Commit c51b30e pushed by pgupta751
1d 0h 0m 1s master
master
1d 0h 0m 1s
test case comments Build #275: Commit 6ca67bb pushed by pgupta751
1d 0h 0m 3s master
master
1d 0h 0m 3s
more test cases Build #274: Commit a1c4fc6 pushed by pgupta751
1d 0h 0m 2s master
master
1d 0h 0m 2s
Create checks-order.c0 Build #273: Commit 9a864a2 pushed by pgupta751
1d 0h 0m 2s master
master
1d 0h 0m 2s
Fix for Issue #69 Build #272: Commit 992efc2 pushed by pgupta751
1d 0h 0m 1s master
master
1d 0h 0m 1s
Merge pull request #68 from gradual-verification/unfolding Build #271: Commit a786b99 pushed by pgupta751
1d 0h 0m 1s master
master
1d 0h 0m 1s
Unfolding Build #270: Pull request #68 synchronize by pgupta751
1d 0h 0m 2s unfolding
unfolding
1d 0h 0m 2s
Unfolding Build #269: Pull request #68 synchronize by pgupta751
1d 0h 0m 2s unfolding
unfolding
1d 0h 0m 2s
Unfolding Build #268: Pull request #68 opened by pgupta751
1d 0h 0m 2s unfolding
unfolding
1d 0h 0m 2s
Update and rename LICENSE to LICENSE.txt Build #267: Commit eb0d774 pushed by jennalwise
1d 0h 0m 2s master
master
1d 0h 0m 2s
Create MIT LICENSE Build #266: Commit 501e8dc pushed by jennalwise
1d 0h 0m 2s master
master
1d 0h 0m 2s