Workflow runs · algebraic-dev/lean4 · GitHub

Actions

All workflows
Workflows
- Actionlint Actionlint
- Check awaiting-mathlib label Check awaiting-mathlib label
- Check for modules that should use `prelude` Check for modules that should use `prelude`
- Check PR body for changelog convention Check PR body for changelog convention
- CI CI
- Jira sync Jira sync
- Label PR based on Comment Label PR based on Comment
- Label stale PRs Label stale PRs
- Nix CI Nix CI
- PR release PR release
Management
- Caches

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

1,423 workflow runs

1,423 workflow runs

PR release PR release #625: completed by algebraic-dev

1s

1s

CI CI #625: Scheduled

13s master

master

13s

Label stale PRs Label stale PRs #517: Scheduled

12s master

master

12s

PR release PR release #624: completed by algebraic-dev

1s

1s

CI CI #624: Scheduled

12s master

master

12s

Label stale PRs Label stale PRs #516: Scheduled

10s master

master

10s

PR release PR release #623: completed by algebraic-dev

1s

1s

CI CI #623: Scheduled

13s master

master

13s

Label stale PRs Label stale PRs #515: Scheduled

10s master

master

10s

PR release PR release #622: completed by algebraic-dev

1s

1s

CI CI #622: Scheduled

16s master

master

16s

Label stale PRs Label stale PRs #514: Scheduled

10s master

master

10s

PR release PR release #621: completed by algebraic-dev

1s

1s

CI CI #621: Scheduled

15s master

master

15s

Label stale PRs Label stale PRs #513: Scheduled

6s master

master

6s

PR release PR release #620: completed by algebraic-dev

1s

1s

CI CI #620: Scheduled

13s master

master

13s

Label stale PRs Label stale PRs #512: Scheduled

10s master

master

10s

PR release PR release #619: completed by algebraic-dev

1s

1s

CI CI #619: Scheduled

12s master

master

12s

Label stale PRs Label stale PRs #511: Scheduled

7s master

master

7s

PR release PR release #618: completed by algebraic-dev

1s

1s

CI CI #618: Scheduled

16s master

master

16s

Label stale PRs Label stale PRs #510: Scheduled

9s master

master

9s

PR release PR release #617: completed by algebraic-dev

1s

1s

Previous 1 2 3 4 5 … 56 57 Next