Skip to content

Actions: hacspec/hax

Actions

Install & test

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Coq generic printer Install & test #2970: Pull request #987 synchronize by cmester0
October 16, 2024 10:48 13m 52s coq-generic-printer
coq-generic-printer
October 16, 2024 10:48 13m 52s
Coq generic printer Install & test #2969: Pull request #987 synchronize by cmester0
October 16, 2024 10:45 8m 22s coq-generic-printer
coq-generic-printer
October 16, 2024 10:45 8m 22s
Merge pull request #1002 from hacspec/fix-cyclic-dependencies Install & test #2968: Commit cf1571e pushed by github-merge-queue bot
October 16, 2024 10:36 10m 3s main
main
October 16, 2024 10:36 10m 3s
Install & test Install & test #2967: Merge group checks requested
October 16, 2024 10:13 16m 8s
October 16, 2024 10:13 16m 8s
Fix bug with recursive bundles depending on items from original modules. Install & test #2966: Pull request #1002 synchronize by maximebuyse
October 16, 2024 10:01 11m 48s fix-cyclic-dependencies
fix-cyclic-dependencies
October 16, 2024 10:01 11m 48s
Support more features Install & test #2965: Pull request #1006 opened by Nadrieril
October 16, 2024 09:38 8m 58s Nadrieril:tweaks
Nadrieril:tweaks
October 16, 2024 09:38 8m 58s
Fix bug with recursive bundles depending on items from original modules. Install & test #2964: Pull request #1002 synchronize by maximebuyse
October 16, 2024 08:38 5m 13s fix-cyclic-dependencies
fix-cyclic-dependencies
October 16, 2024 08:38 5m 13s
Fix bug with recursive bundles depending on items from original modules. Install & test #2963: Pull request #1002 synchronize by maximebuyse
October 16, 2024 08:33 7m 12s fix-cyclic-dependencies
fix-cyclic-dependencies
October 16, 2024 08:33 7m 12s
Restore neg_equiv_lemma Install & test #2962: Pull request #1004 opened by mamonet
October 16, 2024 08:22 11m 18s refined-ints-neg
refined-ints-neg
October 16, 2024 08:22 11m 18s
Coq generic printer Install & test #2961: Pull request #987 synchronize by cmester0
October 15, 2024 16:58 6m 0s coq-generic-printer
coq-generic-printer
October 15, 2024 16:58 6m 0s
Merge pull request #1000 from Nadrieril/cach-fulldef Install & test #2960: Commit e2734c8 pushed by github-merge-queue bot
October 14, 2024 21:52 10m 40s main
main
October 14, 2024 21:52 10m 40s
Install & test Install & test #2959: Merge group checks requested
October 14, 2024 21:34 15m 35s
October 14, 2024 21:34 15m 35s
Coq generic printer Install & test #2958: Pull request #987 synchronize by cmester0
October 14, 2024 17:59 5m 58s coq-generic-printer
coq-generic-printer
October 14, 2024 17:59 5m 58s
Merge pull request #999 from hacspec/exporter-get_variant_information… Install & test #2957: Commit ce9ea56 pushed by github-merge-queue bot
October 14, 2024 16:52 13m 31s main
main
October 14, 2024 16:52 13m 31s
Merge pull request #984 from hacspec/just Install & test #2956: Commit e3c3262 pushed by github-merge-queue bot
October 14, 2024 16:37 13m 13s main
main
October 14, 2024 16:37 13m 13s
Merge pull request #994 from hacspec/issue-346 Install & test #2955: Commit f0176f1 pushed by github-merge-queue bot
October 14, 2024 16:33 16m 4s main
main
October 14, 2024 16:33 16m 4s
Install & test Install & test #2954: Merge group checks requested
October 14, 2024 16:28 18m 41s
October 14, 2024 16:28 18m 41s
Fix bug with recursive bundles depending on items from original modules. Install & test #2953: Pull request #1002 opened by maximebuyse
October 14, 2024 16:18 20m 56s fix-cyclic-dependencies
fix-cyclic-dependencies
October 14, 2024 16:18 20m 56s
Install & test Install & test #2952: Merge group checks requested
October 14, 2024 16:14 16m 17s
October 14, 2024 16:14 16m 17s
Install & test Install & test #2951: Merge group checks requested
October 14, 2024 16:13 16m 30s
October 14, 2024 16:13 16m 30s
Exporter get variant information works on unions Install & test #2950: Pull request #999 synchronize by W95Psp
October 14, 2024 16:11 17m 35s exporter-get_variant_information-works-on-unions
exporter-get_variant_information-works-on-unions
October 14, 2024 16:11 17m 35s
Document valid CFG for Hax Install & test #2949: Pull request #986 synchronize by cmester0
October 14, 2024 16:09 5m 49s hax-auto-syntax
hax-auto-syntax
October 14, 2024 16:09 5m 49s
Cache FullDef translation and add more information to it Install & test #2948: Pull request #1000 synchronize by Nadrieril
October 14, 2024 14:52 19m 18s Nadrieril:cach-fulldef
Nadrieril:cach-fulldef
October 14, 2024 14:52 19m 18s
Cache FullDef translation and add more information to it Install & test #2947: Pull request #1000 opened by Nadrieril
October 14, 2024 14:50 5m 49s Nadrieril:cach-fulldef
Nadrieril:cach-fulldef
October 14, 2024 14:50 5m 49s
Exporter get variant information works on unions Install & test #2946: Pull request #999 opened by W95Psp
October 14, 2024 13:30 10m 59s exporter-get_variant_information-works-on-unions
exporter-get_variant_information-works-on-unions
October 14, 2024 13:30 10m 59s