Skip to content

Actions: IDNI/tau-lang

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,813 workflow runs
1,813 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

allowing type inference for tau ba constants CMake #239: Commit f7ee567 pushed by castrod
December 5, 2023 09:46 6m 14s main
main
December 5, 2023 09:46 6m 14s
adding make_tau_using... build methods CMake #238: Commit 1c45518 pushed by castrod
December 5, 2023 08:41 5m 7s main
main
December 5, 2023 08:41 5m 7s
speccing out tau boolean algebra and factory CMake #237: Commit 670d011 pushed by castrod
December 5, 2023 07:28 5m 13s main
main
December 5, 2023 07:28 5m 13s
adding one more tau exmaple CMake #236: Commit 9b16f93 pushed by castrod
December 4, 2023 17:00 6m 3s main
main
December 4, 2023 17:00 6m 3s
adding one more tau example CMake #235: Commit 13bca54 pushed by castrod
December 4, 2023 16:22 6m 18s main
main
December 4, 2023 16:22 6m 18s
adding more tau examples CMake #234: Commit ae339b3 pushed by castrod
December 4, 2023 14:27 7m 0s main
main
December 4, 2023 14:27 7m 0s
fixing error in apply CMake #233: Commit eb3af26 pushed by castrod
December 4, 2023 14:27 6m 26s main
main
December 4, 2023 14:27 6m 26s
Defining <, >, <=, == n' != in terms of =0 n' !=0 CMake #232: Commit 33ccca6 pushed by castrod
December 4, 2023 11:23 6m 24s main
main
December 4, 2023 11:23 6m 24s
updating samples to new operator symbols CMake #231: Commit 28a460a pushed by castrod
December 1, 2023 12:01 5m 22s main
main
December 1, 2023 12:01 5m 22s
adding conditional wff operator (wff ? wff : wff) CMake #230: Commit b94a8a7 pushed by castrod
December 1, 2023 11:26 5m 49s main
main
December 1, 2023 11:26 5m 49s
removing wff_coimply CMake #229: Commit 0d1279c pushed by castrod
December 1, 2023 10:34 7m 21s main
main
December 1, 2023 10:34 7m 21s
Merge branch 'main' of https://github.com/IDNI/tau-lang CMake #228: Commit d494d23 pushed by castrod
December 1, 2023 10:14 5m 7s main
main
December 1, 2023 10:14 5m 7s
fix warnings and trim whitespace CMake #227: Commit 29feec1 pushed by tklip
November 30, 2023 14:47 5m 44s main
main
November 30, 2023 14:47 5m 44s
removing cbf CMake #226: Commit 1a5157a pushed by castrod
November 30, 2023 11:24 5m 52s main
main
November 30, 2023 11:24 5m 52s
minor change in normalizer execution CMake #225: Commit 827c1db pushed by castrod
November 29, 2023 12:01 5m 54s main
main
November 29, 2023 12:01 5m 54s
trimming normalizer execution CMake #224: Commit 97f3832 pushed by castrod
November 29, 2023 11:28 8m 25s main
main
November 29, 2023 11:28 8m 25s
adding regression infra CMake #223: Commit d39c2a0 pushed by castrod
November 28, 2023 16:19 6m 24s main
main
November 28, 2023 16:19 6m 24s
adding missing steps CMake #222: Commit 9a3f019 pushed by castrod
November 28, 2023 13:35 8m 26s main
main
November 28, 2023 13:35 8m 26s
removing BF_ROTATE_LITERALS_X as no further needed CMake #221: Commit 37fecc2 pushed by castrod
November 28, 2023 13:12 6m 3s main
main
November 28, 2023 13:12 6m 3s
reviewing TODOs CMake #220: Commit 06b2cda pushed by castrod
November 28, 2023 12:25 7m 34s main
main
November 28, 2023 12:25 7m 34s
further improvemts in debug info CMake #219: Commit 717a368 pushed by castrod
November 28, 2023 11:48 6m 0s main
main
November 28, 2023 11:48 6m 0s
improvements in debugging output CMake #218: Commit b4a8dd5 pushed by castrod
November 28, 2023 11:38 6m 12s main
main
November 28, 2023 11:38 6m 12s
adding another sample for debug_tau_normalizer CMake #217: Commit a370428 pushed by castrod
November 28, 2023 11:29 8m 10s main
main
November 28, 2023 11:29 8m 10s
adding sample tau prog for debug_tau_normalizer CMake #216: Commit 2af1422 pushed by castrod
November 28, 2023 11:24 5m 46s main
main
November 28, 2023 11:24 5m 46s
adding doxygen configuration CMake #215: Commit b50142f pushed by castrod
November 28, 2023 11:21 5m 55s main
main
November 28, 2023 11:21 5m 55s
ProTip! You can narrow down the results and go further in time using created:<2023-11-28 or the other filters available.