{"push_id":1928266903,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"c58a7fe85a7bf03670a2142f9f3100fdff4ae7ef","before":"8e5ad0cfc074449e836ff8e830e21377fa751331","commits":[{"sha":"8b1402f8b13ba7a072b57eea2084532515645306","author":{"name":"Nicolas Voirol","email":"208330f49c74f104715b562029dea706237e128c@gmail.com"},"message":"Initial use of assumeChecked feature in Inox","distinct":true,"url":"https://api.github.com/repos/epfl-lara/stainless/commits/8b1402f8b13ba7a072b57eea2084532515645306"},{"sha":"7c008c652e3450083ca789fe81232a1e0153a0d1","author":{"name":"Nicolas Voirol","email":"208330f49c74f104715b562029dea706237e128c@gmail.com"},"message":"Update all extractors to new API","distinct":true,"url":"https://api.github.com/repos/epfl-lara/stainless/commits/7c008c652e3450083ca789fe81232a1e0153a0d1"},{"sha":"9ad8c62b73b33bf95a5c7a0ac42796880276b291","author":{"name":"Nicolas Voirol","email":"208330f49c74f104715b562029dea706237e128c@gmail.com"},"message":"Update to new SymbolOps transformers API","distinct":true,"url":"https://api.github.com/repos/epfl-lara/stainless/commits/9ad8c62b73b33bf95a5c7a0ac42796880276b291"},{"sha":"c58a7fe85a7bf03670a2142f9f3100fdff4ae7ef","author":{"name":"Nicolas Voirol","email":"208330f49c74f104715b562029dea706237e128c@gmail.com"},"message":"Update inox dep and add cafebabe ivy dep","distinct":true,"url":"https://api.github.com/repos/epfl-lara/stainless/commits/c58a7fe85a7bf03670a2142f9f3100fdff4ae7ef"}]}
{"actor":{"display_login":"samarion"}}