{"id":15030797,"url":"https://github.com/fstarlang/fstar","last_synced_at":"2026-10-19T01:07:17.514Z","repository":{"id":15674510,"uuid":"18411972","full_name":"FStarLang/FStar","owner":"FStarLang","description":"A Proof-oriented Programming Language","archived":false,"fork":false,"pushed_at":"2026-10-09T03:43:41.000Z","size":851929,"stargazers_count":3112,"open_issues_count":598,"forks_count":266,"subscribers_count":71,"default_branch":"master","last_synced_at":"2026-10-09T21:36:50.731Z","etag":null,"topics":["c-language","dependent-types","dijkstra-monads","f-sharp","fstar","interactive-theorem-proving","ocaml","program-proof","programming-language","proof-assistant","smt","theorem-proving","verification"],"latest_commit_sha":null,"homepage":"https://fstar-lang.org","language":"F*","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"apache-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/FStarLang.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGES.md","contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"accessibility":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"claude":null,"gemini":null,"cursor":null,"copilot":null,"dco":null,"cla":null,"disclosure":null}},"created_at":"2014-04-03T17:32:49.000Z","updated_at":"2026-10-09T09:53:18.000Z","dependencies_parsed_at":"2026-10-18T21:14:16.566Z","dependency_job_id":null,"html_url":"https://github.com/FStarLang/FStar","commit_stats":{"total_commits":31985,"total_committers":174,"mean_commits":"183.82183908045977","dds":0.7874003439112084,"last_synced_commit":"06f57e0d1ec597602cbb631b27f040592423ad50"},"previous_names":[],"tags_count":107,"template":false,"template_full_name":null,"purl":"pkg:github/FStarLang/FStar","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/FStarLang%2FFStar","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/FStarLang%2FFStar/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/FStarLang%2FFStar/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/FStarLang%2FFStar/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/FStarLang","download_url":"https://codeload.github.com/FStarLang/FStar/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/FStarLang%2FFStar/sbom","scorecard":{"id":48722,"data":{"date":"2025-08-11","repo":{"name":"github.com/FStarLang/FStar","commit":"0027f46c7bc3929467813d0255c61f2bef2c2131"},"scorecard":{"version":"v5.2.1-40-gf6ed084d","commit":"f6ed084d17c9236477efd66e5b258b9d4cc7b389"},"score":4.6,"checks":[{"name":"Maintained","score":10,"reason":"30 commit(s) and 13 issue activity found in the last 90 days -- score normalized to 10","details":null,"documentation":{"short":"Determines if the project is \"actively maintained\".","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#maintained"}},{"name":"Code-Review","score":2,"reason":"Found 2/8 approved changesets -- score normalized to 2","details":null,"documentation":{"short":"Determines if the project requires human code review before pull requests (aka merge requests) are merged.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#code-review"}},{"name":"Dangerous-Workflow","score":10,"reason":"no dangerous workflow patterns detected","details":null,"documentation":{"short":"Determines if the project's GitHub Action workflows avoid dangerous patterns.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#dangerous-workflow"}},{"name":"CII-Best-Practices","score":0,"reason":"no effort to earn an OpenSSF best practices badge detected","details":null,"documentation":{"short":"Determines if the project has an OpenSSF (formerly CII) Best Practices Badge.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#cii-best-practices"}},{"name":"Packaging","score":-1,"reason":"packaging workflow not detected","details":["Warn: no GitHub/GitLab publishing workflow detected."],"documentation":{"short":"Determines if the project is published as a package that others can easily download, install, easily update, and uninstall.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#packaging"}},{"name":"Security-Policy","score":0,"reason":"security policy file not detected","details":["Warn: no security policy file detected","Warn: no security file to analyze","Warn: no security file to analyze","Warn: no security file to analyze"],"documentation":{"short":"Determines if the project has published a security policy.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#security-policy"}},{"name":"Fuzzing","score":0,"reason":"project is not fuzzed","details":["Warn: no fuzzer integrations found"],"documentation":{"short":"Determines if the project uses fuzzing.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#fuzzing"}},{"name":"Token-Permissions","score":0,"reason":"detected GitHub workflow tokens with excessive permissions","details":["Warn: no topLevel permission defined: .github/workflows/build-all.yml:1","Warn: no topLevel permission defined: .github/workflows/build-ci.yml:1","Warn: no topLevel permission defined: .github/workflows/build-linux.yml:1","Warn: no topLevel permission defined: .github/workflows/build-macos.yml:1","Warn: no topLevel permission defined: .github/workflows/build-opam.yml:1","Warn: no topLevel permission defined: .github/workflows/build-pulse.yml:1","Warn: no topLevel permission defined: .github/workflows/build-src.yml:1","Warn: no topLevel permission defined: .github/workflows/build-windows-selfhosted.yml:1","Warn: no topLevel permission defined: .github/workflows/build-windows.yml:1","Warn: no topLevel permission defined: .github/workflows/check-friends.yml:1","Warn: no topLevel permission defined: .github/workflows/check-nix-friends.yml:1","Warn: no topLevel permission defined: .github/workflows/check-world.yml:1","Warn: no topLevel permission defined: .github/workflows/ci.yml:1","Warn: no topLevel permission defined: .github/workflows/nightly.yml:1","Warn: no topLevel permission defined: .github/workflows/nix.yml:1","Warn: no topLevel permission defined: .github/workflows/release.yml:1","Warn: no topLevel permission defined: .github/workflows/tests.yml:1","Info: no jobLevel write permissions found"],"documentation":{"short":"Determines if the project's workflows follow the principle of least privilege.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#token-permissions"}},{"name":"License","score":10,"reason":"license file detected","details":["Info: project has a license file: LICENSE:0","Info: FSF or OSI recognized license: Apache License 2.0: LICENSE:0"],"documentation":{"short":"Determines if the project has defined a license.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#license"}},{"name":"Vulnerabilities","score":10,"reason":"0 existing vulnerabilities detected","details":null,"documentation":{"short":"Determines if the project has open, known unfixed vulnerabilities.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#vulnerabilities"}},{"name":"Binary-Artifacts","score":10,"reason":"no binaries found in the repo","details":null,"documentation":{"short":"Determines if the project has generated executable (binary) artifacts in the source repository.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#binary-artifacts"}},{"name":"Signed-Releases","score":0,"reason":"Project has not signed or included provenance with any releases.","details":["Warn: release artifact v2025.08.07 not signed: https://api.github.com/repos/FStarLang/FStar/releases/238452305","Warn: release artifact v2025.06.20 not signed: https://api.github.com/repos/FStarLang/FStar/releases/226566468","Warn: release artifact v2025.06.13 not signed: https://api.github.com/repos/FStarLang/FStar/releases/225263020","Warn: release artifact v2025.03.25 not signed: https://api.github.com/repos/FStarLang/FStar/releases/208297366","Warn: release artifact v2025.02.17 not signed: https://api.github.com/repos/FStarLang/FStar/releases/200986160","Warn: release artifact v2025.08.07 does not have provenance: https://api.github.com/repos/FStarLang/FStar/releases/238452305","Warn: release artifact v2025.06.20 does not have provenance: https://api.github.com/repos/FStarLang/FStar/releases/226566468","Warn: release artifact v2025.06.13 does not have provenance: https://api.github.com/repos/FStarLang/FStar/releases/225263020","Warn: release artifact v2025.03.25 does not have provenance: https://api.github.com/repos/FStarLang/FStar/releases/208297366","Warn: release artifact v2025.02.17 does not have provenance: https://api.github.com/repos/FStarLang/FStar/releases/200986160"],"documentation":{"short":"Determines if the project cryptographically signs release artifacts.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#signed-releases"}},{"name":"Branch-Protection","score":-1,"reason":"internal error: error during branchesHandler.setup: internal error: githubv4.Query: Resource not accessible by integration","details":null,"documentation":{"short":"Determines if the default and release branches are protected with GitHub's branch protection settings.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#branch-protection"}},{"name":"SAST","score":0,"reason":"SAST tool is not run on all commits -- score normalized to 0","details":["Warn: 0 commits out of 30 are checked with a SAST tool"],"documentation":{"short":"Determines if the project uses static code analysis.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#sast"}},{"name":"Pinned-Dependencies","score":0,"reason":"dependency not pinned by hash detected -- score normalized to 0","details":["Warn: third-party GitHubAction not pinned by hash: .github/workflows/build-ci.yml:29: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/build-ci.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/build-ci.yml:31: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/build-ci.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/build-ci.yml:43: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/build-ci.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/build-ci.yml:48: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/build-ci.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/build-ci.yml:63: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/build-ci.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/build-linux.yml:20: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/build-linux.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/build-linux.yml:22: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/build-linux.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/build-linux.yml:55: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/build-linux.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/build-linux.yml:74: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/build-linux.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/build-linux.yml:79: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/build-linux.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/build-macos.yml:11: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/build-macos.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/build-macos.yml:13: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/build-macos.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/build-macos.yml:45: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/build-macos.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/build-macos.yml:66: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/build-macos.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/build-opam.yml:23: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/build-opam.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/build-opam.yml:25: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/build-opam.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/build-pulse.yml:23: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/build-pulse.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/build-pulse.yml:25: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/build-pulse.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/build-pulse.yml:32: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/build-pulse.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/build-src.yml:17: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/build-src.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/build-src.yml:22: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/build-src.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/build-src.yml:27: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/build-src.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/build-src.yml:59: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/build-src.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/build-src.yml:64: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/build-src.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/build-windows-selfhosted.yml:29: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/build-windows-selfhosted.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/build-windows-selfhosted.yml:53: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/build-windows-selfhosted.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/build-windows-selfhosted.yml:64: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/build-windows-selfhosted.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/build-windows.yml:31: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/build-windows.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/build-windows.yml:49: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/build-windows.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/build-windows.yml:95: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/build-windows.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/build-windows.yml:130: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/build-windows.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:57: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/check-friends.yml:59: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/check-friends.yml:66: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:70: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:85: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/check-friends.yml:87: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/check-friends.yml:94: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:102: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:172: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/check-friends.yml:175: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/check-friends.yml:180: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:189: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:204: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/check-friends.yml:206: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:212: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:216: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:314: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:319: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/check-friends.yml:321: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:327: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:331: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/check-friends.yml:340: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:348: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:406: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/check-friends.yml:408: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:414: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:418: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/check-friends.yml:423: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:432: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:479: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/check-friends.yml:481: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:487: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:491: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:495: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/check-friends.yml:500: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:508: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:694: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/check-friends.yml:696: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/check-friends.yml:702: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:445: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/check-friends.yml:447: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:453: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:457: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:461: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:560: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/check-friends.yml:562: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:568: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:572: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:576: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/check-friends.yml:581: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:590: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:603: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/check-friends.yml:605: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:611: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:615: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:619: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:636: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/check-friends.yml:638: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/check-friends.yml:645: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:650: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:653: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:146: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/check-friends.yml:148: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:154: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:158: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:239: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/check-friends.yml:241: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:247: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/check-friends.yml:252: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:266: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:280: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/check-friends.yml:282: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:288: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:292: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:362: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:367: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/check-friends.yml:369: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:375: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:379: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:386: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:669: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/check-friends.yml:671: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/check-friends.yml:677: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:19: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/check-friends.yml:21: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/check-friends.yml:28: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:42: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:117: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/check-friends.yml:119: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:125: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:129: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:522: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/check-friends.yml:524: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:530: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:534: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:538: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-friends.yml:542: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-nix-friends.yml:16: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-nix-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-nix-friends.yml:17: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-nix-friends.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/check-nix-friends.yml:19: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-nix-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-nix-friends.yml:31: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-nix-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-nix-friends.yml:32: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-nix-friends.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/check-nix-friends.yml:34: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-nix-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-nix-friends.yml:46: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-nix-friends.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/check-nix-friends.yml:47: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-nix-friends.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/check-nix-friends.yml:49: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/check-nix-friends.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/nightly.yml:25: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/nightly.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/nightly.yml:34: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/nightly.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/nix.yml:15: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/nix.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/nix.yml:16: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/nix.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/nix.yml:17: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/nix.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/release.yml:23: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/release.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/release.yml:46: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/release.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/release.yml:53: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/release.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/tests.yml:23: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/tests.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/tests.yml:28: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/tests.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/tests.yml:62: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/tests.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/tests.yml:65: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/tests.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/tests.yml:68: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/tests.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/tests.yml:88: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/tests.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/tests.yml:90: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/tests.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/tests.yml:100: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/tests.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/tests.yml:105: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/tests.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/tests.yml:130: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/tests.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/tests.yml:135: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/tests.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/tests.yml:141: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/tests.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/tests.yml:162: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/tests.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/tests.yml:164: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/tests.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/tests.yml:169: update your workflow using https://app.stepsecurity.io/secureworkflow/FStarLang/FStar/tests.yml/master?enable=pin","Warn: containerImage not pinned by hash: .devcontainer/minimal.Dockerfile:2: pin your Docker image by updating ubuntu:22.04 to ubuntu:22.04@sha256:1ec65b2719518e27d4d25f104d93f9fac60dc437f81452302406825c46fcc9cb","Warn: containerImage not pinned by hash: .docker/base.Dockerfile:12: pin your Docker image by updating ubuntu:22.04 to ubuntu:22.04@sha256:1ec65b2719518e27d4d25f104d93f9fac60dc437f81452302406825c46fcc9cb","Warn: containerImage not pinned by hash: .docker/base/Dockerfile:1: pin your Docker image by updating ubuntu:18.04 to ubuntu:18.04@sha256:152dc042452c496007f07ca9127571cb9c29697f42acbfad72324b2bb2e43c98","Warn: containerImage not pinned by hash: .docker/build/linux/Dockerfile:9","Warn: containerImage not pinned by hash: .docker/build/linux/Dockerfile-binaries:4","Warn: containerImage not pinned by hash: .docker/build/linux/Dockerfile-docs:4","Warn: containerImage not pinned by hash: .docker/build/windows-nt/Dockerfile:9","Warn: containerImage not pinned by hash: .docker/build/windows-nt/Dockerfile-binaries:4","Warn: containerImage not pinned by hash: .docker/build/windows-nt/Dockerfile-docs:4","Warn: containerImage not pinned by hash: .docker/dev-base.Dockerfile:1: pin your Docker image by updating ubuntu:24.04 to ubuntu:24.04@sha256:a08e551cb33850e4740772b38217fc1796a66da2506d312abe51acda354ff061","Warn: containerImage not pinned by hash: .docker/emacs-nox/Dockerfile:1: pin your Docker image by updating fstarlang/fstar to fstarlang/fstar@sha256:899c3b995e594c1e21d5e8ccc70101ca12c68f472db4f26fe2b14b19b6b7fe62","Warn: containerImage not pinned by hash: .docker/emacs/Dockerfile:1: pin your Docker image by updating fstarlang/fstar to fstarlang/fstar@sha256:899c3b995e594c1e21d5e8ccc70101ca12c68f472db4f26fe2b14b19b6b7fe62","Warn: containerImage not pinned by hash: .docker/nu_base.Dockerfile:4: pin your Docker image by updating ubuntu:24.04 to ubuntu:24.04@sha256:a08e551cb33850e4740772b38217fc1796a66da2506d312abe51acda354ff061","Warn: containerImage not pinned by hash: .docker/opam.Dockerfile:4","Warn: containerImage not pinned by hash: .docker/package.Dockerfile:7","Warn: containerImage not pinned by hash: .docker/package.Dockerfile:62","Warn: containerImage not pinned by hash: .docker/package.Dockerfile:88","Warn: containerImage not pinned by hash: .docker/release.Dockerfile:7","Warn: containerImage not pinned by hash: .docker/release.Dockerfile:65","Warn: containerImage not pinned by hash: .docker/release.Dockerfile:91","Warn: containerImage not pinned by hash: .docker/standalone.Dockerfile:4","Warn: downloadThenRun not pinned by hash: .docker/dev-base.Dockerfile:56","Info:   0 out of  68 GitHub-owned GitHubAction dependencies pinned","Info:   0 out of  92 third-party GitHubAction dependencies pinned","Info:   0 out of  21 containerImage dependencies pinned","Info:   0 out of   1 downloadThenRun dependencies pinned"],"documentation":{"short":"Determines if the project has declared and pinned the dependencies of its build process.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#pinned-dependencies"}}]},"last_synced_at":"2025-08-14T23:18:08.118Z","repository_id":15674510,"created_at":"2025-08-14T23:18:08.118Z","updated_at":"2025-08-14T23:18:08.118Z"},"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":344872684,"owners_count":38344170,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-10-03T21:59:58.778Z","status":"online","status_checked_at":"2026-10-18T02:00:06.448Z","response_time":63,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["c-language","dependent-types","dijkstra-monads","f-sharp","fstar","interactive-theorem-proving","ocaml","program-proof","programming-language","proof-assistant","smt","theorem-proving","verification"],"created_at":"2024-09-24T20:14:18.701Z","updated_at":"2026-10-19T01:07:17.153Z","avatar_url":"https://github.com/FStarLang.png","language":"F*","funding_links":[],"categories":[],"sub_categories":[],"readme":"F*: A Proof-oriented Programming Language\n=========================================\n\n### F\\* website\n\nMore information on F\\* can be found at www.fstar-lang.org\n\n### Installation\n\nSee [INSTALL.md](https://github.com/FStarLang/FStar/blob/master/INSTALL.md)\n\n### Online book\n\nAn online book _Proof-oriented Programming In F*_ is available and updates are\nposted online periodically. The book is available as a [PDF], or you can read it while trying out\nexamples and exercises in your browser interface from this [tutorial page].\n\n[tutorial page]: https://www.fstar-lang.org/tutorial/\n[PDF]: http://fstar-lang.org/tutorial/proof-oriented-programming-in-fstar.pdf\n\n### Editing F* code\n\nYou can edit F\\* code using various text editors, with Emacs and VSCode currently having \nthe most substantial support, including syntax highlighting, code completion and navigation,\nand incremental, interactive development.\n\n* [fstar-mode.el]: Emacs mode for F*\n* [fstar-vscode-assistant]: VS Code plugin for F*\n\nMore details on [editor support] are available on the [F\\* wiki].\n\n[editor support]: https://github.com/FStarLang/FStar/wiki/Editor-support-for-F*\n[fstar-mode.el]: https://github.com/FStarLang/fstar-mode.el\n[fstar-vscode-assistant]: https://github.com/FStarLang/fstar-vscode-assistant\n\n### AI Agents\n\nAI agents are proficient at using F* and Pulse.\n\nEspecially if you are using Copilot CLI or Claude Code, we recommend installing the [proof-copilot] plugin, \nwhich provides agents and skills with prompts for specific features of the language and its tooling.\n\n[proof-copilot]: https://github.com/FStarLang/proof-copilot\n\n### Extracting and executing F* code\n\nBy default F* only verifies the input code, it does not compile or execute it.\nTo execute F* code one needs to translate it for instance to OCaml or F\\#,\nusing F\\*'s code extraction facility, Custard---this is invoked using the\ncommand line argument `--codegen OCaml` or `--codegen FSharp` together with an\nentry point such as `--custard_main Main.main`. Custard can also produce C\ndirectly (`--codegen C`) or go through KaRaMeL (`--codegen KrmlC`,\n`--codegen KrmlRust`); see [doc/ref/custard.md](doc/ref/custard.md).\nThe experimental `--codegen Cherry` adds reference counting to the C backend,\nso that ML code (closures, recursive datatypes, `Prims.int`, strings) can be\ncompiled to C; see [doc/ref/cherry.md](doc/ref/cherry.md).\nMore details on [executing F\\* code via OCaml] on the [F\\* wiki].\n\n[executing F\\* code via OCaml]: https://github.com/FStarLang/FStar/wiki/Executing-F*-code\n\nAlso, code written in Pulse, a DSL in F* for concurrent, imperative programming,\ncan be extracted to C or Rust by the [KaRaMeL tool](https://github.com/FStarLang/karamel).\n\nAdditionally, code written in an ASM-like deeply embedded DSL can be extracted\nto ASM by the [Vale tool](https://github.com/project-everest/vale).\n\n### Chatting about F* on Zulip\n\nF* developers and users can chat about F* or ask questions at this [Zulip\nforum](https://fstar.zulipchat.com).\n\n(An older forum on Slack is no longer used.)\n\n### Reporting issues\n\nPlease report issues using the [F\\* issue tracker] on GitHub.\nBefore filing please search to make sure the issue doesn't already exist.\nWe don't maintain old releases, so if possible please use the\n[online F\\* editor] or directly [the GitHub sources] to check\nthat your problem still exists on the `master` branch.\n\n[F\\* issue tracker]: https://github.com/FStarLang/FStar/issues\n[online F\\* editor]: https://www.fstar-lang.org/run.php\n[the GitHub sources]: [https://github.com/FStarLang/FStar/blob/master/INSTALL.md#building-f-from-sources\n\n### Other Documentation\n\nThe [F\\* wiki] contains additional technical documentation on F\\*, and is especially useful\nfor topics that are not yet covered by the book.\n\n[F\\* wiki]: https://github.com/FStarLang/FStar/wiki\n\n### Contributing\n\nSee [CONTRIBUTING.md](https://github.com/FStarLang/FStar/blob/master/CONTRIBUTING.md)\n\n### License\n\nF* is released under the [Apache 2.0 license]; for more details\nsee [LICENSE](https://github.com/FStarLang/FStar/blob/master/LICENSE)\n\n[Apache 2.0 license]: https://www.apache.org/licenses/LICENSE-2.0\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ffstarlang%2Ffstar","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Ffstarlang%2Ffstar","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ffstarlang%2Ffstar/lists"}