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

Merge pull request #1057 from hacspec/fix-1042 Install & test #3151: Commit 6891818 pushed by github-merge-queue bot
October 28, 2024 16:15 12m 44s main
main
October 28, 2024 16:15 12m 44s
Install & test Install & test #3150: Merge group checks requested
October 28, 2024 16:09 19m 3s
October 28, 2024 16:09 19m 3s
Install & test Install & test #3149: Merge group checks requested
October 28, 2024 15:52 20m 42s
October 28, 2024 15:52 20m 42s
fix(engine) Avoid wrapping return in a tuple. Install & test #3148: Pull request #1056 synchronize by maximebuyse
October 28, 2024 15:26 16m 8s fix-1044
fix-1044
October 28, 2024 15:26 16m 8s
Include bodies in FullDef Install & test #3147: Pull request #1055 synchronize by Nadrieril
October 28, 2024 15:20 19m 55s Nadrieril:generic-fulldef
Nadrieril:generic-fulldef
October 28, 2024 15:20 19m 55s
fix(exporter/constants): support usize casted to raw pointers constants Install & test #3146: Pull request #1057 synchronize by W95Psp
October 28, 2024 15:19 16m 22s fix-1042
fix-1042
October 28, 2024 15:19 16m 22s
fix(exporter/constants): support usize casted to raw pointers constants Install & test #3145: Pull request #1057 opened by W95Psp
October 28, 2024 14:54 10m 19s fix-1042
fix-1042
October 28, 2024 14:54 10m 19s
fix(engine) Avoid wrapping return in a tuple. Install & test #3144: Pull request #1056 opened by maximebuyse
October 28, 2024 14:46 10m 16s fix-1044
fix-1044
October 28, 2024 14:46 10m 16s
Include bodies in FullDef Install & test #3143: Pull request #1055 opened by Nadrieril
October 28, 2024 14:40 19m 12s Nadrieril:generic-fulldef
Nadrieril:generic-fulldef
October 28, 2024 14:40 19m 12s
Intern DefIds Install & test #3142: Pull request #1054 synchronize by Nadrieril
October 28, 2024 14:09 6m 14s Nadrieril:intern-defid
Nadrieril:intern-defid
October 28, 2024 14:09 6m 14s
Intern DefIds Install & test #3141: Pull request #1054 opened by Nadrieril
October 28, 2024 13:39 6m 24s Nadrieril:intern-defid
Nadrieril:intern-defid
October 28, 2024 13:39 6m 24s
Merge pull request #1052 from hacspec/fix-1042 Install & test #3140: Commit 9559048 pushed by github-merge-queue bot
October 28, 2024 13:39 13m 34s main
main
October 28, 2024 13:39 13m 34s
Install & test Install & test #3139: Merge group checks requested
October 28, 2024 13:17 19m 22s
October 28, 2024 13:17 19m 22s
fix(exporter/thir): fix #1048 Install & test #3138: Pull request #1052 synchronize by W95Psp
October 28, 2024 12:57 19m 4s fix-1042
fix-1042
October 28, 2024 12:57 19m 4s
Merge pull request #1053 from Nadrieril/fulldef-for-names Install & test #3137: Commit 2054cee pushed by github-merge-queue bot
October 28, 2024 12:08 13m 54s main
main
October 28, 2024 12:08 13m 54s
Install & test Install & test #3136: Merge group checks requested
October 28, 2024 11:43 24m 49s
October 28, 2024 11:43 24m 49s
Merge pull request #1049 from hacspec/fix-1021 Install & test #3135: Commit 4740ecb pushed by github-merge-queue bot
October 28, 2024 11:39 12m 48s main
main
October 28, 2024 11:39 12m 48s
Avoid a panic in FullDef Install & test #3134: Pull request #1053 opened by Nadrieril
October 28, 2024 11:19 23m 35s Nadrieril:fulldef-for-names
Nadrieril:fulldef-for-names
October 28, 2024 11:19 23m 35s
fix(exporter/thir): fix #1048 Install & test #3133: Pull request #1052 opened by W95Psp
October 28, 2024 11:16 19m 36s fix-1042
fix-1042
October 28, 2024 11:16 19m 36s
Install & test Install & test #3132: Merge group checks requested
October 28, 2024 11:16 19m 23s
October 28, 2024 11:16 19m 23s
fix(engine) Move variant constructors in recursive bundling. Install & test #3131: Pull request #1049 synchronize by maximebuyse
October 28, 2024 10:47 20m 0s fix-1021
fix-1021
October 28, 2024 10:47 20m 0s
Merge pull request #1050 from hacspec/fix-1042 Install & test #3130: Commit ac0445b pushed by github-merge-queue bot
October 28, 2024 10:37 12m 40s main
main
October 28, 2024 10:37 12m 40s
Install & test Install & test #3129: Merge group checks requested
October 28, 2024 10:16 19m 18s
October 28, 2024 10:16 19m 18s
Fix #1042 Install & test #3128: Pull request #1050 opened by W95Psp
October 28, 2024 09:56 18m 57s fix-1042
fix-1042
October 28, 2024 09:56 18m 57s
fix(engine) Move variant constructors in recursive bundling. Install & test #3127: Pull request #1049 opened by maximebuyse
October 28, 2024 09:56 18m 24s fix-1021
fix-1021
October 28, 2024 09:56 18m 24s