Skip to content

Actions: JasonZhongZexin/SVF-1

Actions

svf-build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
github-action.yml
48 workflow runs
48 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

graph db svf-build #347: Commit efa0055 pushed by JasonZhongZexin
November 4, 2024 02:27 1m 13s update-from-master-graph-db-wip
update-from-master-graph-db-wip
November 4, 2024 02:27 1m 13s
- fetch upsteam svf-build #346: Commit 064d65b pushed by JasonZhongZexin
October 28, 2024 08:15 1m 7s update-from-master-graph-db-wip
update-from-master-graph-db-wip
October 28, 2024 08:15 1m 7s
SVF code formatter svf-build #345: Commit a68b293 pushed by JasonZhongZexin
October 28, 2024 07:54 12m 56s update-from-master-graph-db-wip
update-from-master-graph-db-wip
October 28, 2024 07:54 12m 56s
load schema from json file to db svf-build #344: Commit 594cbc6 pushed by JasonZhongZexin
October 9, 2024 20:07 1m 8s update-from-master-graph-db-wip
update-from-master-graph-db-wip
October 9, 2024 20:07 1m 8s
SVF code formatter svf-build #343: Commit 6ac0415 pushed by JasonZhongZexin
October 9, 2024 06:58 12m 46s update-from-master-graph-db-wip
update-from-master-graph-db-wip
October 9, 2024 06:58 12m 46s
“init” svf-build #342: Commit 69ab55b pushed by JasonZhongZexin
September 23, 2024 02:02 1m 14s fetch-up-stream-240915
fetch-up-stream-240915
September 23, 2024 02:02 1m 14s
SVF code formatter svf-build #341: Commit 58db851 pushed by JasonZhongZexin
September 15, 2024 06:17 13m 12s fetch-up-stream-240915
fetch-up-stream-240915
September 15, 2024 06:17 13m 12s
fix compile err svf-build #340: Commit dcbea33 pushed by JasonZhongZexin
September 15, 2024 06:15 1m 47s fetch-up-stream-0915
fetch-up-stream-0915
September 15, 2024 06:15 1m 47s
fix compile err svf-build #339: Commit dcbea33 pushed by JasonZhongZexin
September 15, 2024 06:14 2m 17s fetch-up-stream-0915
fetch-up-stream-0915
September 15, 2024 06:14 2m 17s
SVF code formatter svf-build #338: Commit 58db851 pushed by JasonZhongZexin
September 15, 2024 06:11 12m 48s master
master
September 15, 2024 06:11 12m 48s
fix compile err svf-build #337: Commit dcbea33 pushed by JasonZhongZexin
September 13, 2024 02:05 1m 49s weigang
weigang
September 13, 2024 02:05 1m 49s
update build script; svf-build #336: Commit 59329a5 pushed by JasonZhongZexin
September 8, 2024 17:35 13m 21s weigang
weigang
September 8, 2024 17:35 13m 21s
Merge pull request #22 from Geoffrey1014/jason_test_branch svf-build #335: Commit 782f25a pushed by JasonZhongZexin
September 8, 2024 17:30 6m 11s weigang
weigang
September 8, 2024 17:30 6m 11s
Jason test branch svf-build #334: Pull request #22 opened by JasonZhongZexin
September 8, 2024 17:29 6m 13s Geoffrey1014:jason_test_branch
Geoffrey1014:jason_test_branch
September 8, 2024 17:29 6m 13s
step1: remove preAbstrace and use use a temporary state to collect st… svf-build #333: Commit 02fa4ef pushed by JasonZhongZexin
September 8, 2024 17:22 13m 38s master
master
September 8, 2024 17:22 13m 38s
SVF code formatter svf-build #332: Commit 6e172eb pushed by JasonZhongZexin
September 8, 2024 17:00 13m 11s weigang
weigang
September 8, 2024 17:00 13m 11s
SVF code formatter svf-build #331: Commit 6e172eb pushed by JasonZhongZexin
September 8, 2024 16:42 13m 24s master
master
September 8, 2024 16:42 13m 24s
step1: remove preAbstrace and use use a temporary state to collect st… svf-build #330: Commit 02fa4ef pushed by JasonZhongZexin
August 21, 2024 10:56 14m 34s master
master
August 21, 2024 10:56 14m 34s
update codecov target svf-build #329: Commit bc2f9fe pushed by JasonZhongZexin
August 15, 2024 03:17 14m 46s master
master
August 15, 2024 03:17 14m 46s
upgrade codecov version svf-build #328: Commit a39576b pushed by JasonZhongZexin
August 15, 2024 02:46 14m 9s master
master
August 15, 2024 02:46 14m 9s
SVF code formatter svf-build #327: Commit d1549c8 pushed by JasonZhongZexin
August 14, 2024 21:19 11m 48s master
master
August 14, 2024 21:19 11m 48s
SVF code formatter svf-build #326: Commit 12bc600 pushed by JasonZhongZexin
March 26, 2024 14:16 16m 34s master
master
March 26, 2024 14:16 16m 34s
update toString svf-build #325: Commit ab2cc23 pushed by JasonZhongZexin
October 30, 2023 03:36 17m 13s master
master
October 30, 2023 03:36 17m 13s
update toString svf-build #324: Commit 02f80f6 pushed by JasonZhongZexin
October 30, 2023 03:33 19m 50s master
master
October 30, 2023 03:33 19m 50s
Update build.sh svf-build #323: Commit 27e2fb3 pushed by JasonZhongZexin
October 29, 2023 16:40 16m 48s master
master
October 29, 2023 16:40 16m 48s