Skip to content

Actions: leanprover/SampCert

Actions

Build and deploy documentation to Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
static.yml
This workflow was disabled manually.
29 workflow runs
29 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Gen sampling (#49) Build and deploy documentation to Pages #29: Commit 8c65c8e pushed by jtristan
July 23, 2024 18:56 52s main
main
July 23, 2024 18:56 52s
Tests in Lean (#47) Build and deploy documentation to Pages #28: Commit 75d07f7 pushed by jtristan
July 22, 2024 18:46 4m 12s main
main
July 22, 2024 18:46 4m 12s
Merge pull request #43 from leanprover/Benchmarks Build and deploy documentation to Pages #27: Commit ad1a5d0 pushed by jtristan
July 18, 2024 18:49 37s main
main
July 18, 2024 18:49 37s
Merge pull request #44 from mjdemedeiros/workflows-disable-caches Build and deploy documentation to Pages #26: Commit 6a4ce37 pushed by jtristan
July 18, 2024 18:37 37s main
main
July 18, 2024 18:37 37s
Merge pull request #37 from mjdemedeiros/LaplaceOpt Build and deploy documentation to Pages #25: Commit b653201 pushed by jtristan
July 17, 2024 18:54 4m 21s main
main
July 17, 2024 18:54 4m 21s
Merge pull request #40 from leanprover/FFI Build and deploy documentation to Pages #24: Commit 3d900a0 pushed by jtristan
July 16, 2024 14:37 3m 15s main
main
July 16, 2024 14:37 3m 15s
Merge pull request #39 from leanprover/Upgrade-4.10.0-rc2 Build and deploy documentation to Pages #23: Commit 06b5661 pushed by jtristan
July 15, 2024 15:34 3m 45s main
main
July 15, 2024 15:34 3m 45s
Merge pull request #27 from mjdemedeiros/histogram Build and deploy documentation to Pages #22: Commit eea6025 pushed by jtristan
July 8, 2024 15:40 21m 16s main
main
July 8, 2024 15:40 21m 16s
Merge pull request #34 from mjdemedeiros/main Build and deploy documentation to Pages #21: Commit dd9be00 pushed by jtristan
July 3, 2024 16:20 18m 58s main
main
July 3, 2024 16:20 18m 58s
Merge pull request #32 from mjdemedeiros/doc-gen-update Build and deploy documentation to Pages #20: Commit fcd0b60 pushed by mjdemedeiros
July 3, 2024 15:01 1h 19m 38s main
main
July 3, 2024 15:01 1h 19m 38s
Merge pull request #33 from mjdemedeiros/lean-action Build and deploy documentation to Pages #19: Commit 838e967 pushed by mjdemedeiros
July 3, 2024 15:00 41s main
main
July 3, 2024 15:00 41s
Merge pull request #31 from leanprover/upgrade Build and deploy documentation to Pages #18: Commit cc48ecc pushed by jtristan
July 2, 2024 15:17 42s main
main
July 2, 2024 15:17 42s
Merge pull request #30 from leanprover/LeanUpgrage4.9.0 Build and deploy documentation to Pages #17: Commit e284575 pushed by jtristan
July 2, 2024 01:16 1h 17m 15s main
main
July 2, 2024 01:16 1h 17m 15s
Merge pull request #29 from mjdemedeiros/ExtendedAdaptiveComposition Build and deploy documentation to Pages #16: Commit 3581423 pushed by jtristan
July 1, 2024 20:26 1h 16m 31s main
main
July 1, 2024 20:26 1h 16m 31s
Merge pull request #13 from leanprover/PureDP Build and deploy documentation to Pages #15: Commit 300e1ee pushed by jtristan
May 29, 2024 16:54 2h 27m 15s main
main
May 29, 2024 16:54 2h 27m 15s
Merge pull request #14 from mjdemedeiros/doc-gen4-pages Build and deploy documentation to Pages #14: Commit d00d06c pushed by mjdemedeiros
May 29, 2024 16:48 1h 15m 23s main
main
May 29, 2024 16:48 1h 15m 23s
Typo in CONTRIBUTING.md Build and deploy documentation to Pages #13: Commit fa98b7e pushed by mjdemedeiros
May 29, 2024 13:56 45s main
main
May 29, 2024 13:56 45s
Merge pull request #10 from mjdemedeiros/documentation Build and deploy documentation to Pages #12: Commit 2748e48 pushed by jtristan
May 29, 2024 13:41 27s main
main
May 29, 2024 13:41 27s
Merge pull request #9 from leanprover/ConcentratedBound Build and deploy documentation to Pages #11: Commit a1ecc19 pushed by jtristan
May 23, 2024 20:14 20s main
main
May 23, 2024 20:14 20s
Merge pull request #12 from mjdemedeiros/doc-gen Build and deploy documentation to Pages #10: Commit 414fabe pushed by jtristan
May 22, 2024 23:52 24s main
main
May 22, 2024 23:52 24s
Merge pull request #11 from leanprover/Upgrade Build and deploy documentation to Pages #9: Commit d5225f1 pushed by jtristan
May 22, 2024 12:59 24s main
main
May 22, 2024 12:59 24s
Merge pull request #8 from BoltonBailey/main Build and deploy documentation to Pages #8: Commit 979d243 pushed by jtristan
May 20, 2024 18:05 28s main
main
May 20, 2024 18:05 28s
Create CITATION.cff Build and deploy documentation to Pages #7: Commit e584d2b pushed by jtristan
May 16, 2024 16:17 21s main
main
May 16, 2024 16:17 21s
Update README.md Build and deploy documentation to Pages #6: Commit 5141a19 pushed by jtristan
May 16, 2024 15:54 26s main
main
May 16, 2024 15:54 26s
Merge pull request #7 from leanprover/ConcentratedBound Build and deploy documentation to Pages #5: Commit 4bdb00e pushed by jtristan
May 16, 2024 14:38 24s main
main
May 16, 2024 14:38 24s