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

Axiom warnings Build and Test #16613: Pull request #3553 synchronize by keyboardDrummer
January 9, 2024 16:42 20m 11s keyboardDrummer:axiomWarning
keyboardDrummer:axiomWarning
January 9, 2024 16:42 20m 11s
Axiom warnings Build DafnyRef.pdf #15844: Pull request #3553 synchronize by keyboardDrummer
January 9, 2024 16:42 8m 33s keyboardDrummer:axiomWarning
keyboardDrummer:axiomWarning
January 9, 2024 16:42 8m 33s
Update documentation for Dafny server Build and Test #16612: Pull request #4945 synchronize by keyboardDrummer
January 9, 2024 16:22 28m 44s keyboardDrummer:dafnyServerDocumentation
keyboardDrummer:dafnyServerDocumentation
January 9, 2024 16:22 28m 44s
Update documentation for Dafny server Build and Test Dafny Runtimes #6147: Pull request #4945 synchronize by keyboardDrummer
January 9, 2024 16:22 3m 58s keyboardDrummer:dafnyServerDocumentation
keyboardDrummer:dafnyServerDocumentation
January 9, 2024 16:22 3m 58s
Update documentation for Dafny server Build DafnyRef.pdf #15843: Pull request #4945 synchronize by keyboardDrummer
January 9, 2024 16:22 9m 16s keyboardDrummer:dafnyServerDocumentation
keyboardDrummer:dafnyServerDocumentation
January 9, 2024 16:22 9m 16s
Update documentation for Dafny server Test documentation #7661: Pull request #4945 synchronize by keyboardDrummer
January 9, 2024 16:22 17m 27s keyboardDrummer:dafnyServerDocumentation
keyboardDrummer:dafnyServerDocumentation
January 9, 2024 16:22 17m 27s
Update documentation for Dafny server Build and Test Dafny Standard Libraries #878: Pull request #4945 synchronize by keyboardDrummer
January 9, 2024 16:22 20m 7s keyboardDrummer:dafnyServerDocumentation
keyboardDrummer:dafnyServerDocumentation
January 9, 2024 16:22 20m 7s
Axiom warnings Build and Test #16611: Pull request #3553 synchronize by keyboardDrummer
January 9, 2024 15:36 18m 55s keyboardDrummer:axiomWarning
keyboardDrummer:axiomWarning
January 9, 2024 15:36 18m 55s
Axiom warnings Build and Test Dafny Runtimes #6146: Pull request #3553 synchronize by keyboardDrummer
January 9, 2024 15:36 3m 50s keyboardDrummer:axiomWarning
keyboardDrummer:axiomWarning
January 9, 2024 15:36 3m 50s
Axiom warnings Build and Test Dafny Standard Libraries #877: Pull request #3553 synchronize by keyboardDrummer
January 9, 2024 15:36 14m 15s keyboardDrummer:axiomWarning
keyboardDrummer:axiomWarning
January 9, 2024 15:36 14m 15s
Axiom warnings Test documentation #7660: Pull request #3553 synchronize by keyboardDrummer
January 9, 2024 15:36 2m 15s keyboardDrummer:axiomWarning
keyboardDrummer:axiomWarning
January 9, 2024 15:36 2m 15s
Axiom warnings Build DafnyRef.pdf #15842: Pull request #3553 synchronize by keyboardDrummer
January 9, 2024 15:36 9m 29s keyboardDrummer:axiomWarning
keyboardDrummer:axiomWarning
January 9, 2024 15:36 9m 29s
Nightly test and release workflow Nightly test and release workflow #122: Scheduled
January 9, 2024 14:33 49m 16s master
master
January 9, 2024 14:33 49m 16s
Follow-up changes related to BoundedInts Build and Test #16610: Pull request #4740 synchronize by keyboardDrummer
January 9, 2024 13:28 1h 1m 14s keyboardDrummer:followUpBoundedInts
keyboardDrummer:followUpBoundedInts
January 9, 2024 13:28 1h 1m 14s
Follow-up changes related to BoundedInts Build and Test Dafny Runtimes #6145: Pull request #4740 synchronize by keyboardDrummer
January 9, 2024 13:28 3m 43s keyboardDrummer:followUpBoundedInts
keyboardDrummer:followUpBoundedInts
January 9, 2024 13:28 3m 43s
Follow-up changes related to BoundedInts Test documentation #7659: Pull request #4740 synchronize by keyboardDrummer
January 9, 2024 13:28 31s keyboardDrummer:followUpBoundedInts
keyboardDrummer:followUpBoundedInts
January 9, 2024 13:28 31s
Follow-up changes related to BoundedInts Build and Test Dafny Standard Libraries #876: Pull request #4740 synchronize by keyboardDrummer
January 9, 2024 13:28 13m 33s keyboardDrummer:followUpBoundedInts
keyboardDrummer:followUpBoundedInts
January 9, 2024 13:28 13m 33s
Follow-up changes related to BoundedInts Build DafnyRef.pdf #15841: Pull request #4740 synchronize by keyboardDrummer
January 9, 2024 13:28 8m 7s keyboardDrummer:followUpBoundedInts
keyboardDrummer:followUpBoundedInts
January 9, 2024 13:28 8m 7s
Follow-up changes related to BoundedInts Build and Test #16609: Pull request #4740 synchronize by keyboardDrummer
January 9, 2024 13:28 20m 24s keyboardDrummer:followUpBoundedInts
keyboardDrummer:followUpBoundedInts
January 9, 2024 13:28 20m 24s
Follow-up changes related to BoundedInts Test documentation #7658: Pull request #4740 synchronize by keyboardDrummer
January 9, 2024 13:28 14s keyboardDrummer:followUpBoundedInts
keyboardDrummer:followUpBoundedInts
January 9, 2024 13:28 14s
Follow-up changes related to BoundedInts Build and Test Dafny Runtimes #6144: Pull request #4740 synchronize by keyboardDrummer
January 9, 2024 13:28 27s keyboardDrummer:followUpBoundedInts
keyboardDrummer:followUpBoundedInts
January 9, 2024 13:28 27s
Follow-up changes related to BoundedInts Build and Test Dafny Standard Libraries #875: Pull request #4740 synchronize by keyboardDrummer
January 9, 2024 13:28 23s keyboardDrummer:followUpBoundedInts
keyboardDrummer:followUpBoundedInts
January 9, 2024 13:28 23s
Follow-up changes related to BoundedInts Build DafnyRef.pdf #15840: Pull request #4740 synchronize by keyboardDrummer
January 9, 2024 13:28 37s keyboardDrummer:followUpBoundedInts
keyboardDrummer:followUpBoundedInts
January 9, 2024 13:28 37s
Add a link to the documentation Build DafnyRef.pdf #15839: Pull request #4959 opened by keyboardDrummer
January 9, 2024 12:33 8m 2s keyboardDrummer:decreasesDocumentation
keyboardDrummer:decreasesDocumentation
January 9, 2024 12:33 8m 2s
Add a link to the documentation Test documentation #7657: Pull request #4959 opened by keyboardDrummer
January 9, 2024 12:33 17m 36s keyboardDrummer:decreasesDocumentation
keyboardDrummer:decreasesDocumentation
January 9, 2024 12:33 17m 36s