Skip to content

Actions: dafny-lang/dafny

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

No nesting inside RangeToken.StartToken Fuzzing on PR #765: Pull request #5976 synchronize by keyboardDrummer
December 12, 2024 11:39 12s
December 12, 2024 11:39 12s
No nesting inside RangeToken.StartToken Build DafnyRef.pdf #19002: Pull request #5976 synchronize by keyboardDrummer
December 12, 2024 10:18 2m 56s keyboardDrummer:noNestingInsideRangeToken
keyboardDrummer:noNestingInsideRangeToken
December 12, 2024 10:18 2m 56s
No nesting inside RangeToken.StartToken Build and Test #19772: Pull request #5976 synchronize by keyboardDrummer
December 12, 2024 10:18 43m 24s keyboardDrummer:noNestingInsideRangeToken
keyboardDrummer:noNestingInsideRangeToken
December 12, 2024 10:18 43m 24s
No nesting inside RangeToken.StartToken Test documentation #10821: Pull request #5976 synchronize by keyboardDrummer
December 12, 2024 10:18 29m 0s keyboardDrummer:noNestingInsideRangeToken
keyboardDrummer:noNestingInsideRangeToken
December 12, 2024 10:18 29m 0s
No nesting inside RangeToken.StartToken Build and Test Dafny Runtimes #9309: Pull request #5976 synchronize by keyboardDrummer
December 12, 2024 10:18 2m 50s keyboardDrummer:noNestingInsideRangeToken
keyboardDrummer:noNestingInsideRangeToken
December 12, 2024 10:18 2m 50s
No nesting inside RangeToken.StartToken Build and Test Dafny Standard Libraries #4038: Pull request #5976 synchronize by keyboardDrummer
December 12, 2024 10:18 3m 17s keyboardDrummer:noNestingInsideRangeToken
keyboardDrummer:noNestingInsideRangeToken
December 12, 2024 10:18 3m 17s
No nesting inside RangeToken.StartToken Fuzzing on PR #764: Pull request #5976 synchronize by keyboardDrummer
December 12, 2024 10:18 13s
December 12, 2024 10:18 13s
No nesting inside RangeToken.StartToken Build and Test Dafny Standard Libraries #4037: Pull request #5976 opened by keyboardDrummer
December 12, 2024 10:13 3m 16s keyboardDrummer:noNestingInsideRangeToken
keyboardDrummer:noNestingInsideRangeToken
December 12, 2024 10:13 3m 16s
No nesting inside RangeToken.StartToken Build DafnyRef.pdf #19001: Pull request #5976 opened by keyboardDrummer
December 12, 2024 10:13 2m 41s keyboardDrummer:noNestingInsideRangeToken
keyboardDrummer:noNestingInsideRangeToken
December 12, 2024 10:13 2m 41s
No nesting inside RangeToken.StartToken Build and Test Dafny Runtimes #9308: Pull request #5976 opened by keyboardDrummer
December 12, 2024 10:13 2m 43s keyboardDrummer:noNestingInsideRangeToken
keyboardDrummer:noNestingInsideRangeToken
December 12, 2024 10:13 2m 43s
No nesting inside RangeToken.StartToken Test documentation #10820: Pull request #5976 opened by keyboardDrummer
December 12, 2024 10:13 16m 57s keyboardDrummer:noNestingInsideRangeToken
keyboardDrummer:noNestingInsideRangeToken
December 12, 2024 10:13 16m 57s
No nesting inside RangeToken.StartToken Build and Test #19771: Pull request #5976 opened by keyboardDrummer
December 12, 2024 10:13 24m 34s keyboardDrummer:noNestingInsideRangeToken
keyboardDrummer:noNestingInsideRangeToken
December 12, 2024 10:13 24m 34s
No nesting inside RangeToken.StartToken Fuzzing on PR #763: Pull request #5976 opened by keyboardDrummer
December 12, 2024 10:13 13s
December 12, 2024 10:13 13s
Use IOrigin type in most locations where RangeToken is used Build and Test Dafny Standard Libraries #4036: Pull request #5975 synchronize by keyboardDrummer
December 12, 2024 09:40 4m 37s keyboardDrummer:useOriginTypeWhereRangeTokenIsUsed
keyboardDrummer:useOriginTypeWhereRangeTokenIsUsed
December 12, 2024 09:40 4m 37s
Use IOrigin type in most locations where RangeToken is used Build and Test #19770: Pull request #5975 synchronize by keyboardDrummer
December 12, 2024 09:40 7m 28s keyboardDrummer:useOriginTypeWhereRangeTokenIsUsed
keyboardDrummer:useOriginTypeWhereRangeTokenIsUsed
December 12, 2024 09:40 7m 28s
Use IOrigin type in most locations where RangeToken is used Test documentation #10819: Pull request #5975 synchronize by keyboardDrummer
December 12, 2024 09:40 2m 30s keyboardDrummer:useOriginTypeWhereRangeTokenIsUsed
keyboardDrummer:useOriginTypeWhereRangeTokenIsUsed
December 12, 2024 09:40 2m 30s
Use IOrigin type in most locations where RangeToken is used Build DafnyRef.pdf #19000: Pull request #5975 synchronize by keyboardDrummer
December 12, 2024 09:40 1m 57s keyboardDrummer:useOriginTypeWhereRangeTokenIsUsed
keyboardDrummer:useOriginTypeWhereRangeTokenIsUsed
December 12, 2024 09:40 1m 57s
Use IOrigin type in most locations where RangeToken is used Build and Test Dafny Runtimes #9307: Pull request #5975 synchronize by keyboardDrummer
December 12, 2024 09:40 2m 18s keyboardDrummer:useOriginTypeWhereRangeTokenIsUsed
keyboardDrummer:useOriginTypeWhereRangeTokenIsUsed
December 12, 2024 09:40 2m 18s
Use IOrigin type in most locations where RangeToken is used Fuzzing on PR #762: Pull request #5975 synchronize by keyboardDrummer
December 12, 2024 09:40 12s
December 12, 2024 09:40 12s
Daily soak test workflow Daily soak test workflow #225: Scheduled
December 12, 2024 03:39 21m 1s master
master
December 12, 2024 03:39 21m 1s
Fix: Map range requires equality for enclosing type to support equality Build DafnyRef.pdf #18999: Pull request #5973 synchronize by MikaelMayer
December 11, 2024 23:29 2m 55s fix-5972-map-range-equality
fix-5972-map-range-equality
December 11, 2024 23:29 2m 55s
Fix: Map range requires equality for enclosing type to support equality Test documentation #10818: Pull request #5973 synchronize by MikaelMayer
December 11, 2024 23:29 16m 45s fix-5972-map-range-equality
fix-5972-map-range-equality
December 11, 2024 23:29 16m 45s
Fix: Map range requires equality for enclosing type to support equality Build and Test Dafny Standard Libraries #4035: Pull request #5973 synchronize by MikaelMayer
December 11, 2024 23:29 14m 32s fix-5972-map-range-equality
fix-5972-map-range-equality
December 11, 2024 23:29 14m 32s
Fix: Map range requires equality for enclosing type to support equality Build and Test #19769: Pull request #5973 synchronize by MikaelMayer
December 11, 2024 23:29 26m 43s fix-5972-map-range-equality
fix-5972-map-range-equality
December 11, 2024 23:29 26m 43s
Fix: Map range requires equality for enclosing type to support equality Build and Test Dafny Runtimes #9306: Pull request #5973 synchronize by MikaelMayer
December 11, 2024 23:29 5m 44s fix-5972-map-range-equality
fix-5972-map-range-equality
December 11, 2024 23:29 5m 44s