Skip to content
This repository has been archived by the owner on Oct 10, 2023. It is now read-only.

Actions: leanprover-community/tutorials

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Patch 1 (#40) .github/workflows/update_versions.yml #30: Commit cf6d067 pushed by PatrickMassot
October 10, 2023 21:19 23s master
master
October 10, 2023 21:19 23s
Update README.md .github/workflows/update_versions.yml #29: Commit 4360733 pushed by PatrickMassot
October 10, 2023 17:02 22s master
master
October 10, 2023 17:02 22s
.github/workflows/upgrade.yml .github/workflows/upgrade.yml #166: Scheduled
October 9, 2023 00:01 1m 23s master
master
October 9, 2023 00:01 1m 23s
.github/workflows/upgrade.yml .github/workflows/upgrade.yml #165: Scheduled
October 2, 2023 00:01 1m 14s master
master
October 2, 2023 00:01 1m 14s
.github/workflows/upgrade.yml .github/workflows/upgrade.yml #164: Scheduled
September 25, 2023 00:01 1m 10s master
master
September 25, 2023 00:01 1m 10s
.github/workflows/upgrade.yml .github/workflows/upgrade.yml #163: Scheduled
September 18, 2023 00:01 54s master
master
September 18, 2023 00:01 54s