Skip to content

Actions: Veridise/vanguard-aleo

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
37 workflow runs
37 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
added comments Dev CI #37: Commit 402ad2f pushed by chyanju
March 29, 2024 17:47 41s yanju/dev
yanju/dev
March 29, 2024 17:47 41s
Merge pull request #9 from Veridise/yanju/dev Dev CI #36: Commit c14660a pushed by chyanju
March 13, 2024 19:01 53s main
main
March 13, 2024 19:01 53s
added multiple new detectors Dev CI #35: Pull request #9 opened by chyanju
March 13, 2024 19:01 41s yanju/dev
yanju/dev
March 13, 2024 19:01 41s
added multiple new detectors Dev CI #34: Commit 8a504ac pushed by chyanju
March 13, 2024 19:00 55s yanju/dev
yanju/dev
March 13, 2024 19:00 55s
Merge pull request #8 from Veridise/yanju/dev Dev CI #33: Commit b23ee4f pushed by chyanju
March 6, 2024 09:09 47s main
main
March 6, 2024 09:09 47s
new infoleak detector with updated infra Dev CI #32: Pull request #8 opened by chyanju
March 6, 2024 09:09 47s yanju/dev
yanju/dev
March 6, 2024 09:09 47s
new infoleak with infra changes Dev CI #31: Commit 975c8d8 pushed by chyanju
March 6, 2024 09:07 51s yanju/dev
yanju/dev
March 6, 2024 09:07 51s
supported new grammar and unify env creation Dev CI #30: Commit 82d063a pushed by chyanju
March 5, 2024 21:20 58s yanju/dev
yanju/dev
March 5, 2024 21:20 58s
Merge pull request #7 from Veridise/yanju/dev Dev CI #29: Commit 97e60cd pushed by chyanju
March 5, 2024 09:49 43s main
main
March 5, 2024 09:49 43s
Added more practical grammar, executable and README Dev CI #28: Pull request #7 opened by chyanju
March 5, 2024 09:47 47s yanju/dev
yanju/dev
March 5, 2024 09:47 47s
added supported grammar and update README Dev CI #27: Commit 445d745 pushed by chyanju
March 5, 2024 09:42 43s yanju/dev
yanju/dev
March 5, 2024 09:42 43s
support more grammar and basic cli Dev CI #26: Commit 656ba6e pushed by chyanju
March 5, 2024 03:08 43s yanju/dev
yanju/dev
March 5, 2024 03:08 43s
Merge branch 'yanju/dev' Dev CI #25: Commit 27f517b pushed by chyanju
March 3, 2024 08:45 44s main
main
March 3, 2024 08:45 44s
Yanju/dev Dev CI #24: Pull request #6 opened by chyanju
March 3, 2024 08:38 43s yanju/dev
yanju/dev
March 3, 2024 08:38 43s
Update .gitignore Dev CI #23: Commit 6b99664 pushed by chyanju
March 3, 2024 08:36 40s main
main
March 3, 2024 08:36 40s
clean up Dev CI #22: Pull request #5 opened by chyanju
March 3, 2024 08:35 41s yanju/dev
yanju/dev
March 3, 2024 08:35 41s
Merge pull request #4 from Veridise/dev Dev CI #21: Commit 986247b pushed by chyanju
March 3, 2024 08:25 52s main
main
March 3, 2024 08:25 52s
rebase Dev CI #20: Pull request #4 opened by chyanju
March 3, 2024 08:25 45s dev
dev
March 3, 2024 08:25 45s
rebase Dev CI #19: Commit 29e0084 pushed by chyanju
March 3, 2024 08:24 46s dev
dev
March 3, 2024 08:24 46s
Merge pull request #3 from Veridise/dev Dev CI #18: Commit f9b633a pushed by chyanju
March 3, 2024 08:19 41s main
main
March 3, 2024 08:19 41s
fixed antlr grammar with new lexer and parser Dev CI #17: Pull request #3 opened by chyanju
March 3, 2024 08:19 47s dev
dev
March 3, 2024 08:19 47s
fixed antlr grammar with new lexer and parser Dev CI #16: Commit b4bcfd6 pushed by chyanju
March 3, 2024 08:17 44s dev
dev
March 3, 2024 08:17 44s
Merge pull request #2 from Veridise/dev Dev CI #15: Commit 50e283a pushed by chyanju
March 2, 2024 09:12 46s main
main
March 2, 2024 09:12 46s
Updated tool infrastructure Dev CI #14: Pull request #2 opened by chyanju
March 2, 2024 09:10 56s dev
dev
March 2, 2024 09:10 56s
fixed CI, requirements and nits Dev CI #13: Commit d2223ca pushed by chyanju
March 2, 2024 09:05 46s dev
dev
March 2, 2024 09:05 46s