Skip to content

Actions: leanprover/SampCert

Actions

Extract, build, run

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
534 workflow runs
534 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improving the proof for discrete Gaussian Extract, build, run #9: Pull request #6 synchronize by jtristan
April 23, 2024 00:36 48m 2s ConcentratedBound
ConcentratedBound
April 23, 2024 00:36 48m 2s
Improving the proof for discrete Gaussian Extract, build, run #8: Pull request #6 synchronize by jtristan
April 22, 2024 23:25 46m 48s ConcentratedBound
ConcentratedBound
April 22, 2024 23:25 46m 48s
Improving the proof for discrete Gaussian Extract, build, run #7: Pull request #6 synchronize by jtristan
April 22, 2024 22:45 47m 39s ConcentratedBound
ConcentratedBound
April 22, 2024 22:45 47m 39s
Improving the proof for discrete Gaussian Extract, build, run #6: Pull request #6 opened by jtristan
April 22, 2024 22:10 46m 9s ConcentratedBound
ConcentratedBound
April 22, 2024 22:10 46m 9s
Merge pull request #5 from leanprover/ConcentratedBound Extract, build, run #5: Commit 58a1041 pushed by jtristan
April 19, 2024 14:47 49m 21s main
main
April 19, 2024 14:47 49m 21s
New package for VMC Extract, build, run #4: Pull request #5 opened by jtristan
April 19, 2024 12:36 47m 38s ConcentratedBound
ConcentratedBound
April 19, 2024 12:36 47m 38s
Merge pull request #4 from leanprover/ConcentratedBound Extract, build, run #3: Commit ccd7ae2 pushed by jtristan
April 18, 2024 23:13 48m 48s main
main
April 18, 2024 23:13 48m 48s
workflow update for testing extraction Extract, build, run #2: Pull request #4 synchronize by jtristan
April 18, 2024 22:09 47m 59s ConcentratedBound
ConcentratedBound
April 18, 2024 22:09 47m 59s
workflow update for testing extraction Extract, build, run #1: Pull request #4 synchronize by jtristan
April 18, 2024 21:20 47m 35s ConcentratedBound
ConcentratedBound
April 18, 2024 21:20 47m 35s
ProTip! You can narrow down the results and go further in time using created:<2024-04-18 or the other filters available.