Skip to content

Actions: potassco/clintest

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
41 workflow runs
41 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Prepare the 0.3.0 release Deploy documentation #36: Commit 4404e8a pushed by teiesti
September 2, 2024 11:36 31s master
master
September 2, 2024 11:36 31s
Prepare the 0.3.0 release Lint and test #57: Commit 4404e8a pushed by teiesti
September 2, 2024 11:36 33s master
master
September 2, 2024 11:36 33s
Prepare the 0.3.0 release Lint and test #56: Pull request #42 opened by teiesti
September 2, 2024 11:35 34s tobias/prepare_0.3.0
tobias/prepare_0.3.0
September 2, 2024 11:35 34s
Bugfixes Lint and test #55: Commit 820fbfc pushed by teiesti
September 2, 2024 10:19 31s master
master
September 2, 2024 10:19 31s
Bugfixes Deploy documentation #35: Commit 820fbfc pushed by teiesti
September 2, 2024 10:19 39s master
master
September 2, 2024 10:19 39s
Add a Context test Lint and test #54: Pull request #41 synchronize by teiesti
September 2, 2024 10:18 38s tobias/context
tobias/context
September 2, 2024 10:18 38s
Add a Context test Lint and test #53: Pull request #41 synchronize by teiesti
September 2, 2024 10:13 31s tobias/context
tobias/context
September 2, 2024 10:13 31s
Add a Context test Lint and test #52: Pull request #41 opened by teiesti
September 2, 2024 09:42 33s tobias/context
tobias/context
September 2, 2024 09:42 33s
Enhance the reading flow of the debugging section Deploy documentation #34: Commit 9565249 pushed by teiesti
September 2, 2024 08:09 37s master
master
September 2, 2024 08:09 37s
Enhance the reading flow of the debugging section Lint and test #51: Commit 9565249 pushed by teiesti
September 2, 2024 08:09 35s master
master
September 2, 2024 08:09 35s
Update __init__.py Lint and test #50: Pull request #37 synchronize by teiesti
September 2, 2024 08:08 36s henryotunuya:patch-1
henryotunuya:patch-1
September 2, 2024 08:08 36s
Update __init__.py Lint and test #49: Pull request #37 synchronize by teiesti
September 2, 2024 07:57 33s henryotunuya:patch-1
henryotunuya:patch-1
September 2, 2024 07:57 33s
Add tests for the new quantifiers Lint and test #48: Commit a8a2881 pushed by teiesti
September 2, 2024 07:56 30s master
master
September 2, 2024 07:56 30s
Add tests for the new quantifiers Deploy documentation #33: Commit a8a2881 pushed by teiesti
September 2, 2024 07:56 41s master
master
September 2, 2024 07:56 41s
Add more quantifiers Lint and test #47: Pull request #40 synchronize by teiesti
September 2, 2024 07:54 35s tobias/quantifiers
tobias/quantifiers
September 2, 2024 07:54 35s
Add more quantifiers Lint and test #46: Pull request #40 synchronize by teiesti
September 2, 2024 07:42 32s tobias/quantifiers
tobias/quantifiers
September 2, 2024 07:42 32s
Add more quantifiers Lint and test #45: Pull request #40 opened by teiesti
September 2, 2024 07:41 27s tobias/quantifiers
tobias/quantifiers
September 2, 2024 07:41 27s
Fix typo Deploy documentation #32: Commit ba35e50 pushed by teiesti
April 24, 2024 09:00 40s master
master
April 24, 2024 09:00 40s
Fix typo Lint and test #42: Commit ba35e50 pushed by teiesti
April 24, 2024 09:00 37s master
master
April 24, 2024 09:00 37s
Fix just a typo Lint and test #41: Pull request #36 opened by teiesti
April 24, 2024 08:59 36s tobias/typo
tobias/typo
April 24, 2024 08:59 36s
Prepare the 0.2.0 release Lint and test #40: Commit 0e2a88f pushed by teiesti
March 21, 2024 08:55 38s master
master
March 21, 2024 08:55 38s
Prepare the 0.2.0 release Deploy documentation #31: Commit 0e2a88f pushed by teiesti
March 21, 2024 08:55 36s master
master
March 21, 2024 08:55 36s
Prepare the 0.2.0 release Lint and test #39: Pull request #34 opened by teiesti
March 21, 2024 08:54 38s tobias/prepare_0.2.0
tobias/prepare_0.2.0
March 21, 2024 08:54 38s
Add an assertion for equivalence Lint and test #38: Commit 3eeeafa pushed by teiesti
March 21, 2024 08:45 42s master
master
March 21, 2024 08:45 42s
Add an assertion for equivalence Deploy documentation #30: Commit 3eeeafa pushed by teiesti
March 21, 2024 08:45 35s master
master
March 21, 2024 08:45 35s