Skip to content

Actions: rami3l/plfl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore(deps): (wip) upgrade lean to v4.7.0, pt. 2 Test #338: Commit 1a25fc3 pushed by rami3l
May 2, 2024 03:25 2m 13s master
master
May 2, 2024 03:25 2m 13s
chore(deps): upgrade lean to v4.7.0 Test #337: Pull request #14 synchronize by rami3l
May 2, 2024 02:24 2m 31s deps/lean-4-7-0
deps/lean-4-7-0
May 2, 2024 02:24 2m 31s
chore(deps): upgrade lean to v4.7.0 Test #336: Pull request #14 synchronize by rami3l
May 2, 2024 02:23 40s deps/lean-4-7-0
deps/lean-4-7-0
May 2, 2024 02:23 40s
chore(deps): upgrade lean to v4.7.0 Test #335: Pull request #14 opened by rami3l
May 1, 2024 15:40 2m 18s deps/lean-4-7-0
deps/lean-4-7-0
May 1, 2024 15:40 2m 18s
chore(deps): upgrade lean to v4.2.0-rc1 Test #334: Commit 6c06d5f pushed by rami3l
May 1, 2024 15:38 4m 2s master
master
May 1, 2024 15:38 4m 2s
chore(deps): (wip) upgrade lean to v4.7.0 Test #333: Commit 739a803 pushed by rami3l
May 1, 2024 15:36 2m 10s master
master
May 1, 2024 15:36 2m 10s