Skip to content

Actions: dafny-lang/dafny

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
32,732 workflow runs
32,732 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Chore: Using instantiated type for coercion Build and Test Dafny Standard Libraries #2676: Pull request #5511 synchronize by MikaelMayer
June 4, 2024 15:05 Pending chore-ensre-correct-type-coercion
chore-ensre-correct-type-coercion
June 4, 2024 15:05 Pending
Chore: Using instantiated type for coercion Test documentation #9459: Pull request #5511 synchronize by MikaelMayer
June 4, 2024 15:05 Queued chore-ensre-correct-type-coercion
chore-ensre-correct-type-coercion
June 4, 2024 15:05 Queued
Chore: Using instantiated type for coercion Build and Test #18410: Pull request #5511 synchronize by MikaelMayer
June 4, 2024 15:05 Pending chore-ensre-correct-type-coercion
chore-ensre-correct-type-coercion
June 4, 2024 15:05 Pending
Chore: Using instantiated type for coercion Build DafnyRef.pdf #17640: Pull request #5511 synchronize by MikaelMayer
June 4, 2024 15:05 Queued chore-ensre-correct-type-coercion
chore-ensre-correct-type-coercion
June 4, 2024 15:05 Queued
Chore: Using instantiated type for coercion Build and Test Dafny Runtimes #7947: Pull request #5511 synchronize by MikaelMayer
June 4, 2024 15:05 Queued chore-ensre-correct-type-coercion
chore-ensre-correct-type-coercion
June 4, 2024 15:05 Queued
Split off parts of single pass compiler Test documentation #9458: Pull request #5526 synchronize by keyboardDrummer
June 4, 2024 14:43 Queued keyboardDrummer:splitOffPartsOfSinglePassCompiler
keyboardDrummer:splitOffPartsOfSinglePassCompiler
June 4, 2024 14:43 Queued
Split off parts of single pass compiler Build and Test #18409: Pull request #5526 synchronize by keyboardDrummer
June 4, 2024 14:43 Queued keyboardDrummer:splitOffPartsOfSinglePassCompiler
keyboardDrummer:splitOffPartsOfSinglePassCompiler
June 4, 2024 14:43 Queued
Split off parts of single pass compiler Build DafnyRef.pdf #17639: Pull request #5526 synchronize by keyboardDrummer
June 4, 2024 14:43 27m 41s keyboardDrummer:splitOffPartsOfSinglePassCompiler
keyboardDrummer:splitOffPartsOfSinglePassCompiler
June 4, 2024 14:43 27m 41s
Split off parts of single pass compiler Build and Test Dafny Runtimes #7946: Pull request #5526 synchronize by keyboardDrummer
June 4, 2024 14:43 Queued keyboardDrummer:splitOffPartsOfSinglePassCompiler
keyboardDrummer:splitOffPartsOfSinglePassCompiler
June 4, 2024 14:43 Queued
Split off parts of single pass compiler Build and Test Dafny Standard Libraries #2675: Pull request #5526 synchronize by keyboardDrummer
June 4, 2024 14:43 Queued keyboardDrummer:splitOffPartsOfSinglePassCompiler
keyboardDrummer:splitOffPartsOfSinglePassCompiler
June 4, 2024 14:43 Queued
Nightly test and release workflow Nightly test and release workflow #290: Manually run by keyboardDrummer
June 4, 2024 14:40 Queued release-4.7.0
release-4.7.0
June 4, 2024 14:40 Queued
Chore: Dafny to Rust refactorings Build and Test Dafny Runtimes #7945: Pull request #5513 synchronize by MikaelMayer
June 4, 2024 14:34 Queued chore-rust-refactorings
chore-rust-refactorings
June 4, 2024 14:34 Queued
Chore: Dafny to Rust refactorings Build and Test #18408: Pull request #5513 synchronize by MikaelMayer
June 4, 2024 14:34 Pending chore-rust-refactorings
chore-rust-refactorings
June 4, 2024 14:34 Pending
Chore: Dafny to Rust refactorings Build and Test Dafny Standard Libraries #2674: Pull request #5513 synchronize by MikaelMayer
June 4, 2024 14:34 Pending chore-rust-refactorings
chore-rust-refactorings
June 4, 2024 14:34 Pending
Chore: Dafny to Rust refactorings Build DafnyRef.pdf #17638: Pull request #5513 synchronize by MikaelMayer
June 4, 2024 14:34 28m 17s chore-rust-refactorings
chore-rust-refactorings
June 4, 2024 14:34 28m 17s
Chore: Dafny to Rust refactorings Test documentation #9457: Pull request #5513 synchronize by MikaelMayer
June 4, 2024 14:34 Queued chore-rust-refactorings
chore-rust-refactorings
June 4, 2024 14:34 Queued
Nightly test and release workflow Nightly test and release workflow #289: Scheduled
June 4, 2024 14:33 Queued master
master
June 4, 2024 14:33 Queued
Chore: Dafny to Rust refactorings Build and Test #18407: Pull request #5513 synchronize by MikaelMayer
June 4, 2024 14:20 13m 44s chore-rust-refactorings
chore-rust-refactorings
June 4, 2024 14:20 13m 44s
Chore: Dafny to Rust refactorings Test documentation #9456: Pull request #5513 synchronize by MikaelMayer
June 4, 2024 14:20 13m 46s chore-rust-refactorings
chore-rust-refactorings
June 4, 2024 14:20 13m 46s
Chore: Dafny to Rust refactorings Build DafnyRef.pdf #17637: Pull request #5513 synchronize by MikaelMayer
June 4, 2024 14:20 13m 45s chore-rust-refactorings
chore-rust-refactorings
June 4, 2024 14:20 13m 45s
Chore: Dafny to Rust refactorings Build and Test Dafny Runtimes #7944: Pull request #5513 synchronize by MikaelMayer
June 4, 2024 14:20 13m 46s chore-rust-refactorings
chore-rust-refactorings
June 4, 2024 14:20 13m 46s
Chore: Dafny to Rust refactorings Build and Test Dafny Standard Libraries #2673: Pull request #5513 synchronize by MikaelMayer
June 4, 2024 14:20 13m 44s chore-rust-refactorings
chore-rust-refactorings
June 4, 2024 14:20 13m 44s
Chore: No extra newtype test Test documentation #9455: Pull request #5506 synchronize by MikaelMayer
June 4, 2024 14:14 In progress chore-no-extra-newtype-test
chore-no-extra-newtype-test
June 4, 2024 14:14 In progress
Chore: No extra newtype test Build and Test Dafny Runtimes #7943: Pull request #5506 synchronize by MikaelMayer
June 4, 2024 14:14 47m 18s chore-no-extra-newtype-test
chore-no-extra-newtype-test
June 4, 2024 14:14 47m 18s
Chore: No extra newtype test Build and Test #18406: Pull request #5506 synchronize by MikaelMayer
June 4, 2024 14:14 Pending chore-no-extra-newtype-test
chore-no-extra-newtype-test
June 4, 2024 14:14 Pending