Skip to content

Actions: feffemannen/LogicalTheory

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
9 workflow runs
9 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'OpenLogicProject:master' into openlogic Build LaTeX document #68: Commit c3af8f6 pushed by greleigh
December 5, 2023 16:49 4m 53s openlogic
openlogic
December 5, 2023 16:49 4m 53s
Update compactness.tex Build LaTeX document #67: Commit 644acc6 pushed by rzach
December 5, 2023 16:42 5m 23s openlogic
openlogic
December 5, 2023 16:42 5m 23s
A tiny bit more explanation in the changes for the infinitesimal example Build LaTeX document #66: Commit 2cb8b80 pushed by rzach
December 5, 2023 15:51 4m 57s openlogic
openlogic
December 5, 2023 15:51 4m 57s
Update compactness.tex Build LaTeX document #65: Commit 0e4cbec pushed by greleigh
December 3, 2023 08:54 5m 7s openlogic
openlogic
December 3, 2023 08:54 5m 7s
Merge branch 'openlogic' Build LaTeX document #64: Commit 723b9cd pushed by greleigh
December 2, 2023 10:39 4m 53s master
master
December 2, 2023 10:39 4m 53s
compactness example Build LaTeX document #63: Commit eabcb77 pushed by greleigh
December 2, 2023 10:33 5m 20s openlogic
openlogic
December 2, 2023 10:33 5m 20s
Merge branch 'OpenLogicProject:master' into openlogic Build LaTeX document #62: Commit 1f5357d pushed by greleigh
December 2, 2023 10:18 5m 5s openlogic
openlogic
December 2, 2023 10:18 5m 5s
compactness example Build LaTeX document #61: Commit ec7fbb5 pushed by greleigh
December 2, 2023 10:17 5m 22s openlogic
openlogic
December 2, 2023 10:17 5m 22s
update pdf Build LaTeX document #60: Commit 9da2cec pushed by greleigh
December 2, 2023 09:57 5m 18s master
master
December 2, 2023 09:57 5m 18s