Skip to content

Actions: Cypher1/tako

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
528 workflow runs
528 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

TMP - modified
takolib #600: Commit 051773c pushed by Cypher1
September 15, 2024 04:46 1m 35s stagingExamples
September 15, 2024 04:46 1m 35s
TMP - modified
tako #172: Commit 051773c pushed by Cypher1
September 15, 2024 04:46 2m 49s stagingExamples
September 15, 2024 04:46 2m 49s
TMP - modified
takoweb #172: Commit 051773c pushed by Cypher1
September 15, 2024 04:46 35s stagingExamples
September 15, 2024 04:46 35s
Think about more test cases
takoweb #171: Commit 2698d6f pushed by Cypher1
September 14, 2024 16:46 30s stagingExamples
September 14, 2024 16:46 30s
Think about more test cases
takolib #599: Commit 2698d6f pushed by Cypher1
September 14, 2024 16:46 1m 36s stagingExamples
September 14, 2024 16:46 1m 36s
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
takolib #598: Commit d8c1f2e pushed by Cypher1
September 14, 2024 15:34 1m 22s stagingExamples
September 14, 2024 15:34 1m 22s
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
Split parser module error, tests code into sub modules
takoweb #170: Commit d8c1f2e pushed by Cypher1
September 14, 2024 15:34 36s stagingExamples
September 14, 2024 15:34 36s
TMP - modified
takolib #597: Commit fae323f pushed by Cypher1
September 14, 2024 09:54 1m 22s stagingExamples
September 14, 2024 09:54 1m 22s
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 - modified
takoweb #169: Commit fae323f pushed by Cypher1
September 14, 2024 09:54 32s stagingExamples
September 14, 2024 09:54 32s
TMP - added
takolib #596: Commit 9bf9026 pushed by Cypher1
September 8, 2024 14:53 1m 20s stagingExamples
September 8, 2024 14:53 1m 20s
TMP - added
tako #168: Commit 9bf9026 pushed by Cypher1
September 8, 2024 14:53 1m 14s stagingExamples
September 8, 2024 14:53 1m 14s
TMP - added
takoweb #168: Commit 9bf9026 pushed by Cypher1
September 8, 2024 14:53 41s stagingExamples
September 8, 2024 14:53 41s
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
Merge bindings and call_or_definition
takolib #595: Commit d3fc721 pushed by Cypher1
September 8, 2024 08:35 1m 4s stagingExamples
September 8, 2024 08:35 1m 4s
Merge bindings and call_or_definition
takoweb #167: Commit d3fc721 pushed by Cypher1
September 8, 2024 08:35 41s stagingExamples
September 8, 2024 08:35 41s
Add tests for forall bindings in call arguments
takoweb #166: Commit 64e0572 pushed by Cypher1
September 8, 2024 02:22 36s stagingExamples
September 8, 2024 02:22 36s
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
Add tests for forall bindings in call arguments
takolib #594: Commit 64e0572 pushed by Cypher1
September 8, 2024 02:22 1m 26s stagingExamples
September 8, 2024 02:22 1m 26s
Fmt
takolib #593: Commit 5deb4ee pushed by Cypher1
September 7, 2024 08:20 2m 13s stagingExamples
September 7, 2024 08:20 2m 13s
Fmt
tako #165: Commit 5deb4ee pushed by Cypher1
September 7, 2024 08:20 9m 21s stagingExamples
September 7, 2024 08:20 9m 21s
Fmt
takoweb #165: Commit 5deb4ee pushed by Cypher1
September 7, 2024 08:20 3m 36s stagingExamples
September 7, 2024 08:20 3m 36s
September 7, 2024 08:20 1m 9s