Skip to content

Actions: leanprover-community/aesop

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
973 workflow runs
973 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Forward: open rule types with reducible transparency Build #572: Commit 9f65cab pushed by JLimperg
2m 21s forward-code
forward-code
2m 21s
github_actions in /. - Update #908795627 Dependabot Updates #68: by dependabot bot
36s master
master
36s
Forward: support immediate and instance args Build #571: Commit 6733638 pushed by JLimperg
2m 20s forward-code
forward-code
2m 20s
Forward.State: normalise assignments in substitutions Build #570: Commit f7265fd pushed by JLimperg
2m 39s forward-code
forward-code
2m 39s
github_actions in /. - Update #908178832 Dependabot Updates #67: by dependabot bot
3m 6s master
master
3m 6s
Merge remote-tracking branch 'origin/master' into nightly-testing Build #569: Commit 7942d63 pushed by kim-em
2m 24s nightly-testing
nightly-testing
2m 24s
github_actions in /. - Update #907114986 Dependabot Updates #66: by dependabot bot
34s master
master
34s
github_actions in /. - Update #906364091 Dependabot Updates #65: by dependabot bot
33s master
master
33s
github_actions in /. - Update #905775763 Dependabot Updates #64: by dependabot bot
37s master
master
37s
github_actions in /. - Update #905195421 Dependabot Updates #63: by dependabot bot
37s master
master
37s
chore: modify MonadStats to not extend parents multiple times (#169) Build #568: Commit 9ac1294 pushed by github-merge-queue bot
2m 19s master
master
2m 19s
chore: modify MonadStats to not extend parents multiple times (#169) Build #567: Commit 9ac1294 pushed by github-merge-queue bot
2m 18s gh-readonly-queue/master/pr-169-b20a88676fd00affb90cbc9f1ff004ae588103b3
gh-readonly-queue/master/pr-169-b20a88676fd00affb90cbc9f1ff004ae588103b3
2m 18s
Build Build #566: Merge group checks requested
2m 33s
2m 33s
Add rule pattern index Build #565: Commit 66834e0 pushed by JLimperg
2m 46s forward-code
forward-code
2m 46s
github_actions in /. - Update #904637511 Dependabot Updates #62: by dependabot bot
37s master
master
37s
github_actions in /. - Update #903653126 Dependabot Updates #61: by dependabot bot
32s master
master
32s
chore: modify MonadStats to not extend parents multiple times Build #564: Commit cdea48a pushed by kmill
2m 18s kmill_nodup_parent
kmill_nodup_parent
2m 18s
chore: adaptations for nightly-2024-10-17 (#168) Build #563: Commit 6f49b47 pushed by kim-em
2m 29s bump/v4.14.0
bump/v4.14.0
2m 29s
fix tests Build #562: Commit e39c290 pushed by kim-em
1m 47s bump/nightly-2024-10-17
bump/nightly-2024-10-17
1m 47s
fix tests Build #561: Commit e39c290 pushed by JLimperg
1m 55s nightly-testing
nightly-testing
1m 55s
github_actions in /. - Update #902879625 Dependabot Updates #60: by dependabot bot
32s master
master
32s
merge lean-pr-testing-5731 Build #560: Commit 068d4e4 pushed by kim-em
2m 27s bump/nightly-2024-10-17
bump/nightly-2024-10-17
2m 27s
chore: move to v4.13.0-rc1 (#167) Build #559: Commit b20a886 pushed by kim-em
2m 17s bump/v4.14.0
bump/v4.14.0
2m 17s
merge lean-pr-testing-5731 Build #558: Commit 068d4e4 pushed by kim-em
2m 31s nightly-testing
nightly-testing
2m 31s
github_actions in /. - Update #902325585 Dependabot Updates #59: by dependabot bot
36s master
master
36s
ProTip! You can narrow down the results and go further in time using created:<2024-10-17 or the other filters available.