Skip to content

Actions: hacspec/hax

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
18,192 workflow runs
18,192 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix generics handling for function calls Install & test #3591: Pull request #1215 opened by Nadrieril
December 31, 2024 13:53 18m 40s Nadrieril:fix-call-generics
Nadrieril:fix-call-generics
December 31, 2024 13:53 18m 40s
Fix generics handling for function calls .github/workflows/charon.yml #989: Pull request #1215 opened by Nadrieril
December 31, 2024 13:53 55s Nadrieril:fix-call-generics
Nadrieril:fix-call-generics
December 31, 2024 13:53 55s
Fix generics handling for function calls Test installations #3336: Pull request #1215 opened by Nadrieril
December 31, 2024 13:53 4s Nadrieril:fix-call-generics
Nadrieril:fix-call-generics
December 31, 2024 13:53 4s
Fix generics handling for function calls Ensure formatting #3680: Pull request #1215 opened by Nadrieril
December 31, 2024 13:53 1m 9s Nadrieril:fix-call-generics
Nadrieril:fix-call-generics
December 31, 2024 13:53 1m 9s
Fix generics handling for function calls Extract Bertie #252: Pull request #1215 opened by Nadrieril
December 31, 2024 13:53 4s Nadrieril:fix-call-generics
Nadrieril:fix-call-generics
December 31, 2024 13:53 4s
Fix generics handling for function calls Test Workspace #3643: Pull request #1215 opened by Nadrieril
December 31, 2024 13:53 7m 38s Nadrieril:fix-call-generics
Nadrieril:fix-call-generics
December 31, 2024 13:53 7m 38s
Fix generics handling for function calls Test JS build #1547: Pull request #1215 opened by Nadrieril
December 31, 2024 13:53 3s Nadrieril:fix-call-generics
Nadrieril:fix-call-generics
December 31, 2024 13:53 3s
Fix generics handling for function calls Extract and TC ML-Kem #1303: Pull request #1215 opened by Nadrieril
December 31, 2024 13:53 4s Nadrieril:fix-call-generics
Nadrieril:fix-call-generics
December 31, 2024 13:53 4s
Fix generics handling for function calls Check licenses #486: Pull request #1215 opened by Nadrieril
December 31, 2024 13:53 4m 31s Nadrieril:fix-call-generics
Nadrieril:fix-call-generics
December 31, 2024 13:53 4m 31s
Triage stale issues and PRs Triage stale issues and PRs #120: Scheduled
December 26, 2024 01:34 2m 39s main
main
December 26, 2024 01:34 2m 39s
fix(CI) Update F* version to fix mlkem CI job Extract and TC ML-Kem #1302: Pull request #1212 opened by maximebuyse
December 24, 2024 15:32 3s fix-mlkem-ci-fstar
fix-mlkem-ci-fstar
December 24, 2024 15:32 3s
fix(CI) Update F* version to fix mlkem CI job Test installations #3335: Pull request #1212 opened by maximebuyse
December 24, 2024 15:32 4s fix-mlkem-ci-fstar
fix-mlkem-ci-fstar
December 24, 2024 15:32 4s
fix(CI) Update F* version to fix mlkem CI job Check licenses #485: Pull request #1212 opened by maximebuyse
December 24, 2024 15:32 4m 14s fix-mlkem-ci-fstar
fix-mlkem-ci-fstar
December 24, 2024 15:32 4m 14s
fix(CI) Update F* version to fix mlkem CI job Test Workspace #3642: Pull request #1212 opened by maximebuyse
December 24, 2024 15:32 4m 15s fix-mlkem-ci-fstar
fix-mlkem-ci-fstar
December 24, 2024 15:32 4m 15s
fix(CI) Update F* version to fix mlkem CI job Ensure formatting #3679: Pull request #1212 opened by maximebuyse
December 24, 2024 15:32 1m 7s fix-mlkem-ci-fstar
fix-mlkem-ci-fstar
December 24, 2024 15:32 1m 7s
fix(CI) Update F* version to fix mlkem CI job Extract Bertie #251: Pull request #1212 opened by maximebuyse
December 24, 2024 15:32 3s fix-mlkem-ci-fstar
fix-mlkem-ci-fstar
December 24, 2024 15:32 3s
fix(CI) Update F* version to fix mlkem CI job Test JS build #1546: Pull request #1212 opened by maximebuyse
December 24, 2024 15:32 3s fix-mlkem-ci-fstar
fix-mlkem-ci-fstar
December 24, 2024 15:32 3s
fix(CI) Update F* version to fix mlkem CI job Install & test #3590: Pull request #1212 opened by maximebuyse
December 24, 2024 15:32 10m 14s fix-mlkem-ci-fstar
fix-mlkem-ci-fstar
December 24, 2024 15:32 10m 14s
fix(CI) Update F* version to fix mlkem CI job .github/workflows/charon.yml #988: Pull request #1212 opened by maximebuyse
December 24, 2024 15:32 7m 56s fix-mlkem-ci-fstar
fix-mlkem-ci-fstar
December 24, 2024 15:32 7m 56s
Extract and TC ML-Kem Extract and TC ML-Kem #1301: Manually run by maximebuyse
December 24, 2024 14:57 31m 47s fix-mlkem-ci-fstar
fix-mlkem-ci-fstar
December 24, 2024 14:57 31m 47s
Merge pull request #1208 from hacspec/ascribe-match-scrutinees Install & test #3589: Commit f47b2ae pushed by github-merge-queue bot
December 24, 2024 13:42 11m 39s main
main
December 24, 2024 13:42 11m 39s
Merge pull request #1208 from hacspec/ascribe-match-scrutinees Extract and TC ML-Kem #1300: Commit f47b2ae pushed by github-merge-queue bot
December 24, 2024 13:42 3s main
main
December 24, 2024 13:42 3s
Merge pull request #1208 from hacspec/ascribe-match-scrutinees Check licenses #484: Commit f47b2ae pushed by github-merge-queue bot
December 24, 2024 13:42 4m 10s main
main
December 24, 2024 13:42 4m 10s
Merge pull request #1208 from hacspec/ascribe-match-scrutinees Ensure formatting #3678: Commit f47b2ae pushed by github-merge-queue bot
December 24, 2024 13:42 1m 6s main
main
December 24, 2024 13:42 1m 6s
Merge pull request #1208 from hacspec/ascribe-match-scrutinees Deploy to GH Pages #379: Commit f47b2ae pushed by github-merge-queue bot
December 24, 2024 13:42 11m 25s main
main
December 24, 2024 13:42 11m 25s