Data

Tools

Indexes

Applications

Experiments

Open Source Science

https://github.com/dafny-lang/setup-dafny-action

Action for installing Dafny

https://github.com/dafny-lang/setup-dafny-action

Science Score: 36.0%

This score indicates how likely this project is to be science-related based on various indicators:

  • ○
    CITATION.cff file
  • ✓
    codemeta.json file
    Found codemeta.json file
  • ✓
    .zenodo.json file
    Found .zenodo.json file
  • ○
    DOI references
  • ○
    Academic publication links
  • ✓
    Committers with academic emails
    1 of 4 committers (25.0%) from academic institutions
  • ○
    Institutional organization owner
  • ○
    JOSS paper metadata
  • ○
    Scientific vocabulary similarity
    Low similarity (9.2%) to scientific vocabulary
Last synced: 10 months ago · JSON representation

Repository

Action for installing Dafny

Basic Info
  • Host: GitHub
  • Owner: dafny-lang
  • License: mit
  • Language: JavaScript
  • Default Branch: main
  • Homepage:
  • Size: 240 KB
Statistics
  • Stars: 3
  • Watchers: 9
  • Forks: 5
  • Open Issues: 9
  • Releases: 13
Created over 5 years ago · Last pushed about 1 year ago
Metadata Files
Readme License

README.md

Install Dafny

Validate action

A GitHub Action to download a binary release of Dafny and add it to the system $PATH.

yml - name: "Install Dafny" uses: dafny-lang/setup-dafny-action@v1

If you need to use a specific version:

yml - name: "Install Dafny" uses: dafny-lang/setup-dafny-action@v1 with: dafny-version: "4.9.1"

You can also use nightly-latest to install the most recent nightly pre-release.

This action sets a DAFNY_VERSION environment variable for the benefit of subsequent steps containing the actual resolved Dafny version: particularly useful for nightly-latest!

This action transparently works on macOS by detecting the running OS. You can just set runs-on to a macOS virtual environment like macos-latest.

You can also build Dafny from source, if you want to run against a branch of Dafny still in development:

```yml - name: "Install Dafny" uses: dafny-lang/setup-dafny-action@v1 with: dafny-version: "4.9.1" build-from-source: support-puppies-and-rainbows

```

build-from-source can be set to a branch name, tag, commit sha, and so on: anything that actions/checkout understands. Note that dafny-version is still currently required in order to still set the DAFNY_VERSION environment variable, as it is not automatically extracted from the built Dafny.

Owner

  • Name: Dafny
  • Login: dafny-lang
  • Kind: organization

Dafny is a verification-aware programming language

GitHub Events

Total
  • Release event: 1
  • Delete event: 2
  • Issue comment event: 2
  • Push event: 28
  • Pull request review event: 5
  • Pull request event: 10
  • Create event: 6
Last Year
  • Release event: 1
  • Delete event: 2
  • Issue comment event: 2
  • Push event: 28
  • Pull request review event: 5
  • Pull request event: 10
  • Create event: 6

Committers

Last synced: over 3 years ago

All Time
  • Total Commits: 27
  • Total Committers: 4
  • Avg Commits per committer: 6.75
  • Development Distribution Score (DDS): 0.222
Top Committers
Name Email Commits
Tej Chajed t****d@m****u 21
Robin Salkeld s****r@a****m 4
seebees r****r@a****m 1
Aaron Tomb a****b@g****m 1
Committer Domains (Top 20 + Academic)
amazon.com: 2 mit.edu: 1

Issues and Pull Requests

Last synced: 11 months ago

All Time
  • Total issues: 11
  • Total pull requests: 23
  • Average time to close issues: 8 days
  • Average time to close pull requests: 16 days
  • Total issue authors: 5
  • Total pull request authors: 6
  • Average comments per issue: 0.91
  • Average comments per pull request: 0.48
  • Merged pull requests: 16
  • Bot issues: 0
  • Bot pull requests: 0
Past Year
  • Issues: 0
  • Pull requests: 10
  • Average time to close issues: N/A
  • Average time to close pull requests: about 1 month
  • Issue authors: 0
  • Pull request authors: 3
  • Average comments per issue: 0
  • Average comments per pull request: 0.2
  • Merged pull requests: 5
  • Bot issues: 0
  • Bot pull requests: 0
View more stats
Top Authors
Issue Authors
  • robin-aws (6)
  • seebees (2)
  • davidcok (1)
  • DavePearce (1)
  • atomb (1)
Pull Request Authors
  • robin-aws (15)
  • ssomayyajula (8)
  • josecorella (2)
  • atomb (1)
  • seebees (1)
  • stefan-aws (1)
Top Labels
Issue Labels
Pull Request Labels

Packages

  • Total packages: 1
  • Total downloads: unknown
  • Total dependent packages: 0
  • Total dependent repositories: 9
  • Total versions: 18
github actions: dafny-lang/setup-dafny-action

Install a packaged release of Dafny

  • License: mit
  • Latest release: v1.9.0
    published about 1 year ago
  • Versions: 18
  • Dependent Packages: 0
  • Dependent Repositories: 9
Rankings
Dependent packages count: 0.0%
Forks count: 11.0%
Dependent repos count: 12.6%
Average: 14.6%
Stargazers count: 34.6%
Last synced: 11 months ago

Dependencies

.github/workflows/main.yml actions
  • ./ * composite
  • actions/checkout v2 composite
action.yml actions
  • dist/index.js node16 javascript
package-lock.json npm
  • 286 dependencies
package.json npm
  • @vercel/ncc ^0.34.0 development
  • chai ^4.3.6 development
  • eslint ^8.23.1 development
  • eslint-config-prettier ^8.5.0 development
  • eslint-config-standard ^17.0.0 development
  • eslint-plugin-import ^2.26.0 development
  • eslint-plugin-n ^15.3.0 development
  • eslint-plugin-promise ^6.0.1 development
  • husky ^8.0.1 development
  • lint-staged ^13.0.3 development
  • mocha ^10.0.0 development
  • prettier ^2.7.1 development
  • @actions/core ^1.9.1
  • @actions/tool-cache ^2.0.1
build_dafny_from_source/action.yml actions
  • actions/checkout v4 composite
  • actions/setup-java v3 composite
  • cda-tum/setup-z3 v1.6.3 composite