Skip to content

Actions: dafny-lang/dafny

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13,214 workflow run results
13,214 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: Correct cast of EnclosingClass Build and Test #16627: Pull request #4954 synchronize by atomb
January 9, 2024 23:56 42m 10s RustanLeino:fix-4952
RustanLeino:fix-4952
January 9, 2024 23:56 42m 10s
fix: Correct cast of EnclosingClass Test documentation #7676: Pull request #4954 synchronize by atomb
January 9, 2024 23:56 17m 39s RustanLeino:fix-4952
RustanLeino:fix-4952
January 9, 2024 23:56 17m 39s
fix: Correct cast of EnclosingClass Build DafnyRef.pdf #15858: Pull request #4954 synchronize by atomb
January 9, 2024 23:56 7m 26s RustanLeino:fix-4952
RustanLeino:fix-4952
January 9, 2024 23:56 7m 26s
fix: Correct cast of EnclosingClass Build and Test Dafny Runtimes #6162: Pull request #4954 synchronize by atomb
January 9, 2024 23:56 3m 45s RustanLeino:fix-4952
RustanLeino:fix-4952
January 9, 2024 23:56 3m 45s
fix: Correct cast of EnclosingClass Build and Test Dafny Standard Libraries #893: Pull request #4954 synchronize by atomb
January 9, 2024 23:56 13m 18s RustanLeino:fix-4952
RustanLeino:fix-4952
January 9, 2024 23:56 13m 18s
Jekyll on Actions Build DafnyRef.pdf #15857: Pull request #4967 synchronize by fabiomadge
January 9, 2024 23:30 9m 2s fabiomadge-patch-2
fabiomadge-patch-2
January 9, 2024 23:30 9m 2s
Jekyll on Actions Build and Test Dafny Runtimes #6161: Pull request #4967 synchronize by fabiomadge
January 9, 2024 23:30 3m 45s fabiomadge-patch-2
fabiomadge-patch-2
January 9, 2024 23:30 3m 45s
Jekyll on Actions Build and Test #16626: Pull request #4967 synchronize by fabiomadge
January 9, 2024 23:30 1h 0m 51s fabiomadge-patch-2
fabiomadge-patch-2
January 9, 2024 23:30 1h 0m 51s
Jekyll on Actions Test documentation #7675: Pull request #4967 synchronize by fabiomadge
January 9, 2024 23:30 28m 21s fabiomadge-patch-2
fabiomadge-patch-2
January 9, 2024 23:30 28m 21s
Jekyll on Actions Build and Test Dafny Standard Libraries #892: Pull request #4967 synchronize by fabiomadge
January 9, 2024 23:30 15m 15s fabiomadge-patch-2
fabiomadge-patch-2
January 9, 2024 23:30 15m 15s
Jekyll on Actions Test documentation #7674: Pull request #4967 opened by fabiomadge
January 9, 2024 23:24 17m 27s fabiomadge-patch-2
fabiomadge-patch-2
January 9, 2024 23:24 17m 27s
Jekyll on Actions Build and Test Dafny Runtimes #6160: Pull request #4967 opened by fabiomadge
January 9, 2024 23:24 3m 43s fabiomadge-patch-2
fabiomadge-patch-2
January 9, 2024 23:24 3m 43s
Jekyll on Actions Build and Test Dafny Standard Libraries #891: Pull request #4967 opened by fabiomadge
January 9, 2024 23:24 6m 56s fabiomadge-patch-2
fabiomadge-patch-2
January 9, 2024 23:24 6m 56s
Jekyll on Actions Build DafnyRef.pdf #15856: Pull request #4967 opened by fabiomadge
January 9, 2024 23:24 8m 13s fabiomadge-patch-2
fabiomadge-patch-2
January 9, 2024 23:24 8m 13s
Jekyll on Actions Build and Test #16625: Pull request #4967 opened by fabiomadge
January 9, 2024 23:24 26m 39s fabiomadge-patch-2
fabiomadge-patch-2
January 9, 2024 23:24 26m 39s
Improve reporting of related locations Build and Test #16624: Pull request #4929 synchronize by keyboardDrummer
January 9, 2024 22:25 58m 37s keyboardDrummer:reportingRefactoring
keyboardDrummer:reportingRefactoring
January 9, 2024 22:25 58m 37s
Improve reporting of related locations Test documentation #7673: Pull request #4929 synchronize by keyboardDrummer
January 9, 2024 22:25 34m 25s keyboardDrummer:reportingRefactoring
keyboardDrummer:reportingRefactoring
January 9, 2024 22:25 34m 25s
Improve reporting of related locations Build and Test Dafny Runtimes #6159: Pull request #4929 synchronize by keyboardDrummer
January 9, 2024 22:25 7m 43s keyboardDrummer:reportingRefactoring
keyboardDrummer:reportingRefactoring
January 9, 2024 22:25 7m 43s
Improve reporting of related locations Build DafnyRef.pdf #15855: Pull request #4929 synchronize by keyboardDrummer
January 9, 2024 22:25 17m 20s keyboardDrummer:reportingRefactoring
keyboardDrummer:reportingRefactoring
January 9, 2024 22:25 17m 20s
Improve reporting of related locations Build and Test Dafny Standard Libraries #890: Pull request #4929 synchronize by keyboardDrummer
January 9, 2024 22:25 18m 30s keyboardDrummer:reportingRefactoring
keyboardDrummer:reportingRefactoring
January 9, 2024 22:25 18m 30s
Improve reporting of related locations Build and Test Dafny Standard Libraries #889: Pull request #4929 synchronize by keyboardDrummer
January 9, 2024 22:24 1m 1s keyboardDrummer:reportingRefactoring
keyboardDrummer:reportingRefactoring
January 9, 2024 22:24 1m 1s
Improve reporting of related locations Build and Test Dafny Runtimes #6158: Pull request #4929 synchronize by keyboardDrummer
January 9, 2024 22:24 4m 34s keyboardDrummer:reportingRefactoring
keyboardDrummer:reportingRefactoring
January 9, 2024 22:24 4m 34s
Improve reporting of related locations Build and Test #16623: Pull request #4929 synchronize by keyboardDrummer
January 9, 2024 22:24 20m 57s keyboardDrummer:reportingRefactoring
keyboardDrummer:reportingRefactoring
January 9, 2024 22:24 20m 57s
Improve reporting of related locations Test documentation #7672: Pull request #4929 synchronize by keyboardDrummer
January 9, 2024 22:24 17m 47s keyboardDrummer:reportingRefactoring
keyboardDrummer:reportingRefactoring
January 9, 2024 22:24 17m 47s
Improve reporting of related locations Build DafnyRef.pdf #15854: Pull request #4929 synchronize by keyboardDrummer
January 9, 2024 22:24 7m 58s keyboardDrummer:reportingRefactoring
keyboardDrummer:reportingRefactoring
January 9, 2024 22:24 7m 58s