Skip to content

Actions: rami3l/plfl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
137 workflow runs
137 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
chore(deps): upgrade lean to v4.2.0-rc1 Test #332: Commit 6c06d5f pushed by rami3l
October 15, 2023 02:13 5m 8s master
master
October 15, 2023 02:13 5m 8s
chore(deps): upgrade lean to v4.2.0-rc1 Test #331: Pull request #13 opened by rami3l
October 15, 2023 02:07 5m 28s deps/lean-420
deps/lean-420
October 15, 2023 02:07 5m 28s
chore: create LICENSE Test #330: Commit d488e38 pushed by rami3l
September 3, 2023 11:42 1m 42s master
master
September 3, 2023 11:42 1m 42s
chore(deps): upgrade lean to v4.0.0-rc4 Test #329: Commit c599f4f pushed by rami3l
September 2, 2023 10:31 5m 17s master
master
September 2, 2023 10:31 5m 17s
chore(deps): upgrade lean to v4.0.0-rc4 Test #328: Pull request #12 synchronize by rami3l
September 2, 2023 10:26 1m 47s chore/deps
chore/deps
September 2, 2023 10:26 1m 47s
chore(deps): upgrade lean to v4.0.0-rc4 Test #327: Pull request #12 opened by rami3l
September 2, 2023 09:24 6m 16s chore/deps
chore/deps
September 2, 2023 09:24 6m 16s
chore: update links Test #326: Commit 24e9368 pushed by rami3l
August 3, 2023 02:10 1m 17s master
master
August 3, 2023 02:10 1m 17s
feat: impl ContextualEquivalence Test #325: Commit 0d2c882 pushed by rami3l
August 2, 2023 14:00 5m 17s master
master
August 2, 2023 14:00 5m 17s
feat: impl Adequacy Test #324: Pull request #11 synchronize by rami3l
August 2, 2023 13:57 1m 48s feat/adequacy
feat/adequacy
August 2, 2023 13:57 1m 48s
feat: impl Adequacy Test #323: Pull request #11 synchronize by rami3l
August 2, 2023 13:05 1m 33s feat/adequacy
feat/adequacy
August 2, 2023 13:05 1m 33s
feat: impl Adequacy Test #322: Pull request #11 synchronize by rami3l
August 2, 2023 12:07 1m 27s feat/adequacy
feat/adequacy
August 2, 2023 12:07 1m 27s
feat: impl Adequacy Test #321: Pull request #11 synchronize by rami3l
August 2, 2023 11:21 1m 49s feat/adequacy
feat/adequacy
August 2, 2023 11:21 1m 49s
feat: impl Adequacy Test #320: Pull request #11 synchronize by rami3l
August 2, 2023 11:04 1m 55s feat/adequacy
feat/adequacy
August 2, 2023 11:04 1m 55s
feat: impl Adequacy Test #319: Pull request #11 synchronize by rami3l
August 2, 2023 10:31 1m 45s feat/adequacy
feat/adequacy
August 2, 2023 10:31 1m 45s
feat: impl Adequacy Test #318: Pull request #11 synchronize by rami3l
August 2, 2023 09:26 5m 54s feat/adequacy
feat/adequacy
August 2, 2023 09:26 5m 54s
feat: impl Adequacy Test #317: Pull request #11 synchronize by rami3l
August 2, 2023 02:22 2m 12s feat/adequacy
feat/adequacy
August 2, 2023 02:22 2m 12s
feat: impl Adequacy Test #316: Pull request #11 synchronize by rami3l
August 2, 2023 01:41 2m 0s feat/adequacy
feat/adequacy
August 2, 2023 01:41 2m 0s
feat: impl Adequacy Test #315: Pull request #11 synchronize by rami3l
August 2, 2023 01:27 2m 5s feat/adequacy
feat/adequacy
August 2, 2023 01:27 2m 5s
feat: impl Adequacy Test #314: Pull request #11 synchronize by rami3l
August 2, 2023 00:17 2m 1s feat/adequacy
feat/adequacy
August 2, 2023 00:17 2m 1s