Skip to content

Actions: winitzki/scall

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
638 workflow runs
638 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

more examples for symbolic grph scall_build_and_test #638: Commit 59e8b4e pushed by winitzki
November 26, 2024 20:08 4m 33s feature/tutorial-6
feature/tutorial-6
November 26, 2024 20:08 4m 33s
Continue working on the tutorial, PR part 5 (#42) scall_build_and_test #637: Commit 16fc6fe pushed by winitzki
November 25, 2024 08:25 35m 43s master
master
November 25, 2024 08:25 35m 43s
wip fix scall_build_and_test #636: Commit 5f7e37a pushed by winitzki
November 24, 2024 20:25 15m 22s feature/tutorial-5
feature/tutorial-5
November 24, 2024 20:25 15m 22s
downgrade sbt scall_build_and_test #635: Commit 6064a8a pushed by winitzki
November 24, 2024 20:09 4m 10s feature/tutorial-5
feature/tutorial-5
November 24, 2024 20:09 4m 10s
reformat scall_build_and_test #634: Commit a0ecb66 pushed by winitzki
November 24, 2024 19:45 5m 34s feature/tutorial-5
feature/tutorial-5
November 24, 2024 19:45 5m 34s
wip scall_build_and_test #633: Commit e3fd260 pushed by winitzki
November 22, 2024 19:57 2m 46s feature/tutorial-5
feature/tutorial-5
November 22, 2024 19:57 2m 46s
update scala versions scall_build_and_test #632: Commit 21ccb0e pushed by winitzki
November 22, 2024 13:24 4m 14s feature/tutorial-5
feature/tutorial-5
November 22, 2024 13:24 4m 14s
fixing compile scall_build_and_test #631: Commit cc43445 pushed by winitzki
November 22, 2024 07:20 3m 11s feature/tutorial-5
feature/tutorial-5
November 22, 2024 07:20 3m 11s
finish examples of filter for CList scall_build_and_test #630: Commit 3290794 pushed by winitzki
November 21, 2024 12:20 13m 6s feature/tutorial-5
feature/tutorial-5
November 21, 2024 12:20 13m 6s
wip towards CList example scall_build_and_test #629: Commit 664884c pushed by winitzki
November 19, 2024 21:21 13m 11s feature/tutorial-5
feature/tutorial-5
November 19, 2024 21:21 13m 11s
wip filterable lfix example scall_build_and_test #628: Commit 3482448 pushed by winitzki
November 19, 2024 14:54 13m 20s feature/tutorial-5
feature/tutorial-5
November 19, 2024 14:54 13m 20s
cleanup dependent pair stuff scall_build_and_test #627: Commit 3d34e79 pushed by winitzki
November 14, 2024 10:35 12m 48s feature/tutorial-5
feature/tutorial-5
November 14, 2024 10:35 12m 48s
wip scall_build_and_test #626: Commit 870bf6f pushed by winitzki
November 13, 2024 20:55 42m 0s feature/tutorial-5
feature/tutorial-5
November 13, 2024 20:55 42m 0s
equivalence for functions from dependent pairs scall_build_and_test #625: Commit 2d14dc8 pushed by winitzki
November 13, 2024 20:52 28m 51s feature/tutorial-5
feature/tutorial-5
November 13, 2024 20:52 28m 51s
singleton types scall_build_and_test #624: Commit 848cdb7 pushed by winitzki
November 2, 2024 15:16 13m 16s feature/tutorial-5
feature/tutorial-5
November 2, 2024 15:16 13m 16s
fix tutorial scall_build_and_test #623: Commit c3ff858 pushed by winitzki
November 1, 2024 19:28 13m 29s feature/tutorial-5
feature/tutorial-5
November 1, 2024 19:28 13m 29s
finished Leibniz inequality types scall_build_and_test #622: Commit c5f3b9d pushed by winitzki
October 31, 2024 15:00 13m 35s feature/tutorial-5
feature/tutorial-5
October 31, 2024 15:00 13m 35s
wip scall_build_and_test #621: Commit 12ff4f5 pushed by winitzki
October 30, 2024 20:14 13m 33s feature/tutorial-5
feature/tutorial-5
October 30, 2024 20:14 13m 33s
wip scall_build_and_test #620: Commit 2581f65 pushed by winitzki
October 29, 2024 20:33 13m 43s feature/tutorial-5
feature/tutorial-5
October 29, 2024 20:33 13m 43s
fix typo scall_build_and_test #619: Commit aa53cf6 pushed by winitzki
October 28, 2024 20:57 13m 30s feature/tutorial-5
feature/tutorial-5
October 28, 2024 20:57 13m 30s
wip scall_build_and_test #618: Commit adea691 pushed by winitzki
October 28, 2024 20:55 13m 44s feature/tutorial-5
feature/tutorial-5
October 28, 2024 20:55 13m 44s
improved precision for sqrt scall_build_and_test #617: Commit df6ef7b pushed by winitzki
October 22, 2024 13:04 13m 51s feature/tutorial-5
feature/tutorial-5
October 22, 2024 13:04 13m 51s
first working draft version of sqrt scall_build_and_test #616: Commit aa1b446 pushed by winitzki
October 20, 2024 08:53 13m 38s feature/tutorial-5
feature/tutorial-5
October 20, 2024 08:53 13m 38s
Continue working on the tutorial (#41) scall_build_and_test #615: Commit 2fd2455 pushed by winitzki
October 18, 2024 13:40 13m 51s master
master
October 18, 2024 13:40 13m 51s
wip scall_build_and_test #614: Commit 47b9f25 pushed by winitzki
October 18, 2024 12:12 13m 37s feature/tutorial-4c
feature/tutorial-4c
October 18, 2024 12:12 13m 37s