Skip to content

Actions: hacspec/hax

Actions

.github/workflows/charon.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
charon.yml
777 workflow runs
777 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(engine): profile each phase (mem usage, time, number of items) .github/workflows/charon.yml #727: Pull request #1074 synchronize by W95Psp
October 30, 2024 11:38 9m 10s record-time-in-phases
record-time-in-phases
October 30, 2024 11:38 9m 10s
feat(engine): profile each phase (mem usage, time, number of items) .github/workflows/charon.yml #726: Pull request #1074 synchronize by W95Psp
October 30, 2024 11:37 9m 50s record-time-in-phases
record-time-in-phases
October 30, 2024 11:37 9m 50s
Move trait methods in cyclic dependencies bundling. .github/workflows/charon.yml #725: Pull request #1075 opened by maximebuyse
October 30, 2024 11:31 9m 34s fix-1068
fix-1068
October 30, 2024 11:31 9m 34s
Add core lib for Coq generic printer .github/workflows/charon.yml #724: Pull request #1064 synchronize by cmester0
October 30, 2024 11:01 9m 35s coq-generic-printer-annotated-core-lib
coq-generic-printer-annotated-core-lib
October 30, 2024 11:01 9m 35s
Concrete ident for coq .github/workflows/charon.yml #723: Pull request #1073 synchronize by cmester0
October 30, 2024 10:57 9m 25s coq-generic-printer-concrete-ident
coq-generic-printer-concrete-ident
October 30, 2024 10:57 9m 25s
Coq generic printer .github/workflows/charon.yml #722: Pull request #987 synchronize by cmester0
October 30, 2024 10:53 9m 30s coq-generic-printer
coq-generic-printer
October 30, 2024 10:53 9m 30s
Concrete ident for coq .github/workflows/charon.yml #721: Pull request #1073 synchronize by cmester0
October 30, 2024 10:39 9m 20s coq-generic-printer-concrete-ident
coq-generic-printer-concrete-ident
October 30, 2024 10:39 9m 20s
Concrete ident for coq .github/workflows/charon.yml #720: Pull request #1073 synchronize by cmester0
October 30, 2024 10:37 9m 15s coq-generic-printer-concrete-ident
coq-generic-printer-concrete-ident
October 30, 2024 10:37 9m 15s
Coq generic printer .github/workflows/charon.yml #719: Pull request #987 synchronize by cmester0
October 30, 2024 10:29 9m 23s coq-generic-printer
coq-generic-printer
October 30, 2024 10:29 9m 23s
feat(engine): profile each phase (mem usage, time, number of items) .github/workflows/charon.yml #718: Pull request #1074 opened by W95Psp
October 30, 2024 10:29 9m 19s record-time-in-phases
record-time-in-phases
October 30, 2024 10:29 9m 19s
Coq generic printer .github/workflows/charon.yml #717: Pull request #987 synchronize by cmester0
October 30, 2024 09:58 9m 26s coq-generic-printer
coq-generic-printer
October 30, 2024 09:58 9m 26s
Coq generic printer .github/workflows/charon.yml #716: Pull request #987 synchronize by cmester0
October 30, 2024 09:55 9m 17s coq-generic-printer
coq-generic-printer
October 30, 2024 09:55 9m 17s
Concrete ident for coq .github/workflows/charon.yml #715: Pull request #1073 opened by cmester0
October 30, 2024 09:38 10m 20s coq-generic-printer-concrete-ident
coq-generic-printer-concrete-ident
October 30, 2024 09:38 10m 20s
Coq generic printer .github/workflows/charon.yml #714: Pull request #987 synchronize by cmester0
October 30, 2024 09:37 9m 19s coq-generic-printer
coq-generic-printer
October 30, 2024 09:37 9m 19s
Coq generic printer .github/workflows/charon.yml #713: Pull request #987 synchronize by cmester0
October 30, 2024 09:31 9m 22s coq-generic-printer
coq-generic-printer
October 30, 2024 09:31 9m 22s
Coq generic printer .github/workflows/charon.yml #712: Pull request #987 synchronize by cmester0
October 30, 2024 09:22 9m 20s coq-generic-printer
coq-generic-printer
October 30, 2024 09:22 9m 20s
feat(book): allow F* extraction + TC from within the book .github/workflows/charon.yml #711: Pull request #1067 synchronize by W95Psp
October 30, 2024 07:58 34m 27s minor-fixes-book
minor-fixes-book
October 30, 2024 07:58 34m 27s
Add core lib for Coq generic printer .github/workflows/charon.yml #710: Pull request #1064 synchronize by cmester0
October 29, 2024 22:10 9m 24s coq-generic-printer-annotated-core-lib
coq-generic-printer-annotated-core-lib
October 29, 2024 22:10 9m 24s
count_ones and bool->int .github/workflows/charon.yml #709: Pull request #1071 opened by karthikbhargavan
October 29, 2024 19:15 9m 32s fstar-proof-lib-small-additions
fstar-proof-lib-small-additions
October 29, 2024 19:15 9m 32s
Coq generic printer .github/workflows/charon.yml #708: Pull request #987 synchronize by cmester0
October 29, 2024 17:14 9m 51s coq-generic-printer
coq-generic-printer
October 29, 2024 17:14 9m 51s
Coq generic printer .github/workflows/charon.yml #707: Pull request #987 synchronize by cmester0
October 29, 2024 17:13 9m 55s coq-generic-printer
coq-generic-printer
October 29, 2024 17:13 9m 55s
feat(book): allow F* extraction + TC from within the book .github/workflows/charon.yml #706: Pull request #1067 synchronize by W95Psp
October 29, 2024 16:58 9m 33s minor-fixes-book
minor-fixes-book
October 29, 2024 16:58 9m 33s
Coq generic printer .github/workflows/charon.yml #705: Pull request #987 synchronize by cmester0
October 29, 2024 16:44 9m 19s coq-generic-printer
coq-generic-printer
October 29, 2024 16:44 9m 19s
Coq generic printer .github/workflows/charon.yml #704: Pull request #987 synchronize by cmester0
October 29, 2024 16:43 9m 18s coq-generic-printer
coq-generic-printer
October 29, 2024 16:43 9m 18s
Coq generic printer .github/workflows/charon.yml #703: Pull request #987 synchronize by cmester0
October 29, 2024 16:42 9m 22s coq-generic-printer
coq-generic-printer
October 29, 2024 16:42 9m 22s