Skip to content

Actions: benediktahrens/CT4P

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16 workflow runs
16 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #61 from KobeWullaert/Inductive Build #103: Commit c1df5ab pushed by benediktahrens
1m 57s master
master
1m 57s
Merge pull request #60 from KobeWullaert/NatTrans Build #102: Commit cb1adca pushed by benediktahrens
2m 0s master
master
2m 0s
Merge pull request #57 from diode-lang/master Build #101: Commit 857b9aa pushed by benediktahrens
2m 37s master
master
2m 37s
Refactoring and elaboration on inductive types Build #100: Pull request #61 opened by KobeWullaert
1m 50s KobeWullaert:Inductive
KobeWullaert:Inductive
1m 50s
Chapter on natural transformations Build #99: Pull request #60 opened by KobeWullaert
2m 20s KobeWullaert:NatTrans
KobeWullaert:NatTrans
2m 20s
Merge pull request #59 from sheepmax/master Build #98: Commit 61d16c5 pushed by benediktahrens
1m 57s master
master
1m 57s
Fix eta commutivity diagram for monads Build #97: Pull request #59 opened by sheepmax
2m 2s sheepmax:master
sheepmax:master
2m 2s
Moves solution of Ex230 to correct place Build #96: Pull request #57 opened by atejandev
1m 53s atejandev:master
atejandev:master
1m 53s
fix typo Build #95: Commit fdde3c0 pushed by benediktahrens
2m 16s master
master
2m 16s
fix cleveref setup Build #94: Commit 93f2a69 pushed by benediktahrens
2m 3s master
master
2m 3s
more intro Build #93: Commit ab46fdf pushed by benediktahrens
2m 24s master
master
2m 24s
small changes to notes Build #92: Commit dfeb1d8 pushed by benediktahrens
1m 52s master
master
1m 52s
more on datatypes Build #91: Commit 68d4131 pushed by benediktahrens
2m 15s master
master
2m 15s
small corrections Build #90: Commit 954a340 pushed by benediktahrens
1m 52s master
master
1m 52s
foundations Build #89: Commit 6ca5792 pushed by benediktahrens
1m 58s master
master
1m 58s
change document class to scrbook Build #88: Commit a180c19 pushed by benediktahrens
1m 51s master
master
1m 51s