Skip to content

Actions: dafny-lang/dafny

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Introduce --general-newtypes option Build DafnyRef.pdf #15849: Pull request #4932 synchronize by RustanLeino
January 9, 2024 18:35 10m 3s RustanLeino:nn3
RustanLeino:nn3
January 9, 2024 18:35 10m 3s
pages build and deployment pages-build-deployment #1458: by keyboardDrummer
January 9, 2024 18:20 55s
January 9, 2024 18:20 55s
doc: Add instructions about how to install Rust Build DafnyRef.pdf #15848: Pull request #4933 synchronize by RustanLeino
January 9, 2024 17:56 16m 16s RustanLeino:add-rust-install-instructions
RustanLeino:add-rust-install-instructions
January 9, 2024 17:56 16m 16s
doc: Add instructions about how to install Rust Build and Test Dafny Runtimes #6152: Pull request #4933 synchronize by RustanLeino
January 9, 2024 17:56 15m 33s RustanLeino:add-rust-install-instructions
RustanLeino:add-rust-install-instructions
January 9, 2024 17:56 15m 33s
doc: Add instructions about how to install Rust Build and Test #16617: Pull request #4933 synchronize by RustanLeino
January 9, 2024 17:56 55m 15s RustanLeino:add-rust-install-instructions
RustanLeino:add-rust-install-instructions
January 9, 2024 17:56 55m 15s
doc: Add instructions about how to install Rust Test documentation #7666: Pull request #4933 synchronize by RustanLeino
January 9, 2024 17:56 26m 41s RustanLeino:add-rust-install-instructions
RustanLeino:add-rust-install-instructions
January 9, 2024 17:56 26m 41s
doc: Add instructions about how to install Rust Build and Test Dafny Standard Libraries #883: Pull request #4933 synchronize by RustanLeino
January 9, 2024 17:56 32m 34s RustanLeino:add-rust-install-instructions
RustanLeino:add-rust-install-instructions
January 9, 2024 17:56 32m 34s
Introduce --general-newtypes option Build and Test Dafny Standard Libraries #882: Pull request #4932 synchronize by RustanLeino
January 9, 2024 17:48 19m 13s RustanLeino:nn3
RustanLeino:nn3
January 9, 2024 17:48 19m 13s
Introduce --general-newtypes option Build and Test #16616: Pull request #4932 synchronize by RustanLeino
January 9, 2024 17:48 26m 53s RustanLeino:nn3
RustanLeino:nn3
January 9, 2024 17:48 26m 53s
Introduce --general-newtypes option Test documentation #7665: Pull request #4932 synchronize by RustanLeino
January 9, 2024 17:48 19m 26s RustanLeino:nn3
RustanLeino:nn3
January 9, 2024 17:48 19m 26s
Introduce --general-newtypes option Build and Test Dafny Runtimes #6151: Pull request #4932 synchronize by RustanLeino
January 9, 2024 17:48 8m 16s RustanLeino:nn3
RustanLeino:nn3
January 9, 2024 17:48 8m 16s
Introduce --general-newtypes option Build DafnyRef.pdf #15847: Pull request #4932 synchronize by RustanLeino
January 9, 2024 17:48 8m 13s RustanLeino:nn3
RustanLeino:nn3
January 9, 2024 17:48 8m 13s
fix: Check for correct use of type characteristics in ghosts and default expressions Build and Test Dafny Runtimes #6150: Pull request #4928 synchronize by RustanLeino
January 9, 2024 17:48 3m 46s RustanLeino:fix-4926
RustanLeino:fix-4926
January 9, 2024 17:48 3m 46s
fix: Check for correct use of type characteristics in ghosts and default expressions Build DafnyRef.pdf #15846: Pull request #4928 synchronize by RustanLeino
January 9, 2024 17:48 10m 0s RustanLeino:fix-4926
RustanLeino:fix-4926
January 9, 2024 17:48 10m 0s
fix: Check for correct use of type characteristics in ghosts and default expressions Build and Test Dafny Standard Libraries #881: Pull request #4928 synchronize by RustanLeino
January 9, 2024 17:48 16m 22s RustanLeino:fix-4926
RustanLeino:fix-4926
January 9, 2024 17:48 16m 22s
fix: Check for correct use of type characteristics in ghosts and default expressions Test documentation #7664: Pull request #4928 synchronize by RustanLeino
January 9, 2024 17:48 17m 46s RustanLeino:fix-4926
RustanLeino:fix-4926
January 9, 2024 17:48 17m 46s
fix: Check for correct use of type characteristics in ghosts and default expressions Build and Test #16615: Pull request #4928 synchronize by RustanLeino
January 9, 2024 17:48 41m 12s RustanLeino:fix-4926
RustanLeino:fix-4926
January 9, 2024 17:48 41m 12s
Axiom warnings Build DafnyRef.pdf #15845: Pull request #3553 synchronize by keyboardDrummer
January 9, 2024 16:58 8m 58s keyboardDrummer:axiomWarning
keyboardDrummer:axiomWarning
January 9, 2024 16:58 8m 58s
Axiom warnings Build and Test Dafny Standard Libraries #880: Pull request #3553 synchronize by keyboardDrummer
January 9, 2024 16:58 17m 39s keyboardDrummer:axiomWarning
keyboardDrummer:axiomWarning
January 9, 2024 16:58 17m 39s
Axiom warnings Build and Test #16614: Pull request #3553 synchronize by keyboardDrummer
January 9, 2024 16:58 26m 31s keyboardDrummer:axiomWarning
keyboardDrummer:axiomWarning
January 9, 2024 16:58 26m 31s
Axiom warnings Test documentation #7663: Pull request #3553 synchronize by keyboardDrummer
January 9, 2024 16:58 6m 2s keyboardDrummer:axiomWarning
keyboardDrummer:axiomWarning
January 9, 2024 16:58 6m 2s
Axiom warnings Build and Test Dafny Runtimes #6149: Pull request #3553 synchronize by keyboardDrummer
January 9, 2024 16:58 3m 40s keyboardDrummer:axiomWarning
keyboardDrummer:axiomWarning
January 9, 2024 16:58 3m 40s
Axiom warnings Test documentation #7662: Pull request #3553 synchronize by keyboardDrummer
January 9, 2024 16:42 6m 3s keyboardDrummer:axiomWarning
keyboardDrummer:axiomWarning
January 9, 2024 16:42 6m 3s
Axiom warnings Build and Test Dafny Standard Libraries #879: Pull request #3553 synchronize by keyboardDrummer
January 9, 2024 16:42 15m 41s keyboardDrummer:axiomWarning
keyboardDrummer:axiomWarning
January 9, 2024 16:42 15m 41s
Axiom warnings Build and Test Dafny Runtimes #6148: Pull request #3553 synchronize by keyboardDrummer
January 9, 2024 16:42 4m 2s keyboardDrummer:axiomWarning
keyboardDrummer:axiomWarning
January 9, 2024 16:42 4m 2s