Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Actions: hipsleek/hipsleek

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
65 workflow runs
65 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Test Test #63: Scheduled
12m 27s master
master
12m 27s
Test Test #62: Scheduled
8m 19s master
master
8m 19s
Test Test #61: Scheduled
10m 16s master
master
10m 16s
Test Test #60: Scheduled
12m 31s master
master
12m 31s
Test Test #59: Scheduled
9m 23s master
master
9m 23s
Test Test #58: Scheduled
12m 36s master
master
12m 36s
Test Test #57: Scheduled
9m 35s master
master
9m 35s
Test Test #56: Scheduled
12m 54s master
master
12m 54s
Test Test #55: Scheduled
9m 16s master
master
9m 16s
Extend API to destructure frames and provide inference Test #54: Pull request #61 synchronize by danbaterisna
10m 9s api
api
10m 9s
api: expose pure list functionality Test #53: Commit d7e0e9b pushed by danbaterisna
10m 1s api
api
10m 1s
Extend API to destructure frames and provide inference Test #52: Pull request #61 synchronize by danbaterisna
9m 44s api
api
9m 44s
api: expose pure list functionality Test #51: Commit 95f033a pushed by danbaterisna
9m 40s api
api
9m 40s
pages build and deployment pages-build-deployment #4: by github-pages bot
24s gh-pages
gh-pages
24s
Merge pull request #62 from hipsleek/lists_z3 Test #50: Commit 6cb3008 pushed by danbaterisna
9m 27s master
master
9m 27s
Merge pull request #62 from hipsleek/lists_z3 Docs #4: Commit 6cb3008 pushed by danbaterisna
21s master
master
21s
Add partial list support for z3 backend Test #49: Pull request #62 synchronize by danbaterisna
9m 20s lists_z3
lists_z3
9m 20s
docs: Add notes on SMT discharge Test #48: Commit 86869f5 pushed by danbaterisna
9m 19s lists_z3
lists_z3
9m 19s
Test Test #47: Scheduled
12m 28s master
master
12m 28s
Add partial list support for z3 backend Test #46: Pull request #62 opened by danbaterisna
12m 26s lists_z3
lists_z3
12m 26s
Add fallback to old SMT generator Test #45: Commit c28f89e pushed by danbaterisna
9m 45s lists_z3
lists_z3
9m 45s
Add fallback to old SMT generator Test #44: Commit 28446b9 pushed by danbaterisna
6m 6s lists_z3
lists_z3
6m 6s
Add fallback to old SMT generator Test #43: Commit 412c0bc pushed by danbaterisna
6m 3s lists_z3
lists_z3
6m 3s
Add fallback to old SMT generator Test #42: Commit 79035fc pushed by danbaterisna
6m 18s lists_z3
lists_z3
6m 18s
Add axiom support for lists Test #41: Commit 6f05590 pushed by danbaterisna
6m 43s lists_z3
lists_z3
6m 43s