Skip to content

Actions: isotope-project/ssa-densem

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
201 workflow runs
201 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

foo Build LaTeX document #201: Commit 84435c3 pushed by neel-krishnaswami
December 12, 2024 10:44 1m 48s main
main
December 12, 2024 10:44 1m 48s
Removed unnecessary rules Build LaTeX document #200: Commit 3365b68 pushed by imbrem
December 1, 2024 21:06 1m 59s main
main
December 1, 2024 21:06 1m 59s
Removed let1-pair rule Build LaTeX document #199: Commit 7c428fd pushed by imbrem
December 1, 2024 20:28 1m 50s main
main
December 1, 2024 20:28 1m 50s
Cleanup definitions further Build LaTeX document #198: Commit ac767d1 pushed by imbrem
November 17, 2024 19:05 2m 12s main
main
November 17, 2024 19:05 2m 12s
Fixed buggy definitions :( Build LaTeX document #197: Commit 9e226be pushed by imbrem
November 16, 2024 18:35 1m 48s main
main
November 16, 2024 18:35 1m 48s
fixed naming typo Build LaTeX document #196: Commit 24b877c pushed by neel-krishnaswami
November 14, 2024 10:32 1m 45s main
main
November 14, 2024 10:32 1m 45s
final stuff Build LaTeX document #195: Commit feec5fc pushed by neel-krishnaswami
November 14, 2024 10:25 1m 50s main
main
November 14, 2024 10:25 1m 50s
Added funding acks and arxiv target Build LaTeX document #194: Commit 7292457 pushed by neel-krishnaswami
November 13, 2024 10:15 1m 44s main
main
November 13, 2024 10:15 1m 44s
spelling mistakes Build LaTeX document #193: Commit 2623230 pushed by neel-krishnaswami
November 7, 2024 17:14 1m 47s main
main
November 7, 2024 17:14 1m 47s
edits to sec 6 Build LaTeX document #192: Commit 32fc161 pushed by neel-krishnaswami
November 7, 2024 10:50 1m 48s main
main
November 7, 2024 10:50 1m 48s
Adjusted notation Build LaTeX document #191: Commit 27415a9 pushed by imbrem
November 7, 2024 09:37 1m 45s main
main
November 7, 2024 09:37 1m 45s
finished section 5 Build LaTeX document #190: Commit 5982d89 pushed by neel-krishnaswami
November 5, 2024 16:14 2m 11s main
main
November 5, 2024 16:14 2m 11s
Extension runes Build LaTeX document #189: Commit 1bd4222 pushed by imbrem
November 4, 2024 04:20 2m 9s main
main
November 4, 2024 04:20 2m 9s
Added formalization pointers Build LaTeX document #188: Commit b51678f pushed by imbrem
November 4, 2024 04:10 1m 49s main
main
November 4, 2024 04:10 1m 49s
Soundness Build LaTeX document #187: Commit 72d3f71 pushed by imbrem
November 4, 2024 03:13 2m 13s main
main
November 4, 2024 03:13 2m 13s
Work on soundness of equational theory Build LaTeX document #186: Commit fd9336d pushed by imbrem
November 4, 2024 02:14 1m 48s main
main
November 4, 2024 02:14 1m 48s
where-fusion diagram Build LaTeX document #185: Commit d2e213d pushed by imbrem
November 3, 2024 18:21 1m 41s main
main
November 3, 2024 18:21 1m 41s
String diagrams for cfg-fuse1 Build LaTeX document #184: Commit df87c2c pushed by imbrem
November 3, 2024 14:19 1m 51s main
main
November 3, 2024 14:19 1m 51s
Most of where-fusion Build LaTeX document #183: Commit 790d20d pushed by imbrem
November 3, 2024 12:58 1m 43s main
main
November 3, 2024 12:58 1m 43s
Tap Build LaTeX document #182: Commit 6263157 pushed by imbrem
November 1, 2024 23:56 1m 45s main
main
November 1, 2024 23:56 1m 45s
Weakening Build LaTeX document #181: Commit 9b1f03c pushed by imbrem
November 1, 2024 21:43 1m 45s main
main
November 1, 2024 21:43 1m 45s
Most region cases Build LaTeX document #180: Commit 7bd5e76 pushed by imbrem
November 1, 2024 21:21 1m 49s main
main
November 1, 2024 21:21 1m 49s
Weakening for branches Build LaTeX document #179: Commit f6c320b pushed by imbrem
November 1, 2024 20:40 1m 48s main
main
November 1, 2024 20:40 1m 48s
Tap Build LaTeX document #178: Commit c2a75e5 pushed by imbrem
November 1, 2024 19:43 1m 55s main
main
November 1, 2024 19:43 1m 55s
Variable weakening case Build LaTeX document #177: Commit a21becf pushed by imbrem
November 1, 2024 19:02 1m 50s main
main
November 1, 2024 19:02 1m 50s