Skip to content

Actions: whitemech/pylogics

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
39 workflow runs
39 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add preliminary support for First-Order Logic
docs #220: Pull request #140 opened by marcofavorito
January 7, 2024 23:10 31s fol
fol
January 7, 2024 23:10 31s
Add preliminary support for First-Order Logic
test #220: Pull request #140 opened by marcofavorito
January 7, 2024 23:10 4m 26s fol
fol
January 7, 2024 23:10 4m 26s
Add preliminary support for First-Order Logic
lint #220: Pull request #140 opened by marcofavorito
January 7, 2024 23:10 20s fol
fol
January 7, 2024 23:10 20s
update LICENSE to MIT
docs #219: Pull request #139 synchronize by marcofavorito
January 7, 2024 20:26 29s change-license
January 7, 2024 20:26 29s
update LICENSE to MIT
test #219: Pull request #139 synchronize by marcofavorito
January 7, 2024 20:26 4m 35s change-license
January 7, 2024 20:26 4m 35s
update LICENSE to MIT
lint #219: Pull request #139 synchronize by marcofavorito
January 7, 2024 20:26 46s change-license
January 7, 2024 20:26 46s
update LICENSE to MIT
test #218: Pull request #139 opened by marcofavorito
January 7, 2024 20:08 4m 39s change-license
January 7, 2024 20:08 4m 39s
update LICENSE to MIT
lint #218: Pull request #139 opened by marcofavorito
January 7, 2024 20:08 51s change-license
January 7, 2024 20:08 51s
update LICENSE to MIT
docs #218: Pull request #139 opened by marcofavorito
January 7, 2024 20:08 34s change-license
January 7, 2024 20:08 34s