Skip to content

Actions: dafny-lang/setup-dafny-action

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8 workflow runs
8 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Specify latest version in README Validate action #86: Pull request #16 synchronize by robin-aws
March 27, 2024 19:58 1m 53s robin-aws-patch-1
robin-aws-patch-1
March 27, 2024 19:58 1m 53s
feat: Set DAFNY_VERSION environment variable (#19) Validate action #85: Commit f2a6243 pushed by robin-aws
October 31, 2023 20:44 1m 44s main
main
October 31, 2023 20:44 1m 44s
feat: Set DAFNY_VERSION environment variable Validate action #84: Pull request #19 synchronize by robin-aws
October 31, 2023 19:39 1m 31s robin-aws:export-actual-dafny-version-environment-variable
robin-aws:export-actual-dafny-version-environment-variable
October 31, 2023 19:39 1m 31s
feat: Set DAFNY_VERSION environment variable Validate action #83: Pull request #19 synchronize by robin-aws
October 31, 2023 19:29 32s robin-aws:export-actual-dafny-version-environment-variable
robin-aws:export-actual-dafny-version-environment-variable
October 31, 2023 19:29 32s
feat: Set DAFNY_VERSION environment variable Validate action #82: Pull request #19 synchronize by robin-aws
October 31, 2023 19:26 2m 1s robin-aws:export-actual-dafny-version-environment-variable
robin-aws:export-actual-dafny-version-environment-variable
October 31, 2023 19:26 2m 1s
feat: Set DAFNY_VERSION environment variable Validate action #81: Pull request #19 synchronize by robin-aws
October 31, 2023 19:22 1m 32s robin-aws:export-actual-dafny-version-environment-variable
robin-aws:export-actual-dafny-version-environment-variable
October 31, 2023 19:22 1m 32s
feat: Set DAFNY_VERSION environment variable Validate action #80: Pull request #19 synchronize by robin-aws
October 31, 2023 19:20 1m 28s robin-aws:export-actual-dafny-version-environment-variable
robin-aws:export-actual-dafny-version-environment-variable
October 31, 2023 19:20 1m 28s
feat: Set DAFNY_VERSION environment variable Validate action #79: Pull request #19 opened by robin-aws
October 31, 2023 19:15 1m 27s robin-aws:export-actual-dafny-version-environment-variable
robin-aws:export-actual-dafny-version-environment-variable
October 31, 2023 19:15 1m 27s