Skip to content

Actions: formalsec/ast-gen

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
134 workflow runs
134 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #9 from formalsec/evaluation-work Build #134: Commit d66ad75 pushed by Th0mz
October 15, 2024 09:06 9m 15s main
main
October 15, 2024 09:06 9m 15s
Evaluation work Build #133: Pull request #9 opened by Th0mz
October 15, 2024 08:54 11m 28s evaluation-work
evaluation-work
October 15, 2024 08:54 11m 28s
Evaluation work Build #132: Pull request #8 synchronize by Th0mz
October 15, 2024 08:53 4m 37s evaluation-work
evaluation-work
October 15, 2024 08:53 4m 37s
Evaluation work Build #131: Pull request #8 opened by Th0mz
October 14, 2024 18:46 7m 24s evaluation-work
evaluation-work
October 14, 2024 18:46 7m 24s
Rename package ast_gen -> graphjs2 Build #130: Commit 089a0d2 pushed by filipeom
September 14, 2024 17:54 3m 38s main
main
September 14, 2024 17:54 3m 38s
Rename packge ast_gen -> graphjs2 Build #129: Pull request #4 synchronize by filipeom
September 14, 2024 17:48 3m 7s rename-packge
rename-packge
September 14, 2024 17:48 3m 7s
Create LICENSE Build #128: Commit 039633d pushed by filipeom
September 14, 2024 17:48 4m 46s main
main
September 14, 2024 17:48 4m 46s
Create LICENSE Build #127: Pull request #6 synchronize by filipeom
September 14, 2024 17:43 4m 6s filipeom-patch-1
filipeom-patch-1
September 14, 2024 17:43 4m 6s
Add ocamlformat config Build #126: Commit f2524ef pushed by filipeom
September 14, 2024 15:59 3m 9s main
main
September 14, 2024 15:59 3m 9s
Add ocamlformat config Build #125: Pull request #7 opened by filipeom
September 14, 2024 15:56 2m 52s add-ocamlformat
add-ocamlformat
September 14, 2024 15:56 2m 52s
Create LICENSE Build #124: Pull request #6 opened by filipeom
September 14, 2024 15:48 3m 20s filipeom-patch-1
filipeom-patch-1
September 14, 2024 15:48 3m 20s
Rename packge ast_gen -> graphjs2 Build #123: Pull request #4 synchronize by filipeom
September 14, 2024 15:22 2m 53s rename-packge
rename-packge
September 14, 2024 15:22 2m 53s
Promote tests Build #122: Commit 9963583 pushed by filipeom
September 14, 2024 15:20 4m 37s main
main
September 14, 2024 15:20 4m 37s
Rename packge ast_gen -> graphjs2 Build #121: Pull request #4 opened by filipeom
September 14, 2024 15:17 4m 54s rename-packge
rename-packge
September 14, 2024 15:17 4m 54s
Make installation more portable Build #120: Pull request #3 synchronize by filipeom
September 14, 2024 12:25 3m 59s fix-ci
fix-ci
September 14, 2024 12:25 3m 59s
Make installation more portable Build #119: Pull request #3 opened by filipeom
September 14, 2024 12:00 3m 59s fix-ci
fix-ci
September 14, 2024 12:00 3m 59s
Improve cli abstractions Build #118: Commit 84cb0a9 pushed by filipeom
September 14, 2024 11:57 3m 14s main
main
September 14, 2024 11:57 3m 14s
Improve cli abstractions Build #117: Pull request #2 opened by filipeom
September 12, 2024 17:56 4m 17s improve-cli-abstractions
improve-cli-abstractions
September 12, 2024 17:56 4m 17s
minor bug fixes so the tool doesnt crash during analysis Build #116: Commit b809f4e pushed by Th0mz
September 8, 2024 13:59 5m 32s main
main
September 8, 2024 13:59 5m 32s
normalization of spread elements Build #115: Commit 2b3ff65 pushed by Th0mz
August 26, 2024 16:46 6m 8s main
main
August 26, 2024 16:46 6m 8s
fixed docker output file bug Build #114: Commit fc35db1 pushed by Th0mz
August 8, 2024 08:32 5m 27s main
main
August 8, 2024 08:32 5m 27s
error messages updated and multifile reads package.json to resolve ma… Build #113: Commit 570a84e pushed by Th0mz
August 7, 2024 17:53 3m 4s main
main
August 7, 2024 17:53 3m 4s
removed print Build #112: Commit 2c76bd4 pushed by Th0mz
August 4, 2024 19:42 2m 16s main
main
August 4, 2024 19:42 2m 16s
multiple attacker models implemented Build #111: Commit 10f32e3 pushed by Th0mz
August 4, 2024 09:52 2m 20s main
main
August 4, 2024 09:52 2m 20s
multifile bug fixes Build #110: Commit 7f533f4 pushed by Th0mz
August 4, 2024 07:25 2m 43s main
main
August 4, 2024 07:25 2m 43s