Skip to content

Actions: FormalizedFormalLogic/Foundation

Actions

.github/workflows/upgrade_lean.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix build errors for continuous integration .github/workflows/upgrade_lean.yml #6: Pull request #8 by hmonroe
December 10, 2023 23:32 Failure hmonroe:master
hmonroe:master
December 10, 2023 23:32 Failure
Fix build errors for continuous integration .github/workflows/upgrade_lean.yml #5: Pull request #8 by hmonroe
December 10, 2023 23:31 Failure hmonroe:master
hmonroe:master
December 10, 2023 23:31 Failure
Fix build errors for continuous integration .github/workflows/upgrade_lean.yml #4: Pull request #8 by hmonroe
December 10, 2023 23:30 Failure hmonroe:master
hmonroe:master
December 10, 2023 23:30 Failure
Fix build errors for continuous integration .github/workflows/upgrade_lean.yml #3: Pull request #8 by hmonroe
December 10, 2023 23:28 Failure hmonroe:master
hmonroe:master
December 10, 2023 23:28 Failure
Fix build errors for continuous integration .github/workflows/upgrade_lean.yml #2: Pull request #8 by hmonroe
December 10, 2023 23:25 Failure hmonroe:master
hmonroe:master
December 10, 2023 23:25 Failure
Fix build errors for continuous integration .github/workflows/upgrade_lean.yml #1: Pull request #8 by hmonroe
December 10, 2023 23:24 Failure hmonroe:master
hmonroe:master
December 10, 2023 23:24 Failure