Skip to content

Actions: OpenLogicProject/OpenLogic

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
59 workflow runs
59 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
fix subfile reference Build LaTeX document #106: Commit d1c117b pushed by rzach
5m 6s master
master
5m 6s
minor improvements; link modl sequent calculus into full text Build LaTeX document #105: Commit f7ebd0a pushed by rzach
5m 21s master
master
5m 21s
typos reported by W25 Logic III students Build LaTeX document #104: Commit 48a9272 pushed by rzach
5m 8s master
master
5m 8s
elaborating on trees Build LaTeX document #103: Commit c2dd8a2 pushed by rzach
4m 57s beastaugh-trees
beastaugh-trees
4m 57s
revise the computability theory chapter Build LaTeX document #102: Commit 383e205 pushed by rzach
5m 0s master
master
5m 0s
Wrap lines to ~80 chars Build LaTeX document #101: Pull request #392 opened by StanFromIreland
5m 2s StanFromIreland:update-docs
StanFromIreland:update-docs
5m 2s
Add basic overview to model theory section (#65) Build LaTeX document #100: Pull request #391 opened by StanFromIreland
5m 6s StanFromIreland:model-theory
StanFromIreland:model-theory
5m 6s
Update workflow to run on PR's and upload build (#148) (#388) Build LaTeX document #99: Commit 796aef8 pushed by rzach
4m 51s master
master
4m 51s
Update workflow to run on PR's and upload build (#148) Build LaTeX document #98: Pull request #388 synchronize by StanFromIreland
5m 14s StanFromIreland:gh-148
StanFromIreland:gh-148
5m 14s