Skip to content

Actions: cryspen/hax

Actions

.github/workflows/charon.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Various F* core lib additions. .github/workflows/charon.yml #1086: Pull request #1273 opened by maximebuyse
January 28, 2025 13:31 9m 10s various-core-additions
various-core-additions
January 28, 2025 13:31 9m 10s
Move trait methods in cyclic dependencies bundling. .github/workflows/charon.yml #1085: Pull request #1075 synchronize by maximebuyse
January 27, 2025 08:27 8m 54s fix-1068
fix-1068
January 27, 2025 08:27 8m 54s
Fix #699: add ocaml versions .github/workflows/charon.yml #1084: Pull request #903 synchronize by W95Psp
January 23, 2025 15:03 15m 4s fix-699
fix-699
January 23, 2025 15:03 15m 4s
Fix #699: add ocaml versions .github/workflows/charon.yml #1083: Pull request #903 synchronize by W95Psp
January 23, 2025 15:01 13m 52s fix-699
fix-699
January 23, 2025 15:01 13m 52s
Library extensions .github/workflows/charon.yml #1082: Pull request #1235 synchronize by karthikbhargavan
January 23, 2025 14:34 9m 13s pq11-fstar-libs
pq11-fstar-libs
January 23, 2025 14:34 9m 13s
Transparent integers .github/workflows/charon.yml #1081: Pull request #1238 synchronize by W95Psp
January 23, 2025 14:25 16m 36s transparent-integers
transparent-integers
January 23, 2025 14:25 16m 36s
Library extensions .github/workflows/charon.yml #1080: Pull request #1235 synchronize by karthikbhargavan
January 23, 2025 14:23 17m 24s pq11-fstar-libs
pq11-fstar-libs
January 23, 2025 14:23 17m 24s
Library extensions .github/workflows/charon.yml #1079: Pull request #1235 synchronize by karthikbhargavan
January 23, 2025 14:17 14m 23s pq11-fstar-libs
pq11-fstar-libs
January 23, 2025 14:17 14m 23s
Move trait methods in cyclic dependencies bundling. .github/workflows/charon.yml #1078: Pull request #1075 synchronize by maximebuyse
January 23, 2025 13:46 9m 3s fix-1068
fix-1068
January 23, 2025 13:46 9m 3s
Stable topological sort using original order. .github/workflows/charon.yml #1077: Pull request #1247 synchronize by maximebuyse
January 23, 2025 13:28 8m 44s fix-item-order-ocamlgraph-indices
fix-item-order-ocamlgraph-indices
January 23, 2025 13:28 8m 44s
Fix #699: add ocaml versions .github/workflows/charon.yml #1076: Pull request #903 synchronize by W95Psp
January 23, 2025 13:28 8m 49s fix-699
fix-699
January 23, 2025 13:28 8m 49s
Fix dependencies bounded integers .github/workflows/charon.yml #1075: Pull request #808 synchronize by W95Psp
January 23, 2025 13:24 9m 2s fix-dependencies-bounded-integers
fix-dependencies-bounded-integers
January 23, 2025 13:24 9m 2s
feat(lib) New sandwich core changes .github/workflows/charon.yml #1074: Pull request #1192 synchronize by franziskuskiefer
January 23, 2025 12:48 8m 52s new-sandwich-core-changes
new-sandwich-core-changes
January 23, 2025 12:48 8m 52s
Transparent integers .github/workflows/charon.yml #1073: Pull request #1238 synchronize by W95Psp
January 23, 2025 12:11 10m 17s transparent-integers
transparent-integers
January 23, 2025 12:11 10m 17s
Transparent integers .github/workflows/charon.yml #1072: Pull request #1238 synchronize by W95Psp
January 23, 2025 10:26 9m 19s transparent-integers
transparent-integers
January 23, 2025 10:26 9m 19s
Stable topological sort using original order. .github/workflows/charon.yml #1071: Pull request #1247 synchronize by maximebuyse
January 23, 2025 09:57 8m 53s fix-item-order-ocamlgraph-indices
fix-item-order-ocamlgraph-indices
January 23, 2025 09:57 8m 53s
Transparent integers .github/workflows/charon.yml #1070: Pull request #1238 synchronize by W95Psp
January 23, 2025 09:11 11m 1s transparent-integers
transparent-integers
January 23, 2025 09:11 11m 1s
Stable topological sort using original order. .github/workflows/charon.yml #1069: Pull request #1247 synchronize by maximebuyse
January 22, 2025 14:53 9m 13s fix-item-order-ocamlgraph-indices
fix-item-order-ocamlgraph-indices
January 22, 2025 14:53 9m 13s
Stable topological sort using original order. .github/workflows/charon.yml #1068: Pull request #1247 synchronize by maximebuyse
January 22, 2025 13:56 8m 46s fix-item-order-ocamlgraph-indices
fix-item-order-ocamlgraph-indices
January 22, 2025 13:56 8m 46s
Stable topological sort using original order. .github/workflows/charon.yml #1067: Pull request #1247 synchronize by maximebuyse
January 22, 2025 12:31 9m 39s fix-item-order-ocamlgraph-indices
fix-item-order-ocamlgraph-indices
January 22, 2025 12:31 9m 39s
Transparent integers .github/workflows/charon.yml #1066: Pull request #1238 synchronize by karthikbhargavan
January 22, 2025 10:33 8m 37s transparent-integers
transparent-integers
January 22, 2025 10:33 8m 37s
fix(hax-lib/macros): handle correctly &mut Self arguments in ensures .github/workflows/charon.yml #1065: Pull request #1267 synchronize by W95Psp
January 22, 2025 09:26 8m 54s fix-mut-borrow-self-ensures-clause
fix-mut-borrow-self-ensures-clause
January 22, 2025 09:26 8m 54s
fix(hax-lib/macros): handle correctly &mut Self arguments in ensures .github/workflows/charon.yml #1064: Pull request #1267 synchronize by W95Psp
January 22, 2025 08:06 9m 25s fix-mut-borrow-self-ensures-clause
fix-mut-borrow-self-ensures-clause
January 22, 2025 08:06 9m 25s
fix(hax-lib/macros): handle correctly &mut Self arguments in ensures .github/workflows/charon.yml #1063: Pull request #1267 opened by W95Psp
January 22, 2025 08:04 9m 7s fix-mut-borrow-self-ensures-clause
fix-mut-borrow-self-ensures-clause
January 22, 2025 08:04 9m 7s
Stable topological sort using original order. .github/workflows/charon.yml #1062: Pull request #1247 synchronize by maximebuyse
January 21, 2025 16:14 8m 51s fix-item-order-ocamlgraph-indices
fix-item-order-ocamlgraph-indices
January 21, 2025 16:14 8m 51s