Skip to content

Actions: dafny-lang/dafny

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
25,769 workflow runs
25,769 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Can call merge Test documentation #10829: Pull request #5977 synchronize by typerSniper
December 12, 2024 16:08 2m 17s typerSniper:can-call-merge
typerSniper:can-call-merge
December 12, 2024 16:08 2m 17s
Can call merge Build and Test Dafny Standard Libraries #4046: Pull request #5977 synchronize by typerSniper
December 12, 2024 16:08 1m 57s typerSniper:can-call-merge
typerSniper:can-call-merge
December 12, 2024 16:08 1m 57s
Can call merge Fuzzing on PR #773: Pull request #5977 synchronize by typerSniper
December 12, 2024 16:08 3s
December 12, 2024 16:08 3s
Can call merge Fuzzing on PR #772: Pull request #5977 opened by typerSniper
December 12, 2024 15:57 3s
December 12, 2024 15:57 3s
No nesting inside RangeToken.StartToken Build and Test Dafny Runtimes #9316: Pull request #5976 synchronize by keyboardDrummer
December 12, 2024 15:35 5m 40s keyboardDrummer:noNestingInsideRangeToken
keyboardDrummer:noNestingInsideRangeToken
December 12, 2024 15:35 5m 40s
No nesting inside RangeToken.StartToken Build and Test #19779: Pull request #5976 synchronize by keyboardDrummer
December 12, 2024 15:35 26m 16s keyboardDrummer:noNestingInsideRangeToken
keyboardDrummer:noNestingInsideRangeToken
December 12, 2024 15:35 26m 16s
No nesting inside RangeToken.StartToken Build DafnyRef.pdf #19009: Pull request #5976 synchronize by keyboardDrummer
December 12, 2024 15:35 3m 1s keyboardDrummer:noNestingInsideRangeToken
keyboardDrummer:noNestingInsideRangeToken
December 12, 2024 15:35 3m 1s
No nesting inside RangeToken.StartToken Build and Test Dafny Standard Libraries #4045: Pull request #5976 synchronize by keyboardDrummer
December 12, 2024 15:35 22m 7s keyboardDrummer:noNestingInsideRangeToken
keyboardDrummer:noNestingInsideRangeToken
December 12, 2024 15:35 22m 7s
No nesting inside RangeToken.StartToken Test documentation #10828: Pull request #5976 synchronize by keyboardDrummer
December 12, 2024 15:35 16m 44s keyboardDrummer:noNestingInsideRangeToken
keyboardDrummer:noNestingInsideRangeToken
December 12, 2024 15:35 16m 44s
No nesting inside RangeToken.StartToken Fuzzing on PR #771: Pull request #5976 synchronize by keyboardDrummer
December 12, 2024 15:35 10s
December 12, 2024 15:35 10s
Nightly test and release workflow Nightly test and release workflow #492: Scheduled
December 12, 2024 14:36 1h 19m 33s master
master
December 12, 2024 14:36 1h 19m 33s
Fixes related to the library options and project files Test documentation #10827: Pull request #5947 synchronize by keyboardDrummer
December 12, 2024 13:58 17m 28s keyboardDrummer:dafnyOptionsFixes
keyboardDrummer:dafnyOptionsFixes
December 12, 2024 13:58 17m 28s
Fixes related to the library options and project files Build and Test Dafny Standard Libraries #4044: Pull request #5947 synchronize by keyboardDrummer
December 12, 2024 13:58 20m 16s keyboardDrummer:dafnyOptionsFixes
keyboardDrummer:dafnyOptionsFixes
December 12, 2024 13:58 20m 16s
Fixes related to the library options and project files Build and Test #19778: Pull request #5947 synchronize by keyboardDrummer
December 12, 2024 13:58 27m 51s keyboardDrummer:dafnyOptionsFixes
keyboardDrummer:dafnyOptionsFixes
December 12, 2024 13:58 27m 51s
Fixes related to the library options and project files Build DafnyRef.pdf #19008: Pull request #5947 synchronize by keyboardDrummer
December 12, 2024 13:58 2m 53s keyboardDrummer:dafnyOptionsFixes
keyboardDrummer:dafnyOptionsFixes
December 12, 2024 13:58 2m 53s
Fixes related to the library options and project files Build and Test Dafny Runtimes #9315: Pull request #5947 synchronize by keyboardDrummer
December 12, 2024 13:58 5m 31s keyboardDrummer:dafnyOptionsFixes
keyboardDrummer:dafnyOptionsFixes
December 12, 2024 13:58 5m 31s
Fixes related to the library options and project files Fuzzing on PR #770: Pull request #5947 synchronize by keyboardDrummer
December 12, 2024 13:58 10s
December 12, 2024 13:58 10s
Soundness issue: Map's range not inferred to require equality for datatype to support equality Issue Update for Fuzzer #209: Issue #5972 closed by MikaelMayer
December 12, 2024 13:57 10s
December 12, 2024 13:57 10s
Fix: Map range requires equality for enclosing type to support equality Updating CompFuzzCI on PR Closed #137: Pull request #5973 closed by MikaelMayer
December 12, 2024 13:57 12s fix-5972-map-range-equality
fix-5972-map-range-equality
December 12, 2024 13:57 12s
Fix: Map range requires equality for enclosing type to support equali… Deploy Jekyll site to Pages #418: Commit 1d74af1 pushed by MikaelMayer
December 12, 2024 13:57 35s master
master
December 12, 2024 13:57 35s
No nesting inside RangeToken.StartToken Build and Test #19777: Pull request #5976 synchronize by keyboardDrummer
December 12, 2024 13:32 25m 59s keyboardDrummer:noNestingInsideRangeToken
keyboardDrummer:noNestingInsideRangeToken
December 12, 2024 13:32 25m 59s
No nesting inside RangeToken.StartToken Test documentation #10826: Pull request #5976 synchronize by keyboardDrummer
December 12, 2024 13:32 17m 5s keyboardDrummer:noNestingInsideRangeToken
keyboardDrummer:noNestingInsideRangeToken
December 12, 2024 13:32 17m 5s
No nesting inside RangeToken.StartToken Build and Test Dafny Runtimes #9314: Pull request #5976 synchronize by keyboardDrummer
December 12, 2024 13:32 5m 41s keyboardDrummer:noNestingInsideRangeToken
keyboardDrummer:noNestingInsideRangeToken
December 12, 2024 13:32 5m 41s
No nesting inside RangeToken.StartToken Build DafnyRef.pdf #19007: Pull request #5976 synchronize by keyboardDrummer
December 12, 2024 13:32 3m 16s keyboardDrummer:noNestingInsideRangeToken
keyboardDrummer:noNestingInsideRangeToken
December 12, 2024 13:32 3m 16s
No nesting inside RangeToken.StartToken Build and Test Dafny Standard Libraries #4043: Pull request #5976 synchronize by keyboardDrummer
December 12, 2024 13:32 17m 7s keyboardDrummer:noNestingInsideRangeToken
keyboardDrummer:noNestingInsideRangeToken
December 12, 2024 13:32 17m 7s