Skip to content

Actions: spamegg1/tarski

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
23 workflow runs
23 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update toolkit and doodle .github/workflows/workflow.yml #23: Commit 9e28af2 pushed by spamegg1
April 12, 2025 12:27 37s master
master
April 12, 2025 12:27 37s
update Scala to 3.6.4 .github/workflows/workflow.yml #22: Commit 8d2ae7e pushed by spamegg1
April 12, 2025 12:26 3m 5s master
master
April 12, 2025 12:26 3m 5s
update Scala 3.6.3 .github/workflows/workflow.yml #21: Commit 95d7f08 pushed by spamegg1
January 20, 2025 17:35 3m 15s master
master
January 20, 2025 17:35 3m 15s
update Scala 3.5.2 .github/workflows/workflow.yml #20: Commit 561ca76 pushed by spamegg1
October 22, 2024 20:00 35s master
master
October 22, 2024 20:00 35s
put Reactor in controller .github/workflows/workflow.yml #19: Commit 3bea7ce pushed by spamegg1
October 18, 2024 20:32 43s master
master
October 18, 2024 20:32 43s
add testing package exports .github/workflows/workflow.yml #18: Commit a80e13c pushed by spamegg1
October 18, 2024 20:14 2m 56s master
master
October 18, 2024 20:14 2m 56s
fix typo in README .github/workflows/workflow.yml #17: Commit d0f47af pushed by spamegg1
October 18, 2024 19:56 3m 4s master
master
October 18, 2024 19:56 3m 4s
experimenting with colors .github/workflows/workflow.yml #16: Commit 0828c86 pushed by spamegg1
October 9, 2024 12:16 2m 57s master
master
October 9, 2024 12:16 2m 57s
fix atomic tests without free variables .github/workflows/workflow.yml #15: Commit 755d000 pushed by spamegg1
October 9, 2024 08:11 49s master
master
October 9, 2024 08:11 49s
refactor Blocks and Generators .github/workflows/workflow.yml #14: Commit 14a012d pushed by spamegg1
October 8, 2024 15:43 32s master
master
October 8, 2024 15:43 32s
start using property based testing in atomic formulas .github/workflows/workflow.yml #13: Commit 8abb7db pushed by spamegg1
October 8, 2024 15:24 33s master
master
October 8, 2024 15:24 33s
reorganize view a bit more .github/workflows/workflow.yml #12: Commit 8ecfa97 pushed by spamegg1
October 8, 2024 15:03 39s master
master
October 8, 2024 15:03 39s
reorganizing into more of a model-view-controller type design .github/workflows/workflow.yml #11: Commit b7de4a1 pushed by spamegg1
October 8, 2024 14:57 33s master
master
October 8, 2024 14:57 33s
refactor testing .github/workflows/workflow.yml #10: Commit 567668b pushed by spamegg1
October 8, 2024 12:54 28s master
master
October 8, 2024 12:54 28s
refactor grammar .github/workflows/workflow.yml #9: Commit 537ec51 pushed by spamegg1
October 8, 2024 12:50 40s master
master
October 8, 2024 12:50 40s
more progress on grammar .github/workflows/workflow.yml #8: Commit ca6668e pushed by spamegg1
October 8, 2024 10:14 2m 57s master
master
October 8, 2024 10:14 2m 57s
progress on grammar .github/workflows/workflow.yml #7: Commit fad956b pushed by spamegg1
October 7, 2024 20:44 30s master
master
October 7, 2024 20:44 30s
start work on grammar and parsing .github/workflows/workflow.yml #6: Commit fd7c0f6 pushed by spamegg1
October 5, 2024 16:50 35s master
master
October 5, 2024 16:50 35s
small progress .github/workflows/workflow.yml #5: Commit cd4263b pushed by spamegg1
October 4, 2024 19:09 29s master
master
October 4, 2024 19:09 29s
update README .github/workflows/workflow.yml #4: Commit 4df7686 pushed by spamegg1
October 4, 2024 18:30 31s master
master
October 4, 2024 18:30 31s
fix link in README .github/workflows/workflow.yml #3: Commit 5150cfd pushed by spamegg1
October 4, 2024 16:53 27s master
master
October 4, 2024 16:53 27s
update .gitignore, add image .github/workflows/workflow.yml #2: Commit d59a121 pushed by spamegg1
October 4, 2024 16:47 29s master
master
October 4, 2024 16:47 29s
second commit .github/workflows/workflow.yml #1: Commit aed89a2 pushed by spamegg1
October 4, 2024 16:44 3m 2s master
master
October 4, 2024 16:44 3m 2s