Skip to content

Actions: leanprover/reference-manual

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,069 workflow runs
2,069 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Label PRs with artifacts Label PRs with artifacts #263: completed by david-christiansen
February 3, 2025 09:42 3s
February 3, 2025 09:42 3s
Deploy PR for review Deploy PR for review #151: completed by david-christiansen
February 3, 2025 09:42 3s
February 3, 2025 09:42 3s
feat: improvements to Quotient chapter suggested by Kyle (#275) Build and check HTML #620: Commit f941fa8 pushed by david-christiansen
February 3, 2025 09:36 6m 11s main
main
February 3, 2025 09:36 6m 11s
Label PRs with artifacts Label PRs with artifacts #262: completed by david-christiansen
February 3, 2025 09:07 21s
February 3, 2025 09:07 21s
Deploy PR for review Deploy PR for review #150: completed by david-christiansen
February 3, 2025 09:07 28s
February 3, 2025 09:07 28s
Deploy PR for review Deploy PR for review #149: completed by david-christiansen
February 3, 2025 09:00 14s
February 3, 2025 09:00 14s
Label PRs with artifacts Label PRs with artifacts #261: completed by david-christiansen
February 3, 2025 09:00 14s
February 3, 2025 09:00 14s
feat: improvements to Quotient chapter suggested by Kyle Build and check HTML #619: Pull request #275 synchronize by david-christiansen
February 3, 2025 09:00 7m 3s quotient-update
quotient-update
February 3, 2025 09:00 7m 3s
feat: improvements to Quotient chapter suggested by Kyle Check PR title for commit convention #366: Pull request #275 synchronize by david-christiansen
February 3, 2025 09:00 12s quotient-update
quotient-update
February 3, 2025 09:00 12s
feat: improvements to Quotient chapter suggested by Kyle Check for too-big Lean imports #326: Pull request #275 synchronize by david-christiansen
February 3, 2025 09:00 17s quotient-update
quotient-update
February 3, 2025 09:00 17s
feat: improvements to Quotient chapter suggested by Kyle Check for copyright headers #23: Pull request #275 synchronize by david-christiansen
February 3, 2025 09:00 34s quotient-update
quotient-update
February 3, 2025 09:00 34s
feat: improvements to Quotient chapter suggested by Kyle Check for copyright headers #326: Pull request #275 synchronize by david-christiansen
February 3, 2025 09:00 13s quotient-update
quotient-update
February 3, 2025 09:00 13s
feat: improvements to Quotient chapter suggested by Kyle Check for copyright headers #22: Pull request #275 opened by david-christiansen
February 3, 2025 08:53 30s quotient-update
quotient-update
February 3, 2025 08:53 30s
feat: improvements to Quotient chapter suggested by Kyle Check for too-big Lean imports #325: Pull request #275 opened by david-christiansen
February 3, 2025 08:53 13s quotient-update
quotient-update
February 3, 2025 08:53 13s
feat: improvements to Quotient chapter suggested by Kyle Check for copyright headers #325: Pull request #275 opened by david-christiansen
February 3, 2025 08:53 12s quotient-update
quotient-update
February 3, 2025 08:53 12s
feat: improvements to Quotient chapter suggested by Kyle Build and check HTML #618: Pull request #275 opened by david-christiansen
February 3, 2025 08:53 6m 37s quotient-update
quotient-update
February 3, 2025 08:53 6m 37s
feat: improvements to Quotient chapter suggested by Kyle Check PR title for commit convention #365: Pull request #275 opened by david-christiansen
February 3, 2025 08:53 11s quotient-update
quotient-update
February 3, 2025 08:53 11s
Label PRs with artifacts Label PRs with artifacts #260: completed by david-christiansen
February 3, 2025 07:36 13s
February 3, 2025 07:36 13s
Deploy PR for review Deploy PR for review #148: completed by david-christiansen
February 3, 2025 07:36 23s
February 3, 2025 07:36 23s
feat: partial_fixpoint Build and check HTML #617: Pull request #253 synchronize by david-christiansen
February 3, 2025 07:30 5m 53s nomeata:joachim/partial-fixpoint
nomeata:joachim/partial-fixpoint
February 3, 2025 07:30 5m 53s
feat: partial_fixpoint Check for too-big Lean imports #324: Pull request #253 synchronize by david-christiansen
February 3, 2025 07:30 15s nomeata:joachim/partial-fixpoint
nomeata:joachim/partial-fixpoint
February 3, 2025 07:30 15s
feat: partial_fixpoint Check for copyright headers #21: Pull request #253 synchronize by david-christiansen
February 3, 2025 07:30 27s nomeata:joachim/partial-fixpoint
nomeata:joachim/partial-fixpoint
February 3, 2025 07:30 27s
feat: partial_fixpoint Check for copyright headers #324: Pull request #253 synchronize by david-christiansen
February 3, 2025 07:30 12s nomeata:joachim/partial-fixpoint
nomeata:joachim/partial-fixpoint
February 3, 2025 07:30 12s
feat: partial_fixpoint Check PR title for commit convention #364: Pull request #253 synchronize by david-christiansen
February 3, 2025 07:30 10s nomeata:joachim/partial-fixpoint
nomeata:joachim/partial-fixpoint
February 3, 2025 07:30 10s
Label PRs with artifacts Label PRs with artifacts #259: completed by david-christiansen
February 3, 2025 06:48 2s
February 3, 2025 06:48 2s