Skip to content

Actions: winitzki/scall

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
395 workflow runs
395 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
refactor tests into a separate file scall_build_and_test #1064: Commit d2d9f60 pushed by winitzki
3m 23s feature/ordered-set
feature/ordered-set
3m 23s
wip adding some benchmarking files scall_build_and_test #1063: Commit 0a408c9 pushed by winitzki
2m 11s feature/ordered-set
feature/ordered-set
2m 11s
Implement Okasaki's red-black tree in Dhall scall_build_and_test #1062: Commit 4e9f04b pushed by winitzki
19m 33s feature/ordered-set
feature/ordered-set
19m 33s
add yoneda-implemeted lists scall_build_and_test #1061: Commit 2ee3f5f pushed by winitzki
2m 52s master
master
2m 52s
wip scall_build_and_test #1060: Commit 0d7a1ac pushed by winitzki
41m 15s master
master
41m 15s
fix breakage scall_build_and_test #1059: Commit d65b56f pushed by winitzki
2m 15s master
master
2m 15s
formatting of back title text scall_build_and_test #1058: Commit b495bd5 pushed by winitzki
26m 32s master
master
26m 32s
minor corrections scall_build_and_test #1057: Commit 9a6997b pushed by winitzki
27m 11s master
master
27m 11s
minor change scall_build_and_test #1056: Commit 06b9bf2 pushed by winitzki
3m 2s master
master
3m 2s
add barcode scall_build_and_test #1055: Commit ece8a40 pushed by winitzki
2m 11s master
master
2m 11s
update System F\omega scall_build_and_test #1054: Commit 5421165 pushed by winitzki
2m 10s master
master
2m 10s
insert git commit scall_build_and_test #1053: Commit e7d3119 pushed by winitzki
2m 55s master
master
2m 55s
fix titleback scall_build_and_test #1052: Commit d7f9cf0 pushed by winitzki
47m 57s master
master
47m 57s
Feature/final corrections (#47) scall_build_and_test #1051: Commit c757695 pushed by winitzki
30m 55s master
master
30m 55s
finished all corrections scall_build_and_test #1050: Commit 2cecba9 pushed by winitzki
2m 10s feature/final_corrections
feature/final_corrections
2m 10s
wip appendix b scall_build_and_test #1049: Commit 91aba0e pushed by winitzki
2m 19s feature/final_corrections
feature/final_corrections
2m 19s
wip scall_build_and_test #1048: Commit 052a63b pushed by winitzki
2m 12s feature/final_corrections
feature/final_corrections
2m 12s
wip appendix b scall_build_and_test #1047: Commit 7f0e043 pushed by winitzki
2m 18s feature/final_corrections
feature/final_corrections
2m 18s
corrections in appendix A scall_build_and_test #1046: Commit ddd636f pushed by winitzki
2m 17s feature/final_corrections
feature/final_corrections
2m 17s
wip appendix corrections scall_build_and_test #1045: Commit 9d5a48f pushed by winitzki
2m 12s feature/final_corrections
feature/final_corrections
2m 12s
wip corrections in chapter 19 scall_build_and_test #1044: Commit 356cbe3 pushed by winitzki
2m 19s feature/final_corrections
feature/final_corrections
2m 19s
corrections in chapter 17 scall_build_and_test #1043: Commit 16f16bf pushed by winitzki
2m 18s feature/final_corrections
feature/final_corrections
2m 18s
corrections in chapter 15 scall_build_and_test #1042: Commit 4763e9f pushed by winitzki
2m 18s feature/final_corrections
feature/final_corrections
2m 18s
wip chapter 15 corrections scall_build_and_test #1041: Commit 38c40e7 pushed by winitzki
2m 17s feature/final_corrections
feature/final_corrections
2m 17s
corrections in chapter 14 scall_build_and_test #1040: Commit 212b80a pushed by winitzki
2m 12s feature/final_corrections
feature/final_corrections
2m 12s