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
Bump mathlib to LKG Bump mathlib to LKG #196: Scheduled
25s main
main
25s
fix(DiffieHellman): pass the modulus to shared-secret calls (#1040) Build and Deploy Documentation #397: Commit e806c8e pushed by github-merge-queue Bot
43m 8s main
main
43m 8s
fix(DiffieHellman): pass the modulus to shared-secret calls (#1040) Lean Action CI #6197: Commit e806c8e pushed by github-merge-queue Bot
5m 53s main
main
5m 53s
fix(DiffieHellman): pass the modulus to shared-secret calls (#1040) Run TODO to Issue #483: Commit e806c8e pushed by github-merge-queue Bot
21s main
main
21s
fix(DiffieHellman): use each role's own private exponent Check PR title for commit convention #5157: Pull request #1041 synchronize by fmontesi
8s samschles/fix-dh-role-exponents
samschles/fix-dh-role-exponents
8s
fix(DiffieHellman): use each role's own private exponent Lean Action CI #6196: Pull request #1041 synchronize by fmontesi
7m 36s samschles/fix-dh-role-exponents
samschles/fix-dh-role-exponents
7m 36s
Lean Action CI Lean Action CI #6195: Merge group checks requested
8m 28s
8m 28s
Check PR title for commit convention Check PR title for commit convention #5156: Merge group checks requested
8s
8s
chore: bump toolchain to v4.35.0-rc4 Lean Action CI #6194: Pull request #1090 opened by Garmelon
22m 6s bump-to-v4.35.0-rc4
bump-to-v4.35.0-rc4
22m 6s
chore: bump toolchain to v4.35.0-rc4 Check PR title for commit convention #5155: Pull request #1090 opened by Garmelon
10s bump-to-v4.35.0-rc4
bump-to-v4.35.0-rc4
10s
doc(README): document fetching Mathlib oleans Check PR title for commit convention #5154: Pull request #1081 edited by cdbattags
7s cdbattags:doc/downstream-cache
cdbattags:doc/downstream-cache
7s
doc(README): document fetching Mathlib oleans Check PR title for commit convention #5153: Pull request #1081 edited by cdbattags
8s cdbattags:doc/downstream-cache
cdbattags:doc/downstream-cache
8s
feat(TimeM): relate timed costs to big-O Check PR title for commit convention #5152: Pull request #1083 edited by cdbattags
8s cdbattags:feat/timem-asymptotics
cdbattags:feat/timem-asymptotics
8s
feat(TimeM): relate timed costs to big-O Check PR title for commit convention #5151: Pull request #1083 edited by cdbattags
8s cdbattags:feat/timem-asymptotics
cdbattags:feat/timem-asymptotics
8s
feat(PFunctor): measure semantics for free monads and resumptions Check PR title for commit convention #5150: Pull request #1089 edited by dtumad
9s dtumad:dtumad/pfunctor-measure
dtumad:dtumad/pfunctor-measure
9s
feat(PFunctor): measure semantics for free monads and resumptions Lean Action CI #6193: Pull request #1089 opened by dtumad
8m 16s dtumad:dtumad/pfunctor-measure
dtumad:dtumad/pfunctor-measure
8m 16s
feat(PFunctor): measure semantics for free monads and resumptions Check PR title for commit convention #5149: Pull request #1089 opened by dtumad
8s dtumad:dtumad/pfunctor-measure
dtumad:dtumad/pfunctor-measure
8s
feat(PFunctor): add resumptions and relate W-types, M-types and free monads Lean Action CI #6192: Pull request #1088 opened by dtumad
5m 49s dtumad:dtumad/pfunctor-resumption
dtumad:dtumad/pfunctor-resumption
5m 49s
feat(PFunctor): add resumptions and relate W-types, M-types and free monads Check PR title for commit convention #5148: Pull request #1088 opened by dtumad
6s dtumad:dtumad/pfunctor-resumption
dtumad:dtumad/pfunctor-resumption
6s
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