Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Actions: Paul-Lez/pfr

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix bump related errors .github/workflows/push_pr.yml #29: Commit 5728852 pushed by Paul-Lez
6m 50s ent_of_sum
ent_of_sum
6m 50s
Apply suggestions from code review .github/workflows/push_pr.yml #28: Commit 2e60e88 pushed by Paul-Lez
3m 18s ent_of_sum
ent_of_sum
3m 18s
Merge branch 'master' into ent_of_sum .github/workflows/push_pr.yml #27: Commit 517a1b3 pushed by Paul-Lez
3m 6s ent_of_sum
ent_of_sum
3m 6s
k_eq_zero done! Build Lean project #17: Commit 4173cdd pushed by Paul-Lez
39m 17s master
master
39m 17s
Close remaining sorry and move stuff around .github/workflows/push_pr.yml #26: Commit f3823bc pushed by Paul-Lez
6m 31s ent_of_sum
ent_of_sum
6m 31s
Clean up proofs a little .github/workflows/push_pr.yml #25: Commit a69e499 pushed by Paul-Lez
6m 38s ent_of_sum
ent_of_sum
6m 38s
Almost done .github/workflows/push_pr.yml #24: Commit 8739223 pushed by Paul-Lez
6m 43s ent_of_sum
ent_of_sum
6m 43s
Add proof of ent_of_sum_le_ent_of_sum .github/workflows/push_pr.yml #23: Commit 302141b pushed by Paul-Lez
6m 56s ent_of_sum
ent_of_sum
6m 56s
Merge https://github.com/teorth/pfr into ent_of_sum .github/workflows/push_pr.yml #22: Commit 4badd14 pushed by Paul-Lez
6m 33s ent_of_sum
ent_of_sum
6m 33s
WIP .github/workflows/push_pr.yml #21: Commit 5f08400 pushed by Paul-Lez
33s ent_of_sum
ent_of_sum
33s
Merge https://github.com/teorth/pfr into ent_of_sum .github/workflows/push_pr.yml #20: Commit a655b7a pushed by Paul-Lez
6m 55s ent_of_sum
ent_of_sum
6m 55s
Merge https://github.com/teorth/pfr into ent_of_sum .github/workflows/push_pr.yml #19: Commit 88cec4b pushed by Paul-Lez
7m 43s ent_of_sum
ent_of_sum
7m 43s