Skip to content

Actions: Shilun-Allan-Li/tcslib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
136 workflow runs
136 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
filter by citation on webstie .github/workflows/push.yml #192: Commit c0dff9a pushed by qedsphere
22m 30s main
main
22m 30s
rebuilt project .github/workflows/push.yml #191: Commit 9f6cc90 pushed by qedsphere
1h 5m 57s main
main
1h 5m 57s
Fix LaTeX errors in GraphTheory/Core blueprint chapters .github/workflows/push.yml #190: Commit d9567d5 pushed by AngelaWuRX
15m 44s main
main
15m 44s
Add GraphTheory/Core blueprint chapters (Bondy & Murty) .github/workflows/push.yml #189: Commit 083ba72 pushed by AngelaWuRX
22m 17s main
main
22m 17s
Add GraphTheory/Core sorry-skeletons for Bondy & Murty chapters .github/workflows/push.yml #188: Commit 9468218 pushed by AngelaWuRX
23m 53s main
main
23m 53s
more citations; untrack the raw dataset .jsonl .github/workflows/push.yml #187: Commit d134c03 pushed by qedsphere
25m 26s main
main
25m 26s
more citations .github/workflows/push.yml #186: Commit 1b221a1 pushed by qedsphere
25m 45s main
main
25m 45s
difficulty regeneration, more proof notes, proof note viewing .github/workflows/push.yml #185: Commit 3163590 pushed by qedsphere
24m 55s main
main
24m 55s
built difficulty .github/workflows/push.yml #184: Commit 93f0829 pushed by qedsphere
23m 45s main
main
23m 45s
viewer in website .github/workflows/push.yml #183: Commit 5a93cfd pushed by qedsphere
24m 33s main
main
24m 33s
pygraphviz c failure fix .github/workflows/push.yml #182: Commit 9adf860 pushed by qedsphere
26m 15s main
main
26m 15s
updated docker image .github/workflows/push.yml #181: Commit 22f3b40 pushed by qedsphere
24m 28s main
main
24m 28s
fixed inline \lean references in blueprint .github/workflows/push.yml #180: Commit 883972c pushed by qedsphere
32m 7s main
main
32m 7s
fixed blueprint build failure (wrapped optional arguments [] in [{}] … .github/workflows/push.yml #179: Commit 7abf233 pushed by qedsphere
48m 6s main
main
48m 6s
partly processed .md's, cleaner build, hopefully website compiles nic… .github/workflows/push.yml #178: Commit 9386f6e pushed by qedsphere
13m 55s main
main
13m 55s
proof notes pipeline .github/workflows/push.yml #177: Commit 213864d pushed by qedsphere
3m 13s main
main
3m 13s
Graph Update: pip in /.claude/worktrees/composed-honking-anchor/blueprint, /.claude/worktrees/encode-go-lemma/blueprint, /.claude/worktrees/fill-sigma-indep/blueprint #1462773112 Dependency Graph #1: by dependabot Bot
31s main
main
31s
difficulty tweaking. Dataset now includes proof entry, and the html v… .github/workflows/push.yml #176: Commit 502287d pushed by qedsphere
3m 19s main
main
3m 19s
final project integration .github/workflows/push.yml #175: Commit cf69f96 pushed by qedsphere
3m 30s main
main
3m 30s
Dataset of formal-natural language theorem statements under closure o… .github/workflows/push.yml #174: Commit 9069dfd pushed by qedsphere
11m 21s main
main
11m 21s
testing out blueprint generation pipeline .github/workflows/push.yml #173: Commit 427032d pushed by qedsphere
12m 3s main
main
12m 3s
Increased heartbeat and other small tweaks to fix some compilation is… .github/workflows/push.yml #172: Commit 63f268b pushed by qedsphere
12m 22s main
main
12m 22s
updated basic imports a little .github/workflows/push.yml #171: Commit 2ed1db2 pushed by qedsphere
3m 11s main
main
3m 11s
Merge branch 'main' of https://github.com/Shilun-Allan-Li/tcslib .github/workflows/push.yml #170: Commit 354fd46 pushed by qedsphere
3m 26s main
main
3m 26s
Small-set expansion .github/workflows/push.yml #169: Commit 9c7f65d pushed by omcginty
15m 16s main
main
15m 16s