Skip to content

Actions: Cypher1/tako

tako

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
169 workflow runs
169 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

TMP - modified
tako #172: Commit 051773c pushed by Cypher1
September 15, 2024 04:46 2m 49s stagingExamples
September 15, 2024 04:46 2m 49s
Think about more test cases
tako #171: Commit 2698d6f pushed by Cypher1
September 14, 2024 16:46 2m 33s stagingExamples
September 14, 2024 16:46 2m 33s
Split parser module error, tests code into sub modules
tako #170: Commit d8c1f2e pushed by Cypher1
September 14, 2024 15:34 2m 31s stagingExamples
September 14, 2024 15:34 2m 31s
TMP - modified
tako #169: Commit fae323f pushed by Cypher1
September 14, 2024 09:54 2m 48s stagingExamples
September 14, 2024 09:54 2m 48s
TMP - added
tako #168: Commit 9bf9026 pushed by Cypher1
September 8, 2024 14:53 1m 14s stagingExamples
September 8, 2024 14:53 1m 14s
Merge bindings and call_or_definition
tako #167: Commit d3fc721 pushed by Cypher1
September 8, 2024 08:35 1m 16s stagingExamples
September 8, 2024 08:35 1m 16s
Add tests for forall bindings in call arguments
tako #166: Commit 64e0572 pushed by Cypher1
September 8, 2024 02:22 1m 26s stagingExamples
September 8, 2024 02:22 1m 26s
Fmt
tako #165: Commit 5deb4ee pushed by Cypher1
September 7, 2024 08:20 9m 21s stagingExamples
September 7, 2024 08:20 9m 21s
September 7, 2024 08:20 3m 21s
Clean up example syntax
tako #163: Commit 4462b4d pushed by Cypher1
August 11, 2024 16:09 1m 35s stagingExamples
August 11, 2024 16:09 1m 35s
TMP
tako #162: Commit ef329f5 pushed by Cypher1
August 11, 2024 06:53 1m 22s stagingExamples
August 11, 2024 06:53 1m 22s
Fmt
tako #161: Commit 3103cbc pushed by Cypher1
August 8, 2024 12:19 1m 17s stagingExamples
August 8, 2024 12:19 1m 17s
Improvements to error handling
tako #160: Commit a6410fe pushed by Cypher1
August 8, 2024 09:23 9m 53s stagingExamples
August 8, 2024 09:23 9m 53s
Support infix and postfix binding types
tako #158: Commit e29f003 pushed by Cypher1
August 5, 2024 06:01 3m 41s stagingExamples
August 5, 2024 06:01 3m 41s
Handle paren groups
tako #157: Commit c8da89c pushed by Cypher1
June 6, 2024 07:34 3m 32s stagingExamples
June 6, 2024 07:34 3m 32s
TMP - added
tako #156: Commit 18b2ed1 pushed by Cypher1
May 20, 2024 07:05 2m 57s stagingExamples
May 20, 2024 07:05 2m 57s
docs: update .all-contributorsrc
tako #155: Commit 75c4047 pushed by Cypher1
May 18, 2024 17:52 2m 39s main
May 18, 2024 17:52 2m 39s
docs: update README.md
tako #153: Commit ee2e38f pushed by allcontributors bot
May 18, 2024 17:46 3m 0s all-contributors/add-cypher1
May 18, 2024 17:46 3m 0s
Update contributors
tako #152: Commit cc0fe70 pushed by allcontributors bot
May 18, 2024 17:46 2m 38s all-contributors/add-cypher1
May 18, 2024 17:46 2m 38s
Update contributors
tako #151: Commit cc0fe70 pushed by Cypher1
May 18, 2024 17:45 2m 47s main
May 18, 2024 17:45 2m 47s
Update contributors
tako #150: Commit a574c9c pushed by Cypher1
May 18, 2024 17:43 2m 40s updateContributors
May 18, 2024 17:43 2m 40s
Update contributors
tako #149: Commit 666ecc1 pushed by Cypher1
May 18, 2024 17:41 2m 40s updateContributors
May 18, 2024 17:41 2m 40s
Clean up inefficient token handling
tako #148: Commit ca3dd1d pushed by Cypher1
May 16, 2024 11:12 2m 47s stagingExamples
May 16, 2024 11:12 2m 47s