Skip to content

Actions: dafny-lang/dafny

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
31,186 workflow runs
31,186 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Fix NRE and add test Test documentation #9796: Pull request #5655 synchronize by keyboardDrummer
July 30, 2024 12:35 17m 37s keyboardDrummer:fixNRELegacyDataConstructors
keyboardDrummer:fixNRELegacyDataConstructors
July 30, 2024 12:35 17m 37s
Fix NRE and add test Build and Test Dafny Runtimes #8284: Pull request #5655 synchronize by keyboardDrummer
July 30, 2024 12:35 8m 52s keyboardDrummer:fixNRELegacyDataConstructors
keyboardDrummer:fixNRELegacyDataConstructors
July 30, 2024 12:35 8m 52s
Fix NRE and add test Build and Test Dafny Standard Libraries #3013: Pull request #5655 synchronize by keyboardDrummer
July 30, 2024 12:35 27m 44s keyboardDrummer:fixNRELegacyDataConstructors
keyboardDrummer:fixNRELegacyDataConstructors
July 30, 2024 12:35 27m 44s
Fix NRE and add test Build and Test Dafny Runtimes #8283: Pull request #5655 opened by keyboardDrummer
July 30, 2024 12:34 4m 41s keyboardDrummer:fixNRELegacyDataConstructors
keyboardDrummer:fixNRELegacyDataConstructors
July 30, 2024 12:34 4m 41s
Fix NRE and add test Build and Test #18746: Pull request #5655 opened by keyboardDrummer
July 30, 2024 12:34 24m 27s keyboardDrummer:fixNRELegacyDataConstructors
keyboardDrummer:fixNRELegacyDataConstructors
July 30, 2024 12:34 24m 27s
Fix NRE and add test Build DafnyRef.pdf #17976: Pull request #5655 opened by keyboardDrummer
July 30, 2024 12:34 3m 14s keyboardDrummer:fixNRELegacyDataConstructors
keyboardDrummer:fixNRELegacyDataConstructors
July 30, 2024 12:34 3m 14s
Fix NRE and add test Build and Test Dafny Standard Libraries #3012: Pull request #5655 opened by keyboardDrummer
July 30, 2024 12:34 14m 5s keyboardDrummer:fixNRELegacyDataConstructors
keyboardDrummer:fixNRELegacyDataConstructors
July 30, 2024 12:34 14m 5s
Fix NRE and add test Test documentation #9795: Pull request #5655 opened by keyboardDrummer
July 30, 2024 12:34 11s keyboardDrummer:fixNRELegacyDataConstructors
keyboardDrummer:fixNRELegacyDataConstructors
July 30, 2024 12:34 11s
Isolated wellformedness Test documentation #9794: Pull request #5626 synchronize by keyboardDrummer
July 30, 2024 09:00 10m 17s keyboardDrummer:isolatedWellformedness
keyboardDrummer:isolatedWellformedness
July 30, 2024 09:00 10m 17s
Isolated wellformedness Build and Test Dafny Standard Libraries #3011: Pull request #5626 synchronize by keyboardDrummer
July 30, 2024 09:00 3m 43s keyboardDrummer:isolatedWellformedness
keyboardDrummer:isolatedWellformedness
July 30, 2024 09:00 3m 43s
Isolated wellformedness Build DafnyRef.pdf #17975: Pull request #5626 synchronize by keyboardDrummer
July 30, 2024 09:00 2m 52s keyboardDrummer:isolatedWellformedness
keyboardDrummer:isolatedWellformedness
July 30, 2024 09:00 2m 52s
Isolated wellformedness Build and Test #18745: Pull request #5626 synchronize by keyboardDrummer
July 30, 2024 09:00 19m 54s keyboardDrummer:isolatedWellformedness
keyboardDrummer:isolatedWellformedness
July 30, 2024 09:00 19m 54s
Isolated wellformedness Build and Test Dafny Runtimes #8282: Pull request #5626 synchronize by keyboardDrummer
July 30, 2024 09:00 2m 41s keyboardDrummer:isolatedWellformedness
keyboardDrummer:isolatedWellformedness
July 30, 2024 09:00 2m 41s
Daily soak test workflow Daily soak test workflow #90: Scheduled
July 30, 2024 03:32 13m 59s master
master
July 30, 2024 03:32 13m 59s
Use CanCall everywhere Test documentation #9793: Pull request #5654 opened by RustanLeino
July 30, 2024 01:28 10m 16s RustanLeino:can-call-everywhere
RustanLeino:can-call-everywhere
July 30, 2024 01:28 10m 16s
Use CanCall everywhere Build and Test Dafny Standard Libraries #3010: Pull request #5654 opened by RustanLeino
July 30, 2024 01:28 12m 17s RustanLeino:can-call-everywhere
RustanLeino:can-call-everywhere
July 30, 2024 01:28 12m 17s
Use CanCall everywhere Build DafnyRef.pdf #17974: Pull request #5654 opened by RustanLeino
July 30, 2024 01:28 2m 53s RustanLeino:can-call-everywhere
RustanLeino:can-call-everywhere
July 30, 2024 01:28 2m 53s
Use CanCall everywhere Build and Test #18744: Pull request #5654 opened by RustanLeino
July 30, 2024 01:28 28m 51s RustanLeino:can-call-everywhere
RustanLeino:can-call-everywhere
July 30, 2024 01:28 28m 51s
Use CanCall everywhere Build and Test Dafny Runtimes #8281: Pull request #5654 opened by RustanLeino
July 30, 2024 01:28 3m 2s RustanLeino:can-call-everywhere
RustanLeino:can-call-everywhere
July 30, 2024 01:28 3m 2s
Use refresh resolver by default Build DafnyRef.pdf #17973: Pull request #5653 opened by RustanLeino
July 30, 2024 01:27 2m 52s RustanLeino:refresh-by-default
RustanLeino:refresh-by-default
July 30, 2024 01:27 2m 52s
Use refresh resolver by default Build and Test Dafny Standard Libraries #3009: Pull request #5653 opened by RustanLeino
July 30, 2024 01:27 8m 34s RustanLeino:refresh-by-default
RustanLeino:refresh-by-default
July 30, 2024 01:27 8m 34s
Use refresh resolver by default Build and Test Dafny Runtimes #8280: Pull request #5653 opened by RustanLeino
July 30, 2024 01:27 2m 38s RustanLeino:refresh-by-default
RustanLeino:refresh-by-default
July 30, 2024 01:27 2m 38s
Use refresh resolver by default Test documentation #9792: Pull request #5653 opened by RustanLeino
July 30, 2024 01:27 6m 27s RustanLeino:refresh-by-default
RustanLeino:refresh-by-default
July 30, 2024 01:27 6m 27s
Use refresh resolver by default Build and Test #18743: Pull request #5653 opened by RustanLeino
July 30, 2024 01:27 21m 18s RustanLeino:refresh-by-default
RustanLeino:refresh-by-default
July 30, 2024 01:27 21m 18s
Nightly test and release workflow Nightly test and release workflow #350: Manually run by keyboardDrummer
July 29, 2024 16:51 1h 5m 4s master
master
July 29, 2024 16:51 1h 5m 4s