Skip to content

Actions: llllvvuu/pfr

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
86 workflow runs
86 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

leanok .github/workflows/push_pr.yml #86: Commit 46beffd pushed by llllvvuu
February 10, 2024 07:25 8m 14s leanok
leanok
February 10, 2024 07:25 8m 14s
golf .github/workflows/push_pr.yml #85: Commit d26b51d pushed by llllvvuu
February 10, 2024 06:24 8m 10s chore/remove_upstreamed_zmod_module_instances
chore/remove_upstreamed_zmod_module_instances
February 10, 2024 06:24 8m 10s
close last sorry .github/workflows/push_pr.yml #84: Commit 08766bf pushed by llllvvuu
February 10, 2024 06:11 8m 23s chore/remove_upstreamed_zmod_module_instances
chore/remove_upstreamed_zmod_module_instances
February 10, 2024 06:11 8m 23s
fix?? .github/workflows/push_pr.yml #83: Commit 9038fd3 pushed by llllvvuu
February 10, 2024 06:01 8m 20s chore/remove_upstreamed_zmod_module_instances
chore/remove_upstreamed_zmod_module_instances
February 10, 2024 06:01 8m 20s
fix?? .github/workflows/push_pr.yml #82: Commit e14de9e pushed by llllvvuu
February 10, 2024 05:56 8m 28s chore/remove_upstreamed_zmod_module_instances
chore/remove_upstreamed_zmod_module_instances
February 10, 2024 05:56 8m 28s
almost fixed build .github/workflows/push_pr.yml #81: Commit a0a2336 pushed by llllvvuu
February 10, 2024 05:44 8m 5s chore/remove_upstreamed_zmod_module_instances
chore/remove_upstreamed_zmod_module_instances
February 10, 2024 05:44 8m 5s
start work on reviving proof .github/workflows/push_pr.yml #80: Commit abdd59c pushed by llllvvuu
February 10, 2024 04:25 7m 57s chore/remove_upstreamed_zmod_module_instances
chore/remove_upstreamed_zmod_module_instances
February 10, 2024 04:25 7m 57s
potential fix? .github/workflows/push_pr.yml #79: Commit 0a66518 pushed by llllvvuu
February 10, 2024 02:50 8m 24s chore/remove_upstreamed_zmod_module_instances
chore/remove_upstreamed_zmod_module_instances
February 10, 2024 02:50 8m 24s
chore: remove upstreamed ZMod Module instances .github/workflows/push_pr.yml #78: Commit 45cf3bf pushed by llllvvuu
February 10, 2024 01:22 8m 59s chore/remove_upstreamed_zmod_module_instances
chore/remove_upstreamed_zmod_module_instances
February 10, 2024 01:22 8m 59s
chore: remove upstreamed ZMod Module instances .github/workflows/push_pr.yml #77: Commit c178e2c pushed by llllvvuu
February 10, 2024 01:14 9m 11s chore/remove_upstreamed_zmod_module_instances
chore/remove_upstreamed_zmod_module_instances
February 10, 2024 01:14 9m 11s
feat: approx_hom_pfr .github/workflows/push_pr.yml #76: Commit 93e5ee0 pushed by llllvvuu
January 13, 2024 10:13 8m 58s feat/approx_hom_PFR
feat/approx_hom_PFR
January 13, 2024 10:13 8m 58s
feat: approx_hom_pfr .github/workflows/push_pr.yml #75: Commit e45fe35 pushed by llllvvuu
January 13, 2024 10:11 9m 23s feat/approx_hom_PFR
feat/approx_hom_PFR
January 13, 2024 10:11 9m 23s
feat: approx_hom_pfr .github/workflows/push_pr.yml #74: Commit 00f07b9 pushed by llllvvuu
January 13, 2024 08:37 9m 4s feat/approx_hom_PFR
feat/approx_hom_PFR
January 13, 2024 08:37 9m 4s
[wip] feat: approx_hom_pfr .github/workflows/push_pr.yml #73: Commit a52bc5b pushed by llllvvuu
January 13, 2024 08:15 8m 55s feat/approx_hom_PFR
feat/approx_hom_PFR
January 13, 2024 08:15 8m 55s
[wip] feat: approx_hom_pfr .github/workflows/push_pr.yml #72: Commit 69d1be8 pushed by llllvvuu
January 13, 2024 07:05 9m 5s feat/approx_hom_PFR
feat/approx_hom_PFR
January 13, 2024 07:05 9m 5s
[wip] feat: approx_hom_pfr .github/workflows/push_pr.yml #71: Commit c427cf8 pushed by llllvvuu
January 13, 2024 05:41 8m 59s feat/approx_hom_PFR
feat/approx_hom_PFR
January 13, 2024 05:41 8m 59s
[wip] feat: approx_hom_pfr .github/workflows/push_pr.yml #70: Commit 60fbd7f pushed by llllvvuu
January 13, 2024 03:32 8m 42s feat/approx_hom_PFR
feat/approx_hom_PFR
January 13, 2024 03:32 8m 42s
chore: clarify dist-projection blueprint a bit .github/workflows/push_pr.yml #69: Commit d568859 pushed by llllvvuu
January 11, 2024 00:00 8m 55s chore/clarify_proj_distance
chore/clarify_proj_distance
January 11, 2024 00:00 8m 55s
chore: clarify dist-projection blueprint a bit .github/workflows/push_pr.yml #68: Commit 475a191 pushed by llllvvuu
January 10, 2024 21:29 9m 2s chore/clarify_proj_distance
chore/clarify_proj_distance
January 10, 2024 21:29 9m 2s
chore: clarify dist-projection blueprint a bit .github/workflows/push_pr.yml #67: Commit fb878a3 pushed by llllvvuu
January 10, 2024 21:24 9m 1s chore/clarify_proj_distance
chore/clarify_proj_distance
January 10, 2024 21:24 9m 1s
chore: clarify dist-projection blueprint a bit .github/workflows/push_pr.yml #66: Commit bf1434c pushed by llllvvuu
January 10, 2024 21:21 9m 0s chore/clarify_proj_distance
chore/clarify_proj_distance
January 10, 2024 21:21 9m 0s
chore: clarify dist-projection blueprint a bit .github/workflows/push_pr.yml #65: Commit 282590f pushed by llllvvuu
January 10, 2024 20:56 8m 54s chore/clarify_proj_distance
chore/clarify_proj_distance
January 10, 2024 20:56 8m 54s
chore: clarify dist-projection blueprint a bit .github/workflows/push_pr.yml #64: Commit 73a6a76 pushed by llllvvuu
January 10, 2024 19:51 8m 34s chore/clarify_proj_distance
chore/clarify_proj_distance
January 10, 2024 19:51 8m 34s
feat: finished ent_of_proj_le .github/workflows/push_pr.yml #63: Commit 6a8de6d pushed by llllvvuu
January 10, 2024 12:18 8m 33s feat/ent_of_proj_le
feat/ent_of_proj_le
January 10, 2024 12:18 8m 33s
feat: finished ent_of_proj_le .github/workflows/push_pr.yml #62: Commit 9a36447 pushed by llllvvuu
January 10, 2024 12:04 8m 39s feat/ent_of_proj_le
feat/ent_of_proj_le
January 10, 2024 12:04 8m 39s