8000 Add F* to the CI · Issue #289 · hacspec/hacspec · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
This repository was archived by the owner on Mar 7, 2024. It is now read-only.
This repository was archived by the owner on Mar 7, 2024. It is now read-only.
Add F* to the CI #289
Open
Open
Add F* to the CI#289
Labels
ci ⚙️
@franziskuskiefer

Description

@franziskuskiefer
franziskuskiefer
opened on Sep 1, 2022

Here we should add F* to the CI.

Originally posted by @franziskuskiefer in #273 (comment)

cc @W95Psp

Metadata

Metadata

Assignees

No one assigned

    Labels

    ci ⚙️

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions
      0