Skip to content

Actions: alexjbest/leaff

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
28 workflow runs
28 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update continuous integration #29: Commit 234aa2d pushed by alexjbest
August 30, 2024 23:28 47s master
master
August 30, 2024 23:28 47s
bump continuous integration #28: Commit 0449d86 pushed by alexjbest
June 6, 2024 21:53 39s master
master
June 6, 2024 21:53 39s
Merge pull request #9 from alexjbest/alexjbest-patch-1 continuous integration #27: Commit 0b90a79 pushed by alexjbest
April 25, 2024 23:28 36s master
master
April 25, 2024 23:28 36s
Update lean-toolchain continuous integration #26: Pull request #9 synchronize by alexjbest
April 25, 2024 23:26 35s alexjbest-patch-1
alexjbest-patch-1
April 25, 2024 23:26 35s
fix continuous integration #25: Commit 17b25df pushed by alexjbest
April 25, 2024 23:26 35s alexjbest-patch-1
alexjbest-patch-1
April 25, 2024 23:26 35s
Update lean-toolchain continuous integration #24: Pull request #9 opened by alexjbest
April 25, 2024 23:18 34s alexjbest-patch-1
alexjbest-patch-1
April 25, 2024 23:18 34s
Update lean-toolchain continuous integration #23: Commit 7da67f7 pushed by alexjbest
April 25, 2024 23:18 28s alexjbest-patch-1
alexjbest-patch-1
April 25, 2024 23:18 28s
Merge pull request #7 from opencompl/bump-lean-version continuous integration #22: Commit 1299ef3 pushed by alexjbest
February 15, 2024 20:41 56s master
master
February 15, 2024 20:41 56s
Merge pull request #8 from opencompl/clarify-readme continuous integration #21: Commit 5e20cd4 pushed by alexjbest
February 15, 2024 19:11 1m 7s master
master
February 15, 2024 19:11 1m 7s
chore: bump lean version to v4.6.0-rc1, and bump Std accordingly continuous integration #19: Pull request #7 opened by alexkeizer
February 15, 2024 11:56 59s opencompl:bump-lean-version
opencompl:bump-lean-version
February 15, 2024 11:56 59s
more tweaks continuous integration #18: Commit 1b82190 pushed by alexjbest
January 10, 2024 16:53 1m 5s master
master
January 10, 2024 16:53 1m 5s
depr continuous integration #17: Commit c39b792 pushed by alexjbest
January 10, 2024 01:24 1m 0s master
master
January 10, 2024 01:24 1m 0s
bit of cleanup continuous integration #16: Commit 9dea5f6 pushed by alexjbest
January 5, 2024 15:12 1m 0s master
master
January 5, 2024 15:12 1m 0s
read continuous integration #15: Commit 3e476ef pushed by alexjbest
January 5, 2024 14:53 1m 4s master
master
January 5, 2024 14:53 1m 4s
tweaks and test setup continuous integration #14: Commit 16ec657 pushed by alexjbest
January 5, 2024 14:51 1m 3s master
master
January 5, 2024 14:51 1m 3s
exs continuous integration #13: Commit cc0661a pushed by alexjbest
January 4, 2024 23:33 58s master
master
January 4, 2024 23:33 58s
fix continuous integration #12: Commit 93ceafb pushed by alexjbest
January 4, 2024 02:35 57s master
master
January 4, 2024 02:35 57s
try ord continuous integration #11: Commit 3c1f998 pushed by alexjbest
January 4, 2024 02:32 52s master
master
January 4, 2024 02:32 52s
bump continuous integration #10: Commit 744403b pushed by alexjbest
January 4, 2024 02:23 58s master
master
January 4, 2024 02:23 58s
group continuous integration #9: Commit 84551ca pushed by alexjbest
January 4, 2024 01:51 1m 12s master
master
January 4, 2024 01:51 1m 12s
up continuous integration #8: Commit e9aaac3 pushed by alexjbest
January 3, 2024 15:20 1m 19s master
master
January 3, 2024 15:20 1m 19s
add command version continuous integration #7: Commit 2728c2e pushed by alexjbest
January 3, 2024 14:52 1m 20s master
master
January 3, 2024 14:52 1m 20s
up continuous integration #6: Commit 25da35d pushed by alexjbest
January 3, 2024 14:23 1m 13s master
master
January 3, 2024 14:23 1m 13s
more continuous integration #5: Commit c3930de pushed by alexjbest
December 30, 2023 14:23 1m 16s master
master
December 30, 2023 14:23 1m 16s
complete rename continuous integration #4: Commit 549d89c pushed by alexjbest
December 28, 2023 15:11 1m 20s master
master
December 28, 2023 15:11 1m 20s