Skip to content

Actions: mseri/BET

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
285 workflow runs
285 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Golf topological entropy Lean build #123: Pull request #50 synchronize by pitmonticone
June 20, 2024 13:17 1m 9s golf-TopologicalEntropy
golf-TopologicalEntropy
June 20, 2024 13:17 1m 9s
Merge pull request #54 from mseri/import-all Lean build #122: Commit 75ba2f3 pushed by mseri
June 20, 2024 13:05 2m 23s main
main
June 20, 2024 13:05 2m 23s
Ensure TopologicalEntropy is imported Lean build #121: Pull request #54 opened by mseri
June 20, 2024 13:02 2m 5s import-all
import-all
June 20, 2024 13:02 2m 5s
Golf topological entropy Lean build #120: Pull request #50 synchronize by pitmonticone
June 20, 2024 13:00 1m 33s golf-TopologicalEntropy
golf-TopologicalEntropy
June 20, 2024 13:00 1m 33s
Golf topological entropy Lean build #119: Pull request #50 synchronize by pitmonticone
June 20, 2024 13:00 6s golf-TopologicalEntropy
golf-TopologicalEntropy
June 20, 2024 13:00 6s
Golf topological entropy Lean build #118: Pull request #50 synchronize by pitmonticone
June 20, 2024 13:00 12s golf-TopologicalEntropy
golf-TopologicalEntropy
June 20, 2024 13:00 12s
Golf topological entropy Lean build #117: Pull request #50 synchronize by pitmonticone
June 20, 2024 12:46 1m 49s golf-TopologicalEntropy
golf-TopologicalEntropy
June 20, 2024 12:46 1m 49s
Golf topological entropy Lean build #116: Pull request #50 synchronize by pitmonticone
June 20, 2024 12:46 18s golf-TopologicalEntropy
golf-TopologicalEntropy
June 20, 2024 12:46 18s
Golf topological entropy Lean build #115: Pull request #50 synchronize by pitmonticone
June 20, 2024 12:43 2m 47s golf-TopologicalEntropy
golf-TopologicalEntropy
June 20, 2024 12:43 2m 47s
[create-pull-request] automated change (#53) Lean build #114: Commit 1662d59 pushed by mseri
June 20, 2024 12:40 2m 7s main
main
June 20, 2024 12:40 2m 7s
Golf topological entropy Lean build #113: Pull request #50 synchronize by pitmonticone
June 20, 2024 12:12 2m 10s golf-TopologicalEntropy
golf-TopologicalEntropy
June 20, 2024 12:12 2m 10s
Golf topological entropy Lean build #112: Pull request #50 synchronize by pitmonticone
June 20, 2024 11:50 1m 57s golf-TopologicalEntropy
golf-TopologicalEntropy
June 20, 2024 11:50 1m 57s
Golf topological entropy Lean build #111: Pull request #50 synchronize by pitmonticone
June 20, 2024 11:49 1m 21s golf-TopologicalEntropy
golf-TopologicalEntropy
June 20, 2024 11:49 1m 21s
Golf topological entropy Lean build #110: Pull request #50 synchronize by pitmonticone
June 20, 2024 11:48 1m 22s golf-TopologicalEntropy
golf-TopologicalEntropy
June 20, 2024 11:48 1m 22s
Check for updates Check for updates #19: Scheduled
June 20, 2024 11:13 1m 21s main
main
June 20, 2024 11:13 1m 21s
Golf topological entropy Lean build #109: Pull request #50 opened by pitmonticone
June 19, 2024 12:53 1m 58s golf-TopologicalEntropy
golf-TopologicalEntropy
June 19, 2024 12:53 1m 58s
Add auxiliary lemma (#49) Lean build #108: Commit bcb4c6c pushed by mseri
June 19, 2024 07:05 2m 4s main
main
June 19, 2024 07:05 2m 4s
Add auxiliary lemma Lean build #107: Pull request #49 synchronize by mseri
June 19, 2024 07:00 2m 5s non_positive_of_notin_divSet
non_positive_of_notin_divSet
June 19, 2024 07:00 2m 5s
Add auxiliary lemma Lean build #106: Pull request #49 opened by pitmonticone
June 18, 2024 22:40 2m 11s non_positive_of_notin_divSet
non_positive_of_notin_divSet
June 18, 2024 22:40 2m 11s
Merge pull request #48 from mseri/pdf Lean build #105: Commit ee86a54 pushed by pitmonticone
June 18, 2024 21:02 1m 40s main
main
June 18, 2024 21:02 1m 40s
Add proof-of-bet-kh.pdf Lean build #104: Pull request #48 opened by pitmonticone
June 18, 2024 21:02 26s pdf
pdf
June 18, 2024 21:02 26s
Birkhoff cleanup (#47) Lean build #103: Commit d103573 pushed by mseri
June 18, 2024 17:40 1m 52s main
main
June 18, 2024 17:40 1m 52s
Birkhoff cleanup Lean build #102: Pull request #47 opened by mseri
June 18, 2024 17:39 1m 47s birkhoff-cleanup
birkhoff-cleanup
June 18, 2024 17:39 1m 47s
Merge pull request #46 from mseri/update-main Lean build #101: Commit a05cf0a pushed by mseri
June 18, 2024 10:01 2m 25s main
main
June 18, 2024 10:01 2m 25s
Update to latest lean/mathlib Lean build #100: Pull request #46 opened by mseri
June 18, 2024 10:01 17s update-main
update-main
June 18, 2024 10:01 17s