Skip to content

Actions: cryspen/hax

Actions

Ensure formatting

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
format.yml
172 workflow run results
172 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(proof-lib/fstar): add bit_vec_to_int_arr and bit_vec_to_nat_arr Ensure formatting #1500: Pull request #479 synchronize by W95Psp
January 30, 2024 15:23 54s add-bit_vec_to_u8_arr
add-bit_vec_to_u8_arr
January 30, 2024 15:23 54s
feat(proof-lib/fstar): add bit_vec_to_int_arr and bit_vec_to_nat_arr Ensure formatting #1499: Pull request #479 opened by W95Psp
January 30, 2024 15:15 56s add-bit_vec_to_u8_arr
add-bit_vec_to_u8_arr
January 30, 2024 15:15 56s
fix(frontend): fix select_trait_candidate Ensure formatting #1498: Pull request #478 opened by W95Psp
January 30, 2024 14:29 55s fix-select-trait-candidate
fix-select-trait-candidate
January 30, 2024 14:29 55s
Ssprove backend base Ensure formatting #1497: Pull request #349 synchronize by cmester0
January 30, 2024 14:25 51s ssprove_backend_base
ssprove_backend_base
January 30, 2024 14:25 51s
Ssprove backend base Ensure formatting #1496: Pull request #349 synchronize by cmester0
January 30, 2024 14:08 49s ssprove_backend_base
ssprove_backend_base
January 30, 2024 14:08 49s
Infrastructure for known functions, types and constructors Ensure formatting #1495: Pull request #477 synchronize by jschneider-bensch
January 30, 2024 13:55 51s jonas/recognize-cal
jonas/recognize-cal
January 30, 2024 13:55 51s
Infrastructure for known functions, types and constructors Ensure formatting #1494: Pull request #477 synchronize by jschneider-bensch
January 30, 2024 13:49 49s jonas/recognize-cal
jonas/recognize-cal
January 30, 2024 13:49 49s
Infrastructure for known functions, types and constructors Ensure formatting #1493: Pull request #477 synchronize by jschneider-bensch
January 30, 2024 13:42 51s jonas/recognize-cal
jonas/recognize-cal
January 30, 2024 13:42 51s
Infrastructure for known functions, types and constructors Ensure formatting #1492: Pull request #477 synchronize by jschneider-bensch
January 30, 2024 12:58 54s jonas/recognize-cal
jonas/recognize-cal
January 30, 2024 12:58 54s
Infrastructure for known functions, types and constructors Ensure formatting #1491: Pull request #477 synchronize by jschneider-bensch
January 30, 2024 12:55 51s jonas/recognize-cal
jonas/recognize-cal
January 30, 2024 12:55 51s
Infrastructure for known functions, types and constructors Ensure formatting #1490: Pull request #477 opened by jschneider-bensch
January 30, 2024 11:52 54s jonas/recognize-cal
jonas/recognize-cal
January 30, 2024 11:52 54s
Merge pull request #475 from hacspec/fix-leaking-errors Ensure formatting #1489: Commit bc9e452 pushed by github-merge-queue bot
January 30, 2024 10:56 53s main
main
January 30, 2024 10:56 53s
Ensure formatting Ensure formatting #1488: Merge group checks requested
January 30, 2024 10:26 53s
January 30, 2024 10:26 53s
fix(engine/import-thir): fix leaking errors Ensure formatting #1487: Pull request #475 opened by W95Psp
January 30, 2024 10:13 52s fix-leaking-errors
fix-leaking-errors
January 30, 2024 10:13 52s
feat(engine/fstar): --interfaces: add option to extract only fsti Ensure formatting #1486: Pull request #470 synchronize by W95Psp
January 30, 2024 07:37 59s feat-fstar-fsti-only
feat-fstar-fsti-only
January 30, 2024 07:37 59s
Merge pull request #473 from hacspec/fstar-shallow-disj-pats Ensure formatting #1485: Commit bd6c328 pushed by github-merge-queue bot
January 30, 2024 07:33 50s main
main
January 30, 2024 07:33 50s
Ensure formatting Ensure formatting #1484: Merge group checks requested
January 30, 2024 06:53 51s
January 30, 2024 06:53 51s
feat(engine/fstar): --interfaces: add option to extract only fsti Ensure formatting #1483: Pull request #470 synchronize by W95Psp
January 30, 2024 06:43 50s feat-fstar-fsti-only
feat-fstar-fsti-only
January 30, 2024 06:43 50s
feat(backend/fstar): patterns: allow shallow POr Ensure formatting #1482: Pull request #473 synchronize by W95Psp
January 30, 2024 06:40 48s fstar-shallow-disj-pats
fstar-shallow-disj-pats
January 30, 2024 06:40 48s
Merge pull request #459 from hacspec/jonas/crypto-abstractions Ensure formatting #1481: Commit 3c4cfec pushed by github-merge-queue bot
January 29, 2024 16:26 52s main
main
January 29, 2024 16:26 52s
Ensure formatting Ensure formatting #1480: Merge group checks requested
January 29, 2024 15:52 51s
January 29, 2024 15:52 51s
feat(backend/fstar): patterns: allow shallow POr Ensure formatting #1479: Pull request #473 synchronize by W95Psp
January 29, 2024 15:20 52s fstar-shallow-disj-pats
fstar-shallow-disj-pats
January 29, 2024 15:20 52s
feat(backend/fstar): patterns: allow shallow POr Ensure formatting #1478: Pull request #473 synchronize by W95Psp
January 29, 2024 15:08 53s fstar-shallow-disj-pats
fstar-shallow-disj-pats
January 29, 2024 15:08 53s
feat(engine/fstar): --interfaces: add option to extract only fsti Ensure formatting #1477: Pull request #470 synchronize by W95Psp
January 29, 2024 14:48 1m 0s feat-fstar-fsti-only
feat-fstar-fsti-only
January 29, 2024 14:48 1m 0s
Merge pull request #469 from hacspec/fix-cli-deps Ensure formatting #1476: Commit 1d57e17 pushed by github-merge-queue bot
January 29, 2024 14:22 53s main
main
January 29, 2024 14:22 53s