Skip to content

Actions: leanprover/cslib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
chore: bump mathlib to be31cde, fix breaking changes Check PR title for commit convention #5147: Pull request #1079 edited by SamuelSchlesinger
8s bump-mathlib/fix-be31cde
bump-mathlib/fix-be31cde
8s
feat(PFunctor): add possible outputs and MonadAttach for free monads Check PR title for commit convention #5146: Pull request #1087 edited by dtumad
8s dtumad:dtumad/freem-monad-attach
dtumad:dtumad/freem-monad-attach
8s
feat(PFunctor): add possible outputs and MonadAttach for free monads Check PR title for commit convention #5145: Pull request #1087 synchronize by dtumad
9s dtumad:dtumad/freem-monad-attach
dtumad:dtumad/freem-monad-attach
9s
feat(PFunctor): add possible outputs and MonadAttach for free monads Lean Action CI #6191: Pull request #1087 synchronize by dtumad
5m 43s dtumad:dtumad/freem-monad-attach
dtumad:dtumad/freem-monad-attach
5m 43s
feat(PFunctor): add possible outputs and MonadAttach for free monads Check PR title for commit convention #5144: Pull request #1087 opened by dtumad
6s dtumad:dtumad/freem-monad-attach
dtumad:dtumad/freem-monad-attach
6s
feat(PFunctor): add possible outputs and MonadAttach for free monads Lean Action CI #6190: Pull request #1087 opened by dtumad
6m 24s dtumad:dtumad/freem-monad-attach
dtumad:dtumad/freem-monad-attach
6m 24s
chore: bump mathlib to be31cde, fix breaking changes Check PR title for commit convention #5143: Pull request #1079 edited by SamuelSchlesinger
8s bump-mathlib/fix-be31cde
bump-mathlib/fix-be31cde
8s
chore: bump mathlib to be31cde, fix breaking changes Check PR title for commit convention #5142: Pull request #1079 synchronize by SamuelSchlesinger
9s bump-mathlib/fix-be31cde
bump-mathlib/fix-be31cde
9s
chore: bump mathlib to be31cde, fix breaking changes Lean Action CI #6189: Pull request #1079 synchronize by SamuelSchlesinger
5m 57s bump-mathlib/fix-be31cde
bump-mathlib/fix-be31cde
5m 57s
feat(Foundations): define polynomial growth and relate it to big-O Check PR title for commit convention #5141: Pull request #1067 synchronize by SamuelSchlesinger
6s samschles/crypto-pr-05-polynomial-bound
samschles/crypto-pr-05-polynomial-bound
6s
feat(Foundations): define polynomial growth and relate it to big-O Lean Action CI #6188: Pull request #1067 synchronize by SamuelSchlesinger
5m 56s samschles/crypto-pr-05-polynomial-bound
samschles/crypto-pr-05-polynomial-bound
5m 56s
feat(Foundations): define polynomial growth and relate it to big-O Check PR title for commit convention #5140: Pull request #1067 synchronize by SamuelSchlesinger
9s samschles/crypto-pr-05-polynomial-bound
samschles/crypto-pr-05-polynomial-bound
9s
feat(Foundations): define polynomial growth and relate it to big-O Lean Action CI #6187: Pull request #1067 synchronize by SamuelSchlesinger
6m 52s samschles/crypto-pr-05-polynomial-bound
samschles/crypto-pr-05-polynomial-bound
6m 52s
feat(FreeM): relate indexed and polynomial free monads Check PR title for commit convention #5139: Pull request #1086 opened by dtumad
45s dtumad:dtumad/freem-pfunctor-equiv
dtumad:dtumad/freem-pfunctor-equiv
45s
feat(FreeM): relate indexed and polynomial free monads Lean Action CI #6186: Pull request #1086 opened by dtumad
7m 20s dtumad:dtumad/freem-pfunctor-equiv
dtumad:dtumad/freem-pfunctor-equiv
7m 20s
feat(Distributed): formalize notions of consistency for replicated data types and prove their relationships Check PR title for commit convention #5138: Pull request #987 synchronize by ctchou
6s ctchou:replicated-consistency
ctchou:replicated-consistency
6s
feat(Distributed): formalize notions of consistency for replicated data types and prove their relationships Lean Action CI #6185: Pull request #987 synchronize by ctchou
5m 55s ctchou:replicated-consistency
ctchou:replicated-consistency
5m 55s
Lean Action CI Lean Action CI #6184: Manually run by SamuelSchlesinger
5m 45s samschles/crypto-pr-10-statistical-games
samschles/crypto-pr-10-statistical-games
5m 45s
Lean Action CI Lean Action CI #6183: Manually run by SamuelSchlesinger
6m 51s samschles/crypto-pr-09-prg-distributions
samschles/crypto-pr-09-prg-distributions
6m 51s
Lean Action CI Lean Action CI #6182: Manually run by SamuelSchlesinger
7m 39s samschles/crypto-pr-08-hybrid-arguments
samschles/crypto-pr-08-hybrid-arguments
7m 39s
Lean Action CI Lean Action CI #6181: Manually run by SamuelSchlesinger
7m 52s samschles/crypto-pr-07-security-games
samschles/crypto-pr-07-security-games
7m 52s
Lean Action CI Lean Action CI #6180: Manually run by SamuelSchlesinger
6m 27s samschles/crypto-pr-03-statistical-distance-tsum
samschles/crypto-pr-03-statistical-distance-tsum
6m 27s
Lean Action CI Lean Action CI #6179: Manually run by SamuelSchlesinger
7m 43s samschles/crypto-pr-01-pmf-real-sums
samschles/crypto-pr-01-pmf-real-sums
7m 43s
Lean Action CI Lean Action CI #6178: Manually run by SamuelSchlesinger
7m 54s samschles/crypto-pr-06-negligible
samschles/crypto-pr-06-negligible
7m 54s
feat(Crypto): relate security games to statistical distance Check PR title for commit convention #5137: Pull request #1072 edited by SamuelSchlesinger
13s samschles/crypto-pr-10-statistical-games
samschles/crypto-pr-10-statistical-games
13s