Skip to content

Actions: leanprover-community/aesop

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
967 workflow runs
967 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: more module imports Build #1157: Commit 2bccfdf pushed by Kha
3m 36s modulize-imports
modulize-imports
3m 36s
github_actions in /. - Update #1143768663 Dependabot Updates #340: by dependabot bot
33s master
master
33s
github_actions in /. - Update #1142834411 Dependabot Updates #339: by dependabot bot
35s master
master
35s
bump toolchain; lake update Build #1156: Commit 7f680f8 pushed by kim-em
3m 23s nightly-testing
nightly-testing
3m 23s
Index: stabilise ordering of index match locations and pattern substi… Build #1155: Commit ca51901 pushed by github-merge-queue bot
2m 39s master
master
2m 39s
Index: stabilise ordering of index match locations and pattern substi… Build #1154: Commit ca51901 pushed by github-merge-queue bot
2m 34s gh-readonly-queue/master/pr-265-1da2f2d2945f8740802cc38c48d2ce6723ef6154
gh-readonly-queue/master/pr-265-1da2f2d2945f8740802cc38c48d2ce6723ef6154
2m 34s
Build Build #1153: Merge group checks requested
2m 42s
2m 42s
github_actions in /. - Update #1141029907 Dependabot Updates #338: by dependabot bot
31s master
master
31s
Index: stabilise ordering of index match locations and pattern substi… Build #1152: Commit 3bcc1e1 pushed by JLimperg
2m 50s index-match-order
index-match-order
2m 50s
feat: add option to globally disable warning on nonterminal applicati… Build #1151: Commit 1da2f2d pushed by JLimperg
2m 27s master
master
2m 27s
chore: shake (#262) Build #1150: Commit 353daaf pushed by github-merge-queue bot
3m 4s master
master
3m 4s
chore: shake (#262) Build #1149: Commit 353daaf pushed by github-merge-queue bot
3m 13s gh-readonly-queue/master/pr-262-1fa48c6a63b4c4cda28be61e1037192776e77ac0
gh-readonly-queue/master/pr-262-1fa48c6a63b4c4cda28be61e1037192776e77ac0
3m 13s
Build Build #1148: Merge group checks requested
3m 14s
3m 14s
github_actions in /. - Update #1139079636 Dependabot Updates #337: by dependabot bot
28s master
master
28s
github_actions in /. - Update #1138158431 Dependabot Updates #336: by dependabot bot
29s master
master
29s
github_actions in /. - Update #1137265155 Dependabot Updates #335: by dependabot bot
30s master
master
30s
github_actions in /. - Update #1136296045 Dependabot Updates #334: by dependabot bot
28s master
master
28s
github_actions in /. - Update #1134377901 Dependabot Updates #333: by dependabot bot
1m 0s master
master
1m 0s
bump toolchain Build #1147: Commit 4a3ce65 pushed by kim-em
3m 20s nightly-testing
nightly-testing
3m 20s
Fix AuxDecl test case Build #1146: Commit d5154b8 pushed by JLimperg
1m 59s push-lusnntxloqts
push-lusnntxloqts
1m 59s
fix dead opens Build #1145: Commit 5509d0f pushed by Kha
3m 0s push-lusnntxloqts
push-lusnntxloqts
3m 0s
github_actions in /. - Update #1133301373 Dependabot Updates #332: by dependabot bot
34s master
master
34s
merge master Build #1144: Commit 9b7aec3 pushed by kim-em
1m 32s nightly-testing
nightly-testing
1m 32s
github_actions in /. - Update #1132433930 Dependabot Updates #331: by dependabot bot
35s master
master
35s
chore: port to module system (#254) Build #1143: Commit 1fa48c6 pushed by kim-em
3m 29s v4.25.0-rc2
v4.25.0-rc2
3m 29s