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

Standard libraries and separate compilation Build and Test #19792: Pull request #5981 synchronize by keyboardDrummer
December 13, 2024 12:33 47m 9s keyboardDrummer:standardLibrariesAndSeparateCompilation
keyboardDrummer:standardLibrariesAndSeparateCompilation
December 13, 2024 12:33 47m 9s
Standard libraries and separate compilation Fuzzing on PR #785: Pull request #5981 synchronize by keyboardDrummer
December 13, 2024 12:33 12s
December 13, 2024 12:33 12s
Standard libraries and separate compilation Build DafnyRef.pdf #19021: Pull request #5981 opened by keyboardDrummer
December 13, 2024 12:21 3m 20s keyboardDrummer:standardLibrariesAndSeparateCompilation
keyboardDrummer:standardLibrariesAndSeparateCompilation
December 13, 2024 12:21 3m 20s
Standard libraries and separate compilation Build and Test Dafny Runtimes #9328: Pull request #5981 opened by keyboardDrummer
December 13, 2024 12:21 5m 13s keyboardDrummer:standardLibrariesAndSeparateCompilation
keyboardDrummer:standardLibrariesAndSeparateCompilation
December 13, 2024 12:21 5m 13s
Standard libraries and separate compilation Build and Test #19791: Pull request #5981 opened by keyboardDrummer
December 13, 2024 12:21 28m 49s keyboardDrummer:standardLibrariesAndSeparateCompilation
keyboardDrummer:standardLibrariesAndSeparateCompilation
December 13, 2024 12:21 28m 49s
Standard libraries and separate compilation Test documentation #10840: Pull request #5981 opened by keyboardDrummer
December 13, 2024 12:21 16m 38s keyboardDrummer:standardLibrariesAndSeparateCompilation
keyboardDrummer:standardLibrariesAndSeparateCompilation
December 13, 2024 12:21 16m 38s
Standard libraries and separate compilation Build and Test Dafny Standard Libraries #4057: Pull request #5981 opened by keyboardDrummer
December 13, 2024 12:21 18m 14s keyboardDrummer:standardLibrariesAndSeparateCompilation
keyboardDrummer:standardLibrariesAndSeparateCompilation
December 13, 2024 12:21 18m 14s
Standard libraries and separate compilation Fuzzing on PR #784: Pull request #5981 opened by keyboardDrummer
December 13, 2024 12:21 14s
December 13, 2024 12:21 14s
Daily soak test workflow Daily soak test workflow #226: Scheduled
December 13, 2024 03:39 18m 13s master
master
December 13, 2024 03:39 18m 13s
fix: Account for the optional equality support of map/seq inside newtypes Build and Test Dafny Runtimes #9327: Pull request #5980 opened by RustanLeino
December 12, 2024 23:28 2m 49s RustanLeino:issue-5972-addendum
RustanLeino:issue-5972-addendum
December 12, 2024 23:28 2m 49s
fix: Account for the optional equality support of map/seq inside newtypes Build DafnyRef.pdf #19020: Pull request #5980 opened by RustanLeino
December 12, 2024 23:28 2m 44s RustanLeino:issue-5972-addendum
RustanLeino:issue-5972-addendum
December 12, 2024 23:28 2m 44s
fix: Account for the optional equality support of map/seq inside newtypes Build and Test #19790: Pull request #5980 opened by RustanLeino
December 12, 2024 23:28 25m 58s RustanLeino:issue-5972-addendum
RustanLeino:issue-5972-addendum
December 12, 2024 23:28 25m 58s
fix: Account for the optional equality support of map/seq inside newtypes Test documentation #10839: Pull request #5980 opened by RustanLeino
December 12, 2024 23:28 16m 47s RustanLeino:issue-5972-addendum
RustanLeino:issue-5972-addendum
December 12, 2024 23:28 16m 47s
fix: Account for the optional equality support of map/seq inside newtypes Build and Test Dafny Standard Libraries #4056: Pull request #5980 opened by RustanLeino
December 12, 2024 23:28 3m 28s RustanLeino:issue-5972-addendum
RustanLeino:issue-5972-addendum
December 12, 2024 23:28 3m 28s
fix: Account for the optional equality support of map/seq inside newtypes Fuzzing on PR #783: Pull request #5980 opened by RustanLeino
December 12, 2024 23:28 11s
December 12, 2024 23:28 11s
Fix: General newtypes now support conditional equality Test documentation #10838: Pull request #5979 opened by MikaelMayer
December 12, 2024 23:24 16m 36s fix-5978-general-newtypes-not-supporting-equality-sound-way
fix-5978-general-newtypes-not-supporting-equality-sound-way
December 12, 2024 23:24 16m 36s
Fix: General newtypes now support conditional equality Build DafnyRef.pdf #19019: Pull request #5979 opened by MikaelMayer
December 12, 2024 23:24 3m 15s fix-5978-general-newtypes-not-supporting-equality-sound-way
fix-5978-general-newtypes-not-supporting-equality-sound-way
December 12, 2024 23:24 3m 15s
Fix: General newtypes now support conditional equality Build and Test Dafny Standard Libraries #4055: Pull request #5979 opened by MikaelMayer
December 12, 2024 23:24 14m 0s fix-5978-general-newtypes-not-supporting-equality-sound-way
fix-5978-general-newtypes-not-supporting-equality-sound-way
December 12, 2024 23:24 14m 0s
Fix: General newtypes now support conditional equality Build and Test #19789: Pull request #5979 opened by MikaelMayer
December 12, 2024 23:24 27m 14s fix-5978-general-newtypes-not-supporting-equality-sound-way
fix-5978-general-newtypes-not-supporting-equality-sound-way
December 12, 2024 23:24 27m 14s
Fix: General newtypes now support conditional equality Build and Test Dafny Runtimes #9326: Pull request #5979 opened by MikaelMayer
December 12, 2024 23:24 5m 21s fix-5978-general-newtypes-not-supporting-equality-sound-way
fix-5978-general-newtypes-not-supporting-equality-sound-way
December 12, 2024 23:24 5m 21s
Fix: General newtypes now support conditional equality Fuzzing on PR #782: Pull request #5979 opened by MikaelMayer
December 12, 2024 23:24 9s
December 12, 2024 23:24 9s
Can call merge Build and Test Dafny Standard Libraries #4054: Pull request #5977 synchronize by typerSniper
December 12, 2024 19:35 13m 18s typerSniper:can-call-merge
typerSniper:can-call-merge
December 12, 2024 19:35 13m 18s
Can call merge Test documentation #10837: Pull request #5977 synchronize by typerSniper
December 12, 2024 19:35 21m 44s typerSniper:can-call-merge
typerSniper:can-call-merge
December 12, 2024 19:35 21m 44s
Can call merge Build and Test Dafny Runtimes #9325: Pull request #5977 synchronize by typerSniper
December 12, 2024 19:35 4m 50s typerSniper:can-call-merge
typerSniper:can-call-merge
December 12, 2024 19:35 4m 50s
Can call merge Build and Test #19788: Pull request #5977 synchronize by typerSniper
December 12, 2024 19:35 48m 5s typerSniper:can-call-merge
typerSniper:can-call-merge
December 12, 2024 19:35 48m 5s