Skip to content

Actions: fplaunchpad/sal

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
27 workflow runs
27 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
removed unnecessary files Lean Action CI #27: Commit d28d731 pushed by pranavramesh2003
1m 54s lean4_26
lean4_26
1m 54s
updated dockerfile Lean Action CI #26: Commit 8a4db7c pushed by pranavramesh2003
2m 29s lean4_26
lean4_26
2m 29s
updated dockerfile Lean Action CI #25: Commit 0d83748 pushed by pranavramesh2003
1m 44s lean4_26
lean4_26
1m 44s
updated dockerfile Lean Action CI #24: Commit 437efed pushed by pranavramesh2003
1m 46s lean4_26
lean4_26
1m 46s
updated dockerfile Lean Action CI #23: Commit afab350 pushed by pranavramesh2003
1m 45s lean4_26
lean4_26
1m 45s
Update README with new sections and corrections Lean Action CI #22: Commit 8bc2c8b pushed by kayceesrk
1m 57s lean4_26
lean4_26
1m 57s
updated dockerfile Lean Action CI #21: Commit 09a0715 pushed by pranavramesh2003
2m 32s lean4_26
lean4_26
2m 32s
updated with dockerfiles Lean Action CI #20: Commit b6e902f pushed by pranavramesh2003
2m 2s lean4_26
lean4_26
2m 2s
updates Lean Action CI #19: Commit 1cdd781 pushed by kayceesrk
2m 10s lean4_26
lean4_26
2m 10s
proved VCs using Aristotle to complete verification Lean Action CI #18: Commit b3e60ed pushed by pranavramesh2003
1m 53s lean4_26
lean4_26
1m 53s
proved VCs using SAL to complete verification Lean Action CI #17: Commit 1604836 pushed by pranavramesh2003
2m 8s lean4_26
lean4_26
2m 8s
updated readme Lean Action CI #16: Commit 1b6477a pushed by pranavramesh2003
2m 19s lean4_26
lean4_26
2m 19s
updated readme Lean Action CI #15: Commit db74111 pushed by pranavramesh2003
3m 17s lean4_26
lean4_26
3m 17s
updated README Lean Action CI #14: Commit f8e8b00 pushed by pranavramesh2003
3m 38s lean4_26
lean4_26
3m 38s
updated with lean blaster Lean Action CI #13: Commit 136fd96 pushed by pranavramesh2003
3m 30s lean4_26
lean4_26
3m 30s
added peritext and resettable counter Lean Action CI #12: Commit b574974 pushed by pranavramesh2003
3m 39s lean4_26
lean4_26
3m 39s
updated readme Lean Action CI #11: Commit 0fa50ce pushed by pranavramesh2003
3m 20s lean4_26
lean4_26
3m 20s
bumped up to lean4.26 Lean Action CI #10: Commit f90c947 pushed by pranavramesh2003
3m 28s lean4_26
lean4_26
3m 28s
fixed stuff Lean Action CI #9: Commit 751af50 pushed by pranavramesh2003
11m 4s master
master
11m 4s
proved grow only set and multi valued register Lean Action CI #8: Commit 0b20e8d pushed by pranavramesh2003
10m 54s master
master
10m 54s
added all files Lean Action CI #7: Commit a1d0b33 pushed by pranavramesh2003
11m 11s main
main
11m 11s
updated readme Lean Action CI #6: Commit 0e7556d pushed by pranavramesh2003
2m 15s master
master
2m 15s
updated readme Lean Action CI #5: Commit 49fa7d3 pushed by pranavramesh2003
11m 16s master
master
11m 16s
added all files Lean Action CI #4: Commit b18bee2 pushed by pranavramesh2003
11m 17s master
master
11m 17s
added all files Lean Action CI #3: Commit eb21976 pushed by pranavramesh2003
11m 9s master
master
11m 9s