Skip to content

Actions: hacspec/hax

Actions

Ensure formatting

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
format.yml
2,738 workflow runs
2,738 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add core lib for Coq generic printer Ensure formatting #3290: Pull request #1064 synchronize by cmester0
October 29, 2024 22:10 1m 5s coq-generic-printer-annotated-core-lib
coq-generic-printer-annotated-core-lib
October 29, 2024 22:10 1m 5s
count_ones and bool->int Ensure formatting #3289: Pull request #1071 opened by karthikbhargavan
October 29, 2024 19:15 1m 11s fstar-proof-lib-small-additions
fstar-proof-lib-small-additions
October 29, 2024 19:15 1m 11s
Merge pull request #1069 from Nadrieril/assoc-ty-impl-expr Ensure formatting #3288: Commit 001a27e pushed by github-merge-queue bot
October 29, 2024 17:14 1m 16s main
main
October 29, 2024 17:14 1m 16s
Coq generic printer Ensure formatting #3287: Pull request #987 synchronize by cmester0
October 29, 2024 17:14 1m 10s coq-generic-printer
coq-generic-printer
October 29, 2024 17:14 1m 10s
Coq generic printer Ensure formatting #3286: Pull request #987 synchronize by cmester0
October 29, 2024 17:13 1m 16s coq-generic-printer
coq-generic-printer
October 29, 2024 17:13 1m 16s
feat(book): allow F* extraction + TC from within the book Ensure formatting #3285: Pull request #1067 synchronize by W95Psp
October 29, 2024 16:58 1m 18s minor-fixes-book
minor-fixes-book
October 29, 2024 16:58 1m 18s
Ensure formatting Ensure formatting #3284: Merge group checks requested
October 29, 2024 16:50 1m 18s
October 29, 2024 16:50 1m 18s
Coq generic printer Ensure formatting #3283: Pull request #987 synchronize by cmester0
October 29, 2024 16:44 1m 9s coq-generic-printer
coq-generic-printer
October 29, 2024 16:44 1m 9s
Coq generic printer Ensure formatting #3282: Pull request #987 synchronize by cmester0
October 29, 2024 16:43 1m 6s coq-generic-printer
coq-generic-printer
October 29, 2024 16:43 1m 6s
Coq generic printer Ensure formatting #3281: Pull request #987 synchronize by cmester0
October 29, 2024 16:42 1m 19s coq-generic-printer
coq-generic-printer
October 29, 2024 16:42 1m 19s
Add ImplExpr information to associated types in an impl block Ensure formatting #3280: Pull request #1069 opened by Nadrieril
October 29, 2024 16:30 1m 9s Nadrieril:assoc-ty-impl-expr
Nadrieril:assoc-ty-impl-expr
October 29, 2024 16:30 1m 9s
feat(book): allow F* extraction + TC from within the book Ensure formatting #3279: Pull request #1067 synchronize by W95Psp
October 29, 2024 16:26 1m 13s minor-fixes-book
minor-fixes-book
October 29, 2024 16:26 1m 13s
feat(book): allow F* extraction + TC from within the book Ensure formatting #3278: Pull request #1067 opened by W95Psp
October 29, 2024 13:48 1m 12s minor-fixes-book
minor-fixes-book
October 29, 2024 13:48 1m 12s
Merge pull request #1063 from Nadrieril/fulldef-modules Ensure formatting #3277: Commit 5ca1c13 pushed by github-merge-queue bot
October 29, 2024 13:04 1m 4s main
main
October 29, 2024 13:04 1m 4s
Coq generic printer Ensure formatting #3276: Pull request #987 synchronize by W95Psp
October 29, 2024 13:03 1m 7s coq-generic-printer
coq-generic-printer
October 29, 2024 13:03 1m 7s
Ensure formatting Ensure formatting #3275: Merge group checks requested
October 29, 2024 12:39 1m 9s
October 29, 2024 12:39 1m 9s
Merge pull request #1062 from hacspec/small-bundling-fixes Ensure formatting #3274: Commit 58bba60 pushed by github-merge-queue bot
October 29, 2024 12:35 1m 6s main
main
October 29, 2024 12:35 1m 6s
Ensure formatting Ensure formatting #3273: Merge group checks requested
October 29, 2024 12:12 1m 7s
October 29, 2024 12:12 1m 7s
Coq generic printer Ensure formatting #3272: Pull request #987 synchronize by cmester0
October 29, 2024 12:07 1m 5s coq-generic-printer
coq-generic-printer
October 29, 2024 12:07 1m 5s
Add EBNF for AST to book Ensure formatting #3271: Pull request #1066 opened by cmester0
October 29, 2024 12:01 1m 7s AST-EBNF-documentation
AST-EBNF-documentation
October 29, 2024 12:01 1m 7s
HaxLib Interface Macro Ensure formatting #3270: Pull request #1065 opened by cmester0
October 29, 2024 11:28 2m 33s hax-lib-interface
hax-lib-interface
October 29, 2024 11:28 2m 33s
Coq generic printer Ensure formatting #3269: Pull request #987 synchronize by cmester0
October 29, 2024 11:24 3m 20s coq-generic-printer
coq-generic-printer
October 29, 2024 11:24 3m 20s
Coq generic printer Ensure formatting #3268: Pull request #987 synchronize by cmester0
October 29, 2024 11:24 2m 43s coq-generic-printer
coq-generic-printer
October 29, 2024 11:24 2m 43s
Coq generic printer Ensure formatting #3267: Pull request #987 synchronize by cmester0
October 29, 2024 11:23 2m 7s coq-generic-printer
coq-generic-printer
October 29, 2024 11:23 2m 7s
Coq generic printer Ensure formatting #3266: Pull request #987 synchronize by cmester0
October 29, 2024 11:21 3m 14s coq-generic-printer
coq-generic-printer
October 29, 2024 11:21 3m 14s