Skip to content

Actions: cryspen/hax

Actions

.github/workflows/charon.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Rustdoc for attributes .github/workflows/charon.yml #1111: Pull request #1298 synchronize by karthikbhargavan
February 7, 2025 10:01 9m 3s rustdoc-experiment
rustdoc-experiment
February 7, 2025 10:01 9m 3s
Rustdoc for attributes .github/workflows/charon.yml #1110: Pull request #1298 synchronize by karthikbhargavan
February 7, 2025 08:01 9m 4s rustdoc-experiment
rustdoc-experiment
February 7, 2025 08:01 9m 4s
Rustdoc for attributes .github/workflows/charon.yml #1109: Pull request #1298 opened by karthikbhargavan
February 6, 2025 14:04 8m 50s rustdoc-experiment
rustdoc-experiment
February 6, 2025 14:04 8m 50s
fix(engine) Fix loops with continue and no return/break .github/workflows/charon.yml #1108: Pull request #1296 opened by maximebuyse
February 6, 2025 10:37 9m 11s fix-continue-only-loop
fix-continue-only-loop
February 6, 2025 10:37 9m 11s
fix(engine) Add const parameter for assoc const of parametric impl. .github/workflows/charon.yml #1107: Pull request #1293 opened by maximebuyse
February 5, 2025 11:02 8m 50s fix-1289
fix-1289
February 5, 2025 11:02 8m 50s
fix(engine) Fix naming bundle regression .github/workflows/charon.yml #1106: Pull request #1286 synchronize by maximebuyse
February 5, 2025 09:37 9m 50s fix-naming-bundle-regression
fix-naming-bundle-regression
February 5, 2025 09:37 9m 50s
Additions and corrections in F* core lib. .github/workflows/charon.yml #1105: Pull request #1292 opened by maximebuyse
February 4, 2025 16:55 12m 29s fstar-core-additions-and-fixes
fstar-core-additions-and-fixes
February 4, 2025 16:55 12m 29s
fix(engine) Fix naming bundle regression .github/workflows/charon.yml #1104: Pull request #1286 synchronize by maximebuyse
February 4, 2025 14:25 8m 53s fix-naming-bundle-regression
fix-naming-bundle-regression
February 4, 2025 14:25 8m 53s
fix(engine) Make sure origins are renamed in bundles. .github/workflows/charon.yml #1103: Pull request #1284 synchronize by maximebuyse
February 4, 2025 09:43 10m 51s fix-raw-fstar-bundle
fix-raw-fstar-bundle
February 4, 2025 09:43 10m 51s
fix(engine) Fix naming bundle regression .github/workflows/charon.yml #1102: Pull request #1286 synchronize by maximebuyse
February 3, 2025 16:38 9m 1s fix-naming-bundle-regression
fix-naming-bundle-regression
February 3, 2025 16:38 9m 1s
fix(engine) Fix naming bundle regression .github/workflows/charon.yml #1101: Pull request #1286 opened by maximebuyse
February 3, 2025 16:24 8m 59s fix-naming-bundle-regression
fix-naming-bundle-regression
February 3, 2025 16:24 8m 59s
fix(engine) Make sure origins are renamed in bundles. .github/workflows/charon.yml #1100: Pull request #1284 opened by maximebuyse
February 3, 2025 14:11 8m 48s fix-raw-fstar-bundle
fix-raw-fstar-bundle
February 3, 2025 14:11 8m 48s
Update CI dependencies .github/workflows/charon.yml #1099: Pull request #1282 opened by W95Psp
February 3, 2025 10:58 8m 51s update-ci-deps
update-ci-deps
February 3, 2025 10:58 8m 51s
Library additions for ML-DSA verification .github/workflows/charon.yml #1098: Pull request #1281 synchronize by karthikbhargavan
February 3, 2025 09:22 8m 55s ml-dsa-lib-additions
ml-dsa-lib-additions
February 3, 2025 09:22 8m 55s
Library additions for ML-DSA verification .github/workflows/charon.yml #1097: Pull request #1281 synchronize by karthikbhargavan
February 3, 2025 09:05 8m 52s ml-dsa-lib-additions
ml-dsa-lib-additions
February 3, 2025 09:05 8m 52s
Library additions for ML-DSA verification .github/workflows/charon.yml #1096: Pull request #1281 opened by karthikbhargavan
February 3, 2025 09:05 8m 38s ml-dsa-lib-additions
ml-dsa-lib-additions
February 3, 2025 09:05 8m 38s
fix(engine) Add default case for disambiguation of bundle element names .github/workflows/charon.yml #1095: Pull request #1280 synchronize by maximebuyse
January 30, 2025 16:45 9m 24s fix-crash-bundle-disambiguation
fix-crash-bundle-disambiguation
January 30, 2025 16:45 9m 24s
fix(engine) Add default case for disambiguation of bundle element names .github/workflows/charon.yml #1094: Pull request #1280 opened by maximebuyse
January 30, 2025 15:05 9m 1s fix-crash-bundle-disambiguation
fix-crash-bundle-disambiguation
January 30, 2025 15:05 9m 1s
Engine: rework global name representation .github/workflows/charon.yml #1093: Pull request #1199 synchronize by maximebuyse
January 30, 2025 13:07 8m 48s rework-name-repr
rework-name-repr
January 30, 2025 13:07 8m 48s
ci(gha): drop magic-nix-cache action because of EOL .github/workflows/charon.yml #1092: Pull request #1278 opened by W95Psp
January 30, 2025 10:19 11m 35s drop-magic-nix-cache
drop-magic-nix-cache
January 30, 2025 10:19 11m 35s
Engine: rework global name representation .github/workflows/charon.yml #1091: Pull request #1199 synchronize by maximebuyse
January 30, 2025 10:14 8m 41s rework-name-repr
rework-name-repr
January 30, 2025 10:14 8m 41s
fix(mkdocs): use codemirror instead of ace, re-setup on page reload .github/workflows/charon.yml #1090: Pull request #1277 synchronize by W95Psp
January 30, 2025 09:51 10m 0s fix-docs-playground
fix-docs-playground
January 30, 2025 09:51 10m 0s
fix(mkdocs): use codemirror instead of ace, re-setup on page reload .github/workflows/charon.yml #1089: Pull request #1277 opened by W95Psp
January 30, 2025 09:49 11m 15s fix-docs-playground
fix-docs-playground
January 30, 2025 09:49 11m 15s
Various F* core lib additions. .github/workflows/charon.yml #1088: Pull request #1273 synchronize by maximebuyse
January 29, 2025 16:58 17m 23s various-core-additions
various-core-additions
January 29, 2025 16:58 17m 23s
Create CODEOWNERS .github/workflows/charon.yml #1087: Pull request #1275 opened by franziskuskiefer
January 29, 2025 07:14 8m 58s franziskus/code-owners
franziskus/code-owners
January 29, 2025 07:14 8m 58s