Skip to content
Snippets Groups Projects
Commit 8a120944 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

Merge branch 'test-move-lfs-file' into 'master' 

move git lfs-managed file to download directory

See merge request !149
parents 10a9a6d7 c47d2672
No related branches found
No related tags found
1 merge request!149move git lfs-managed file to download directory
Pipeline #44166 passed
Stage: deploy
    Hide whitespace changes
    Inline Side-by-side
    _jobs/2022-03-28-machine-learning-for-improving-formal-verification-of-code.md
    + 1
    − 1
    View file @ 8a120944
    ......@@ -10,7 +10,7 @@ keywords: machine learning, graph neural networks, code representation learning,
    # {{ page.short }}
    [Full description](2022-03-28-machine-learning-for-improving-formal-verification-of-code.pdf)
    [Full description](/download/jobs/2022-03-28-machine-learning-for-improving-formal-verification-of-code.pdf)
    #### Context: CEA LIST, Software Security and Reliability Lab
    ......
    0% or .
    You are about to add 0 people to the discussion. Proceed with caution.
    Finish editing this message first!
    Please register or to comment