Skip to content

Actions: cryspen/hax

Actions

.github/workflows/charon.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
charon.yml
1,102 workflow runs
1,102 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

refactor: feature gate all implementations with full .github/workflows/charon.yml #77: Pull request #713 synchronize by W95Psp
June 13, 2024 14:07 1m 8s frontend-add-full-feature
frontend-add-full-feature
June 13, 2024 14:07 1m 8s
Fix issue #699: pin OCaml dependencies .github/workflows/charon.yml #76: Pull request #705 synchronize by W95Psp
June 13, 2024 10:13 6m 0s fix-699
fix-699
June 13, 2024 10:13 6m 0s
Fix issue #699: pin OCaml dependencies .github/workflows/charon.yml #75: Pull request #705 synchronize by W95Psp
June 13, 2024 10:10 6m 4s fix-699
fix-699
June 13, 2024 10:10 6m 4s
fix(backends/fstar): no __marker_trait if parent bounds .github/workflows/charon.yml #74: Pull request #712 synchronize by W95Psp
June 12, 2024 13:16 6m 12s fstar-uniform-marker-trait
fstar-uniform-marker-trait
June 12, 2024 13:16 6m 12s
fix(backends/fstar): no __marker_trait if parent bounds .github/workflows/charon.yml #73: Pull request #712 synchronize by W95Psp
June 12, 2024 13:14 6m 10s fstar-uniform-marker-trait
fstar-uniform-marker-trait
June 12, 2024 13:14 6m 10s
fix(backends/fstar): no __marker_trait if parent bounds .github/workflows/charon.yml #72: Pull request #712 synchronize by W95Psp
June 12, 2024 13:09 6m 19s fstar-uniform-marker-trait
fstar-uniform-marker-trait
June 12, 2024 13:09 6m 19s
feat(cli): add a list-names verb, accept "raw" paths .github/workflows/charon.yml #71: Pull request #714 opened by W95Psp
June 12, 2024 12:29 41s add-verb-list-names
add-verb-list-names
June 12, 2024 12:29 41s
refactor: feature gate all implementations with full .github/workflows/charon.yml #70: Pull request #713 synchronize by W95Psp
June 12, 2024 12:21 47s frontend-add-full-feature
frontend-add-full-feature
June 12, 2024 12:21 47s
refactor: feature gate all implementations with full .github/workflows/charon.yml #69: Pull request #713 synchronize by W95Psp
June 12, 2024 12:20 39s frontend-add-full-feature
frontend-add-full-feature
June 12, 2024 12:20 39s
refactor: feature gate all implementations with full .github/workflows/charon.yml #68: Pull request #713 synchronize by W95Psp
June 12, 2024 12:12 46s frontend-add-full-feature
frontend-add-full-feature
June 12, 2024 12:12 46s
refactor: feature gate all implementations with full .github/workflows/charon.yml #67: Pull request #713 synchronize by W95Psp
June 12, 2024 10:14 36s frontend-add-full-feature
frontend-add-full-feature
June 12, 2024 10:14 36s
refactor: feature gate all implementations with full .github/workflows/charon.yml #66: Pull request #713 synchronize by W95Psp
June 12, 2024 08:34 36s frontend-add-full-feature
frontend-add-full-feature
June 12, 2024 08:34 36s
refactor: feature gate all implementations with full .github/workflows/charon.yml #65: Pull request #713 synchronize by W95Psp
June 12, 2024 08:22 5m 46s frontend-add-full-feature
frontend-add-full-feature
June 12, 2024 08:22 5m 46s
refactor: feature gate all implementations with full .github/workflows/charon.yml #64: Pull request #713 synchronize by W95Psp
June 12, 2024 06:44 6m 13s frontend-add-full-feature
frontend-add-full-feature
June 12, 2024 06:44 6m 13s
refactor: feature gate all implementations with full .github/workflows/charon.yml #63: Pull request #713 opened by W95Psp
June 12, 2024 06:42 2m 45s frontend-add-full-feature
frontend-add-full-feature
June 12, 2024 06:42 2m 45s
fix(backends/fstar): no __marker_trait if parent bounds .github/workflows/charon.yml #62: Pull request #712 opened by W95Psp
June 10, 2024 14:17 5m 59s fstar-uniform-marker-trait
fstar-uniform-marker-trait
June 10, 2024 14:17 5m 59s
feat(proof-libs): add t_Default .github/workflows/charon.yml #61: Pull request #711 opened by W95Psp
June 10, 2024 14:14 6m 3s proof-libs-t_Default
proof-libs-t_Default
June 10, 2024 14:14 6m 3s
fix(exporter): disable impl expr resolution under type aliases .github/workflows/charon.yml #60: Pull request #709 synchronize by W95Psp
June 10, 2024 10:05 6m 0s fix-707
fix-707
June 10, 2024 10:05 6m 0s
feat(hax): logging: enable tracing in release, add trait-related logs .github/workflows/charon.yml #59: Pull request #710 opened by W95Psp
June 10, 2024 09:43 6m 35s tracing-misc
tracing-misc
June 10, 2024 09:43 6m 35s
fix(exporter): disable impl expr resolution under type aliases .github/workflows/charon.yml #58: Pull request #709 opened by W95Psp
June 10, 2024 09:31 6m 6s fix-707
fix-707
June 10, 2024 09:31 6m 6s
Generate visitors automatically .github/workflows/charon.yml #57: Pull request #698 synchronize by W95Psp
June 6, 2024 14:00 6m 8s generate-visitors
generate-visitors
June 6, 2024 14:00 6m 8s
Fix issue #699: pin OCaml dependencies .github/workflows/charon.yml #56: Pull request #705 opened by W95Psp
June 6, 2024 13:51 6m 9s fix-699
fix-699
June 6, 2024 13:51 6m 9s
Update to OCaml 5 .github/workflows/charon.yml #55: Pull request #694 synchronize by W95Psp
June 6, 2024 12:40 6m 17s update-ocaml-5
update-ocaml-5
June 6, 2024 12:40 6m 17s
Update to OCaml 5 .github/workflows/charon.yml #54: Pull request #694 synchronize by W95Psp
June 6, 2024 12:39 6m 4s update-ocaml-5
update-ocaml-5
June 6, 2024 12:39 6m 4s
Update to OCaml 5 .github/workflows/charon.yml #53: Pull request #694 synchronize by W95Psp
June 6, 2024 12:35 6m 4s update-ocaml-5
update-ocaml-5
June 6, 2024 12:35 6m 4s
ProTip! You can narrow down the results and go further in time using created:<2024-06-06 or the other filters available.