Skip to content

Actions: leanprover/LNSym

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
173 workflow run results
173 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Split sym1 into smaller tactics Makefile CI #23: Pull request #14 opened by aqjune-aws
February 15, 2024 15:52 12m 17s aqjune-aws:sym1
aqjune-aws:sym1
February 15, 2024 15:52 12m 17s
Reword the PR template Makefile CI #22: Commit 48ba375 pushed by shigoel
February 15, 2024 11:01 12m 0s main
main
February 15, 2024 11:01 12m 0s
Update PR template Makefile CI #21: Commit fdc54fb pushed by shigoel
February 15, 2024 10:53 11m 54s main
main
February 15, 2024 10:53 11m 54s
Merge pull request #10 from pennyannn/yppe/pmull Makefile CI #20: Commit 4c3ec6f pushed by shigoel
February 15, 2024 02:40 11m 40s main
main
February 15, 2024 02:40 11m 40s
Merge pull request #13 from shigoel/copyright_header Makefile CI #19: Commit df583d7 pushed by shigoel
February 15, 2024 01:51 17m 7s main
main
February 15, 2024 01:51 17m 7s
CI: Run when a PR is opened Makefile CI #18: Commit 8184ccf pushed by shigoel
February 14, 2024 11:27 17m 13s main
main
February 14, 2024 11:27 17m 13s
Merge pull request #11 from shigoel/readme_update Makefile CI #17: Commit d3d2940 pushed by shigoel
February 14, 2024 10:42 20m 13s main
main
February 14, 2024 10:42 20m 13s
Update makefile.yml (again) to run regression on all pushes Makefile CI #16: Commit 4b0b38a pushed by shigoel
February 14, 2024 04:03 16m 57s main
main
February 14, 2024 04:03 16m 57s
Merge pull request #9 from shigoel/release_prep Makefile CI #15: Commit 3d591d0 pushed by shigoel
February 14, 2024 02:18 17m 36s main
main
February 14, 2024 02:18 17m 36s
Merge pull request #7 from pennyannn/yppe/addsub Makefile CI #14: Commit 34feca4 pushed by shigoel
February 10, 2024 05:47 21m 41s main
main
February 10, 2024 05:47 21m 41s
Add CI badge in the README.md Makefile CI #13: Commit b7f954c pushed by shigoel
February 9, 2024 05:40 19m 17s main
main
February 9, 2024 05:40 19m 17s
Merge pull request #8 from leanprover/shigoel-ci-workflow-dispatch Makefile CI #12: Commit 32ec34a pushed by shigoel
February 9, 2024 02:23 16m 39s main
main
February 9, 2024 02:23 16m 39s
Add workflow_dispatch to makefile.yml Makefile CI #11: Pull request #8 synchronize by shigoel
February 9, 2024 02:05 17m 0s shigoel-ci-workflow-dispatch
shigoel-ci-workflow-dispatch
February 9, 2024 02:05 17m 0s
Add workflow_dispatch to makefile.yml Makefile CI #10: Pull request #8 opened by shigoel
February 9, 2024 01:58 2m 47s shigoel-ci-workflow-dispatch
shigoel-ci-workflow-dispatch
February 9, 2024 01:58 2m 47s
Add workflow_dispatch to makefile.yml Makefile CI #9: Commit c3a701b pushed by shigoel
February 9, 2024 01:58 3m 35s shigoel-ci-workflow-dispatch
shigoel-ci-workflow-dispatch
February 9, 2024 01:58 3m 35s
Bump to leanprover/lean4:v4.5.0 Makefile CI #8: Commit 88b16da pushed by shigoel
February 1, 2024 23:48 15m 52s main
main
February 1, 2024 23:48 15m 52s
Fix file name in the import Makefile CI #7: Commit 3a761c8 pushed by shigoel
January 31, 2024 17:14 17m 12s main
main
January 31, 2024 17:14 17m 12s
Add attempt to simulate SHA512 with an AssocList program representation Makefile CI #6: Commit cfee12e pushed by shigoel
January 31, 2024 17:04 49s main
main
January 31, 2024 17:04 49s
Merge pull request #3 from soonhokong/main Makefile CI #5: Commit 12da34e pushed by shigoel
January 30, 2024 20:34 20m 12s main
main
January 30, 2024 20:34 20m 12s
Fix z3's path in makefile.yml Makefile CI #4: Commit dace776 pushed by shigoel
January 30, 2024 20:01 14m 15s main
main
January 30, 2024 20:01 14m 15s
Fix syntax bug in makefile.yml Makefile CI #3: Commit cada8e7 pushed by shigoel
January 30, 2024 19:44 12m 4s main
main
January 30, 2024 19:44 12m 4s
Get z3 binary as a part of CI Makefile CI #2: Commit 91b74d7 pushed by shigoel
January 30, 2024 19:37 Failure main
main
January 30, 2024 19:37 Failure
Create makefile.yml Makefile CI #1: Commit 2ec153e pushed by shigoel
January 30, 2024 17:09 14m 28s main
main
January 30, 2024 17:09 14m 28s