Skip to content

Actions: hacspec/hax

Ensure formatting

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,657 workflow run results
1,657 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fstar val instances
Ensure formatting #2328: Pull request #718 opened by W95Psp
June 13, 2024 15:39 1m 7s fstar-val-instances
June 13, 2024 15:39 1m 7s
refactor: feature gate all implementations with full
Ensure formatting #2327: Pull request #713 synchronize by W95Psp
June 13, 2024 15:19 1m 8s frontend-add-full-feature
June 13, 2024 15:19 1m 8s
Generate visitors automatically
Ensure formatting #2326: Pull request #698 synchronize by W95Psp
June 13, 2024 14:17 1m 7s generate-visitors
June 13, 2024 14:17 1m 7s
feat(proof-libs): add t_Default
Ensure formatting #2325: Pull request #711 synchronize by W95Psp
June 13, 2024 14:16 1m 26s proof-libs-t_Default
June 13, 2024 14:16 1m 26s
feat(cli): add a list-names verb, accept "raw" paths
Ensure formatting #2324: Pull request #714 synchronize by W95Psp
June 13, 2024 14:15 1m 12s add-verb-list-names
June 13, 2024 14:15 1m 12s
refactor: feature gate all implementations with full
Ensure formatting #2323: Pull request #713 synchronize by W95Psp
June 13, 2024 14:14 1m 6s frontend-add-full-feature
June 13, 2024 14:14 1m 6s
feat(cli): add a list-names verb, accept "raw" paths
Ensure formatting #2322: Pull request #714 synchronize by W95Psp
June 13, 2024 14:13 1m 7s add-verb-list-names
June 13, 2024 14:13 1m 7s
refactor: feature gate all implementations with full
Ensure formatting #2321: Pull request #713 synchronize by W95Psp
June 13, 2024 14:11 1m 13s frontend-add-full-feature
June 13, 2024 14:11 1m 13s
refactor: feature gate all implementations with full
Ensure formatting #2320: Pull request #713 synchronize by W95Psp
June 13, 2024 14:07 1m 13s frontend-add-full-feature
June 13, 2024 14:07 1m 13s
Ensure formatting
Ensure formatting #2319: Merge group checks requested
June 13, 2024 10:35 1m 12s
June 13, 2024 10:35 1m 12s
Merge pull request #712 from hacspec/fstar-uniform-marker-trait
Ensure formatting #2318: Commit 2db0e69 pushed by github-merge-queue bot
June 13, 2024 10:35 1m 13s main
June 13, 2024 10:35 1m 13s
Fix issue #699: pin OCaml dependencies
Ensure formatting #2317: Pull request #705 synchronize by W95Psp
June 13, 2024 10:13 1m 5s fix-699
June 13, 2024 10:13 1m 5s
Fix issue #699: pin OCaml dependencies
Ensure formatting #2316: Pull request #705 synchronize by W95Psp
June 13, 2024 10:10 1m 6s fix-699
June 13, 2024 10:10 1m 6s
Ensure formatting
Ensure formatting #2315: Merge group checks requested
June 13, 2024 09:55 1m 14s
June 13, 2024 09:55 1m 14s
fix(backends/fstar): no __marker_trait if parent bounds
Ensure formatting #2314: Pull request #712 synchronize by W95Psp
June 12, 2024 13:16 1m 3s fstar-uniform-marker-trait
June 12, 2024 13:16 1m 3s
fix(backends/fstar): no __marker_trait if parent bounds
Ensure formatting #2313: Pull request #712 synchronize by W95Psp
June 12, 2024 13:14 1m 12s fstar-uniform-marker-trait
June 12, 2024 13:14 1m 12s
Merge pull request #694 from hacspec/update-ocaml-5
Ensure formatting #2312: Commit 6f3325e pushed by github-merge-queue bot
June 12, 2024 13:13 1m 12s main
June 12, 2024 13:13 1m 12s
fix(backends/fstar): no __marker_trait if parent bounds
Ensure formatting #2311: Pull request #712 synchronize by W95Psp
June 12, 2024 13:09 1m 0s fstar-uniform-marker-trait
June 12, 2024 13:09 1m 0s
Ensure formatting
Ensure formatting #2310: Merge group checks requested
June 12, 2024 12:31 1m 2s
June 12, 2024 12:31 1m 2s
feat(cli): add a list-names verb, accept "raw" paths
Ensure formatting #2309: Pull request #714 opened by W95Psp
June 12, 2024 12:29 56s add-verb-list-names
June 12, 2024 12:29 56s
refactor: feature gate all implementations with full
Ensure formatting #2308: Pull request #713 synchronize by W95Psp
June 12, 2024 12:21 1m 10s frontend-add-full-feature
June 12, 2024 12:21 1m 10s
refactor: feature gate all implementations with full
Ensure formatting #2307: Pull request #713 synchronize by W95Psp
June 12, 2024 12:20 1m 0s frontend-add-full-feature
June 12, 2024 12:20 1m 0s
refactor: feature gate all implementations with full
Ensure formatting #2306: Pull request #713 synchronize by W95Psp
June 12, 2024 12:12 1m 1s frontend-add-full-feature
June 12, 2024 12:12 1m 1s
Merge pull request #710 from hacspec/tracing-misc
Ensure formatting #2305: Commit 3958de4 pushed by github-merge-queue bot
June 12, 2024 10:47 1m 0s main
June 12, 2024 10:47 1m 0s
Ensure formatting
Ensure formatting #2304: Merge group checks requested
June 12, 2024 10:47 57s
June 12, 2024 10:47 57s