Skip to content

Actions: GasStationManager/ArtificialAlgorithms

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
52 workflow runs
52 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
Merge pull request #5 from GasStationManager/issue-1-memoized-knapsack Lean Action CI #63: Commit 0d78ca4 pushed by GasStationManager
8m 41s main
main
8m 41s
Vendor mini-Algolean and verify binary search complexity Lean Action CI #62: Commit 3dd0ff4 pushed by GasStationManager
9m 12s algolean-trial
algolean-trial
9m 12s
Add memoized knapsack implementation and equivalence proof Lean Action CI #61: Pull request #5 opened by GasStationManager
2m 1s issue-1-memoized-knapsack
issue-1-memoized-knapsack
2m 1s
Add memoized knapsack proof Lean Action CI #60: Commit ee78f06 pushed by GasStationManager
9m 45s issue-1-memoized-knapsack
issue-1-memoized-knapsack
9m 45s
Add verified AddTwoNumbers via mvcgen; upgrade to Lean 4.27.0 Lean Action CI #59: Commit e8e52b1 pushed by GasStationManager
9m 9s main
main
9m 9s
rest of vfa Lean Action CI #58: Commit 7d4882e pushed by GasStationManager
2m 46s main
main
2m 46s
Add VFA translations: Maps, Merge, SearchTree, ADT Lean Action CI #57: Commit 3230a15 pushed by GasStationManager
2m 30s main
main
2m 30s
Upgrade to Lean 4.26.0 with verified algorithms Lean Action CI #56: Commit 056ae3e pushed by GasStationManager
8m 43s main
main
8m 43s
Upgrade to Lean 4.26.0 Lean Action CI #55: Pull request #4 opened by GasStationManager
8m 45s v4.26.0
v4.26.0
8m 45s
Fix compilation errors for Lean 4.26.0 upgrade Lean Action CI #54: Commit 8745b67 pushed by GasStationManager
9m 38s v4.26.0
v4.26.0
9m 38s
verified fold Lean Action CI #53: Commit e7b3a4d pushed by GasStationManager
1m 34s main
main
1m 34s
sgd uniq min Lean Action CI #52: Commit 5610d03 pushed by GasStationManager
2m 21s main
main
2m 21s
sgd Lean Action CI #51: Commit 1ded5ed pushed by GasStationManager
7m 55s main
main
7m 55s
comment header for Robbins-Siegmund Theorem Lean Action CI #50: Commit 0f05581 pushed by GasStationManager
4m 24s main
main
4m 24s
Fix comment formatting in RobbinsSiegmund.lean Lean Action CI #49: Commit 75bfc81 pushed by GasStationManager
1m 52s main
main
1m 52s
omit the incomplete proof for the earlier attempt Lean Action CI #48: Commit 4bb91bd pushed by GasStationManager
1m 43s main
main
1m 43s
Merge branch 'main' of github.com:GasStationManager/ArtificialAlgorithms Lean Action CI #47: Commit 57fd0d6 pushed by GasStationManager
3m 5s main
main
3m 5s
Update ApproxValueIterationInt.lean Lean Action CI #46: Commit 5cdc8f3 pushed by GasStationManager
1m 40s main
main
1m 40s
vi approx Lean Action CI #45: Commit d2133f6 pushed by GasStationManager
2m 27s main
main
2m 27s
Update ValueIterationComplete.lean Lean Action CI #44: Commit 17ad3a8 pushed by GasStationManager
1m 43s main
main
1m 43s
vi complete Lean Action CI #43: Commit b29079f pushed by GasStationManager
1m 20s main
main
1m 20s
Update ValueIterationComplete.lean Lean Action CI #42: Commit d732559 pushed by GasStationManager
1m 29s main
main
1m 29s
Update ValueIterationComplete.lean Lean Action CI #41: Commit 7f3fcb1 pushed by GasStationManager
1m 13s main
main
1m 13s
Update ValueIterationComplete.lean Lean Action CI #40: Commit d847415 pushed by GasStationManager
1m 32s main
main
1m 32s
Update ValueIterationComplete.lean Lean Action CI #39: Commit deda593 pushed by GasStationManager
1m 35s main
main
1m 35s