Skip to content

Actions: keyboardDrummer/dafny

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5 workflow runs
5 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Try to save /tmp/MSBuildTemprunner/ logs .github/workflows/msbuild.yml #125: Commit 96ccbec pushed by keyboardDrummer
June 3, 2024 08:29 Failure msbuildTempRunnerLogs
msbuildTempRunnerLogs
June 3, 2024 08:29 Failure
Merge branch 'master' into xunitTestStabilityDebugging .github/workflows/xunit-tests-reusable.yml #2: Commit 521ee74 pushed by keyboardDrummer
August 4, 2023 13:20 Failure xunitTestStabilityDebugging
xunitTestStabilityDebugging
August 4, 2023 13:20 Failure
Merge branch 'master' into xunitTestStabilityDebugging .github/workflows/doc-tests.yml #101: Commit 521ee74 pushed by keyboardDrummer
August 4, 2023 13:20 Failure xunitTestStabilityDebugging
xunitTestStabilityDebugging
August 4, 2023 13:20 Failure
Do not filter XUnit tests, and dont run doctests .github/workflows/xunit-tests-reusable.yml #1: Commit 7d8deb7 pushed by keyboardDrummer
August 4, 2023 11:54 Failure xunitTestStabilityDebugging
xunitTestStabilityDebugging
August 4, 2023 11:54 Failure
Do not filter XUnit tests, and dont run doctests .github/workflows/doc-tests.yml #100: Commit 7d8deb7 pushed by keyboardDrummer
August 4, 2023 11:54 Failure xunitTestStabilityDebugging
xunitTestStabilityDebugging
August 4, 2023 11:54 Failure