Skip to content

Actions: leanprover-community/aesop

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
968 workflow runs
968 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Forward.Substitution: optimize construction of empty subst Build #637: Commit 2d94115 pushed by JLimperg
6m 0s forward-code
forward-code
6m 0s
github_actions in /. - Update #919009360 Dependabot Updates #82: by dependabot bot
38s master
master
38s
fixes for leanprover/lean4#6053 Build #636: Commit 24d0b61 pushed by kim-em
2m 41s nightly-testing
nightly-testing
2m 41s
github_actions in /. - Update #917863802 Dependabot Updates #81: by dependabot bot
41s master
master
41s
fixes for leanprover/lean4#6053 Build #635: Commit 24d0b61 pushed by kim-em
2m 27s lean-pr-testing-6053
lean-pr-testing-6053
2m 27s
github_actions in /. - Update #917088492 Dependabot Updates #80: by dependabot bot
35s master
master
35s
Bump batteries Build #634: Commit 4b24f40 pushed by JLimperg
3m 27s precompile
precompile
3m 27s
Enable precompilation Build #633: Commit 39a269e pushed by JLimperg
2m 33s precompile
precompile
2m 33s
Enable precompilation Build #632: Commit eb3e83c pushed by JLimperg
3m 53s precompile
precompile
3m 53s
bump deps Build #631: Commit 70fef96 pushed by kim-em
2m 40s nightly-testing
nightly-testing
2m 40s
fix batteries dependency Build #630: Commit 75fd9b7 pushed by kim-em
2m 34s nightly-testing
nightly-testing
2m 34s
merge main Build #629: Commit b4cfdc7 pushed by kim-em
2m 21s nightly-testing
nightly-testing
2m 21s
chore: bump batteries, follow deprecations (#179) Build #628: Commit de91b59 pushed by github-merge-queue bot
2m 24s master
master
2m 24s
chore: bump batteries, follow deprecations (#179) Build #627: Commit de91b59 pushed by github-merge-queue bot
2m 29s gh-readonly-queue/master/pr-179-39119d25ce6f40a6250b742c6b4e8d9b400af677
gh-readonly-queue/master/pr-179-39119d25ce6f40a6250b742c6b4e8d9b400af677
2m 29s
Build Build #626: Merge group checks requested
2m 36s
2m 36s
chore: bump batteries, follow deprecations Build #625: Commit 6d58bf5 pushed by kim-em
2m 32s bump_deps_11_14
bump_deps_11_14
2m 32s
github_actions in /. - Update #916567042 Dependabot Updates #79: by dependabot bot
40s master
master
40s
push tests Build #624: Commit 71164aa pushed by xgenereux
5m 9s forward-code
forward-code
5m 9s
merge lean-pr-testing-6054 Build #623: Commit 2b4fc3a pushed by kim-em
2m 27s nightly-testing
nightly-testing
2m 27s
fixes for leanprover/lean4#6054 Build #622: Commit 0fa8cd2 pushed by kim-em
2m 24s lean-pr-testing-6054
lean-pr-testing-6054
2m 24s
github_actions in /. - Update #915995129 Dependabot Updates #78: by dependabot bot
44s master
master
44s
RuleTactic.Tactic: disable recovery (#178) Build #621: Commit 39119d2 pushed by github-merge-queue bot
1m 54s master
master
1m 54s
RuleTactic.Tactic: disable recovery (#178) Build #620: Commit 39119d2 pushed by github-merge-queue bot
1m 47s gh-readonly-queue/master/pr-178-5dfdc66e0d503631527ad90c1b5d7815c86a8662
gh-readonly-queue/master/pr-178-5dfdc66e0d503631527ad90c1b5d7815c86a8662
1m 47s
Build Build #619: Merge group checks requested
1m 49s
1m 49s
RuleTactic.Tactic: disable recovery Build #618: Commit 35eeaec pushed by JLimperg
1m 53s tactic-elab-bug
tactic-elab-bug
1m 53s
ProTip! You can narrow down the results and go further in time using created:<2024-11-12 or the other filters available.