Skip to content

Actions: hacspec/hax

Actions

Install & test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
install_and_test.yml
2,740 workflow runs
2,740 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Coq generic printer Install & test #3176: Pull request #987 synchronize by cmester0
October 29, 2024 11:20 7m 35s coq-generic-printer
coq-generic-printer
October 29, 2024 11:20 7m 35s
Coq generic printer Install & test #3175: Pull request #987 synchronize by cmester0
October 29, 2024 11:19 7m 39s coq-generic-printer
coq-generic-printer
October 29, 2024 11:19 7m 39s
Coq generic printer Install & test #3174: Pull request #987 synchronize by cmester0
October 29, 2024 11:17 14m 5s coq-generic-printer
coq-generic-printer
October 29, 2024 11:17 14m 5s
Merge pull request #1056 from hacspec/fix-1044 Install & test #3173: Commit d9c5568 pushed by github-merge-queue bot
October 29, 2024 11:15 18m 29s main
main
October 29, 2024 11:15 18m 29s
Add core lib for Coq generic printer Install & test #3172: Pull request #1064 synchronize by cmester0
October 29, 2024 11:13 7m 54s coq-generic-printer-annotated-core-lib
coq-generic-printer-annotated-core-lib
October 29, 2024 11:13 7m 54s
Coq generic printer Install & test #3171: Pull request #987 synchronize by cmester0
October 29, 2024 11:12 11m 46s coq-generic-printer
coq-generic-printer
October 29, 2024 11:12 11m 46s
Add core lib for Coq generic printer Install & test #3170: Pull request #1064 opened by cmester0
October 29, 2024 11:11 15m 0s coq-generic-printer-annotated-core-lib
coq-generic-printer-annotated-core-lib
October 29, 2024 11:11 15m 0s
Coq generic printer Install & test #3169: Pull request #987 synchronize by cmester0
October 29, 2024 11:10 16m 7s coq-generic-printer
coq-generic-printer
October 29, 2024 11:10 16m 7s
Add module information to FullDef Install & test #3168: Pull request #1063 opened by Nadrieril
October 29, 2024 11:09 18m 40s Nadrieril:fulldef-modules
Nadrieril:fulldef-modules
October 29, 2024 11:09 18m 40s
Document valid CFG for Hax Install & test #3167: Pull request #986 synchronize by cmester0
October 29, 2024 10:57 10m 19s hax-auto-syntax
hax-auto-syntax
October 29, 2024 10:57 10m 19s
Install & test Install & test #3166: Merge group checks requested
October 29, 2024 10:50 18m 26s
October 29, 2024 10:50 18m 26s
AST generator Install & test #3165: Pull request #1038 synchronize by cmester0
October 29, 2024 10:39 19m 21s ast-generator
ast-generator
October 29, 2024 10:39 19m 21s
AST generator Install & test #3164: Pull request #1038 synchronize by cmester0
October 29, 2024 10:38 19m 22s ast-generator
ast-generator
October 29, 2024 10:38 19m 22s
fix(engine) Remove attributes on bundle aliases and filter out NotImplementedYet. Install & test #3163: Pull request #1062 synchronize by maximebuyse
October 29, 2024 10:38 23m 12s small-bundling-fixes
small-bundling-fixes
October 29, 2024 10:38 23m 12s
fix(engine) Remove attributes on bundle aliases and filter out NotImplementedYet. Install & test #3162: Pull request #1062 opened by maximebuyse
October 29, 2024 10:33 10m 37s small-bundling-fixes
small-bundling-fixes
October 29, 2024 10:33 10m 37s
Intern DefIds Install & test #3161: Pull request #1054 synchronize by Nadrieril
October 29, 2024 10:26 6m 47s Nadrieril:intern-defid
Nadrieril:intern-defid
October 29, 2024 10:26 6m 47s
Merge pull request #1061 from hacspec/add-floats-consts Install & test #3160: Commit 5b781f6 pushed by github-merge-queue bot
October 29, 2024 10:25 13m 27s main
main
October 29, 2024 10:25 13m 27s
fix(engine) Avoid wrapping return in a tuple. Install & test #3159: Pull request #1056 synchronize by maximebuyse
October 29, 2024 10:14 19m 21s fix-1044
fix-1044
October 29, 2024 10:14 19m 21s
Install & test Install & test #3158: Merge group checks requested
October 29, 2024 10:04 19m 25s
October 29, 2024 10:04 19m 25s
feat(frontend/consts): float lits: use strings not bits, more support Install & test #3157: Pull request #1061 opened by W95Psp
October 29, 2024 06:43 19m 39s add-floats-consts
add-floats-consts
October 29, 2024 06:43 19m 39s
Coq generic printer Install & test #3156: Pull request #987 synchronize by cmester0
October 28, 2024 23:43 9m 41s coq-generic-printer
coq-generic-printer
October 28, 2024 23:43 9m 41s
Coq generic printer Install & test #3155: Pull request #987 synchronize by cmester0
October 28, 2024 23:40 10m 45s coq-generic-printer
coq-generic-printer
October 28, 2024 23:40 10m 45s
fix(engine) Avoid wrapping return in a tuple. Install & test #3154: Pull request #1056 synchronize by franziskuskiefer
October 28, 2024 20:04 21m 13s fix-1044
fix-1044
October 28, 2024 20:04 21m 13s
Merge pull request #1055 from Nadrieril/generic-fulldef Install & test #3153: Commit 381bd0f pushed by github-merge-queue bot
October 28, 2024 16:30 13m 12s main
main
October 28, 2024 16:30 13m 12s
fix(engine) Avoid wrapping return in a tuple. Install & test #3152: Pull request #1056 synchronize by maximebuyse
October 28, 2024 16:17 19m 38s fix-1044
fix-1044
October 28, 2024 16:17 19m 38s