Skip to content

Actions: LeanMachineLearning/LML

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,501 workflow runs
1,501 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
Update Dependencies Update Dependencies #388: Scheduled
17s main
main
17s
Update Dependencies Update Dependencies #387: Scheduled
11s main
main
11s
Formalize the Leshno universal approximation theorem Build #62: Pull request #246 synchronize by yuanyi-350
15m 22s yuanyi-350:formalize-llps-universal-approximation
yuanyi-350:formalize-llps-universal-approximation
15m 22s
Bump mathlib dependency to 5089c57 Build #61: Pull request #242 synchronize by github-actions Bot
9d 22h 40m 15s hopscotch/lkg-bump
hopscotch/lkg-bump
9d 22h 40m 15s
chore: bump mathlib to 8319c83, fix breaking changes Build #60: Pull request #248 opened by github-actions Bot
10m 25s bump-mathlib/fix-8319c83
bump-mathlib/fix-8319c83
10m 25s
Update Dependencies Update Dependencies #386: Scheduled
27m 48s main
main
27m 48s
Formalize the Leshno universal approximation theorem Build #59: Pull request #246 synchronize by yuanyi-350
5m 3s yuanyi-350:formalize-llps-universal-approximation
yuanyi-350:formalize-llps-universal-approximation
5m 3s
Formalize the Leshno universal approximation theorem Build #58: Pull request #246 synchronize by yuanyi-350
Action required yuanyi-350:formalize-llps-universal-approximation
yuanyi-350:formalize-llps-universal-approximation
Action required
Identification algorithm Build #57: Pull request #243 synchronize by RemyDegenne
16m 16s identAlg
identAlg
16m 16s
Update Dependencies Update Dependencies #385: Scheduled
12s main
main
12s
Formalize the Leshno universal approximation theorem Build #56: Pull request #246 synchronize by yuanyi-350
2m 5s yuanyi-350:formalize-llps-universal-approximation
yuanyi-350:formalize-llps-universal-approximation
2m 5s
Identification algorithm Build #55: Pull request #243 synchronize by RemyDegenne
16m 13s identAlg
identAlg
16m 13s
Formalize the Leshno universal approximation theorem Build #54: Pull request #246 synchronize by yuanyi-350
2m 35s yuanyi-350:formalize-llps-universal-approximation
yuanyi-350:formalize-llps-universal-approximation
2m 35s
Formalize the Leshno universal approximation theorem Build #53: Pull request #246 synchronize by yuanyi-350
Action required yuanyi-350:formalize-llps-universal-approximation
yuanyi-350:formalize-llps-universal-approximation
Action required
Formalize the Leshno universal approximation theorem Build #52: Pull request #246 synchronize by yuanyi-350
Action required yuanyi-350:formalize-llps-universal-approximation
yuanyi-350:formalize-llps-universal-approximation
Action required
Formalize the Leshno universal approximation theorem Build #51: Pull request #246 opened by yuanyi-350
Action required yuanyi-350:formalize-llps-universal-approximation
yuanyi-350:formalize-llps-universal-approximation
Action required
Bump mathlib dependency to 5089c57 Build #50: Pull request #242 synchronize by github-actions Bot
Action required hopscotch/lkg-bump
hopscotch/lkg-bump
Action required
Update Dependencies Update Dependencies #384: Scheduled
4m 8s main
main
4m 8s
Update Dependencies Update Dependencies #383: Scheduled
15s main
main
15s
Experiment: shift filtration Build #49: Pull request #245 opened by RemyDegenne
16m 25s filtrationShift
filtrationShift
16m 25s
Identification algorithm Build #48: Pull request #243 synchronize by RemyDegenne
16m 16s identAlg
identAlg
16m 16s
Identification algorithm Build #47: Pull request #243 opened by RemyDegenne
16m 21s identAlg
identAlg
16m 21s
Bump mathlib dependency to 5089c57 Build #46: Pull request #242 opened by github-actions Bot
16m 41s hopscotch/lkg-bump
hopscotch/lkg-bump
16m 41s
Update Dependencies Update Dependencies #382: Scheduled
3m 51s main
main
3m 51s
Bump mathlib dependency to 217ba06 (#241) Build #45: Commit 3f06086 pushed by RemyDegenne
46m 51s main
main
46m 51s