Actions: rami3l/plfl
Actions
110 workflow runs
110 workflow runs
lean
to v4.7.0
, pt. 2
Test
#338:
Commit 1a25fc3
pushed
by
rami3l
lean
to v4.7.0
Test
#337:
Pull request #14
synchronize
by
rami3l
lean
to v4.7.0
Test
#336:
Pull request #14
synchronize
by
rami3l
lean
to v4.7.0
Test
#335:
Pull request #14
opened
by
rami3l
lean
to v4.2.0-rc1
Test
#334:
Commit 6c06d5f
pushed
by
rami3l
lean
to v4.7.0
Test
#333:
Commit 739a803
pushed
by
rami3l
lean
to v4.2.0-rc1
Test
#332:
Commit 6c06d5f
pushed
by
rami3l
lean
to v4.2.0-rc1
Test
#331:
Pull request #13
opened
by
rami3l
LICENSE
Test
#330:
Commit d488e38
pushed
by
rami3l
lean
to v4.0.0-rc4
Test
#329:
Commit c599f4f
pushed
by
rami3l
lean
to v4.0.0-rc4
Test
#328:
Pull request #12
synchronize
by
rami3l
lean
to v4.0.0-rc4
Test
#327:
Pull request #12
opened
by
rami3l
ContextualEquivalence
Test
#325:
Commit 0d2c882
pushed
by
rami3l
Adequacy
Test
#324:
Pull request #11
synchronize
by
rami3l
Adequacy
Test
#323:
Pull request #11
synchronize
by
rami3l
Adequacy
Test
#322:
Pull request #11
synchronize
by
rami3l
Adequacy
Test
#321:
Pull request #11
synchronize
by
rami3l
Adequacy
Test
#320:
Pull request #11
synchronize
by
rami3l
Adequacy
Test
#319:
Pull request #11
synchronize
by
rami3l
Adequacy
Test
#318:
Pull request #11
synchronize
by
rami3l
Adequacy
Test
#317:
Pull request #11
synchronize
by
rami3l
Adequacy
Test
#316:
Pull request #11
synchronize
by
rami3l
Adequacy
Test
#315:
Pull request #11
synchronize
by
rami3l
Adequacy
Test
#314:
Pull request #11
synchronize
by
rami3l