Workflow runs · asaparov/PWL · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

2 workflow runs

2 workflow runs

Updated the unit tests in higher_order_logic_test.cpp so they are now… Build and Push Docker Image #2: Commit f3d7772 pushed by asaparov

January 9, 2025 09:05

14s main

main

January 9, 2025 09:05

14s

Minor change to output when reasoning about closed interrogative quer… Build and Push Docker Image #1: Commit 2b4fcaa pushed by asaparov

January 8, 2025 03:39

13s main

main

January 8, 2025 03:39

13s