Skip to content

Actions: carlok/LeanFrontier

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
reconcile-generated reconcile-generated #1868: completed by leanfrontier-receiver Bot
14s
14s
Push on main CodeQL #486: by leanfrontier-receiver Bot
1m 0s main
main
1m 0s
Merge pull request #478 from carlok/automation/generated/rejections-3… record-observation #458: Commit a7836d1 pushed by leanfrontier-receiver Bot
15s main
main
15s
Merge pull request #478 from carlok/automation/generated/rejections-3… reconcile-generated #1867: Commit a7836d1 pushed by leanfrontier-receiver Bot
20s main
main
20s
Merge pull request #478 from carlok/automation/generated/rejections-3… test #1646: Commit a7836d1 pushed by leanfrontier-receiver Bot
19s main
main
19s
reconcile-generated reconcile-generated #1866: completed by leanfrontier-receiver Bot
27s
27s
auto-merge auto-merge #742: completed by leanfrontier-receiver Bot
20s
20s
reconcile-generated reconcile-generated #1865: completed by leanfrontier-receiver Bot
15s
15s
chore: record weekly rejection aggregates test #1645: Pull request #478 opened by leanfrontier-receiver Bot
18s automation/generated/rejections-37327875999
automation/generated/rejections-37327875999
18s
chore: record weekly rejection aggregates validate-submission #1000: Pull request #478 opened by leanfrontier-receiver Bot
18s automation/generated/rejections-37327875999
automation/generated/rejections-37327875999
18s
reconcile-generated reconcile-generated #1864: completed by leanfrontier-receiver Bot
15s
15s
auto-merge auto-merge #741: completed by leanfrontier-receiver Bot
2s
2s
reconcile-generated reconcile-generated #1863: completed by leanfrontier-receiver Bot
11s
11s
validate-submission validate-submission #999: Manually run by leanfrontier-receiver Bot
21s automation/generated/rejections-37327875999
automation/generated/rejections-37327875999
21s
PR #478 CodeQL #485: by leanfrontier-receiver Bot
1m 0s refs/pull/478/head
refs/pull/478/head
1m 0s
test test #1644: Manually run by leanfrontier-receiver Bot
25s automation/generated/rejections-37327875999
automation/generated/rejections-37327875999
25s
collect-rejections collect-rejections #3: Scheduled
1m 20s main
main
1m 20s
mathlib-release-upgrade mathlib-release-upgrade #14: Scheduled
18s main
main
18s
maintainer-merge-queue maintainer-merge-queue #19: Manually run by carlok
12s main
main
12s
reconcile-generated reconcile-generated #1862: completed by carlok
14s
14s
Push on main CodeQL #484: by carlok
1m 11s main
main
1m 11s
Merge pull request #477 from carlok/maintenance/app-client-id record-observation #457: Commit cd628f8 pushed by carlok
13s main
main
13s
Merge pull request #477 from carlok/maintenance/app-client-id reconcile-generated #1861: Commit cd628f8 pushed by carlok
10s main
main
10s
Merge pull request #477 from carlok/maintenance/app-client-id test #1643: Commit cd628f8 pushed by carlok
21s main
main
21s
reconcile-generated reconcile-generated #1860: completed by carlok
15s
15s