Skip to content

Actions: DigitalFormalLogic/mathesis

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16 workflow runs
16 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bugfix / implement tests for formulas and grammars CI #9: Pull request #6 opened by Cubix1729
May 25, 2025 07:24 59s tests
tests
May 25, 2025 07:24 59s
Merge pull request #3 from Cubix1729/top-bottom-and-other CI #8: Commit 1fd69b1 pushed by ozekik
May 24, 2025 22:07 48s master
master
May 24, 2025 22:07 48s
pages build and deployment pages-build-deployment #12: by ozekik
May 23, 2025 14:20 2m 6s gh-pages
gh-pages
May 23, 2025 14:20 2m 6s
pages build and deployment pages-build-deployment #11: by ozekik
May 23, 2025 11:45 40s gh-pages
gh-pages
May 23, 2025 11:45 40s
update urls CI #7: Commit be0bb23 pushed by ozekik
May 23, 2025 11:44 48s master
master
May 23, 2025 11:44 48s
update readme CI #6: Commit a45766b pushed by ozekik
May 21, 2025 19:25 48s master
master
May 21, 2025 19:25 48s
remove unused docs/requirements.txt CI #5: Commit 21234fd pushed by ozekik
May 21, 2025 19:10 53s master
master
May 21, 2025 19:10 53s
pages build and deployment pages-build-deployment #10: by ozekik
May 21, 2025 19:04 23s gh-pages
gh-pages
May 21, 2025 19:04 23s
bump version CI #4: Commit 1a4e6fa pushed by ozekik
May 21, 2025 19:01 46s master
master
May 21, 2025 19:01 46s
Merge pull request #4 from ozekik/test/setup CI #3: Commit 0c3ff74 pushed by ozekik
May 21, 2025 18:57 51s master
master
May 21, 2025 18:57 51s
Set up a minimal test environment CI #2: Pull request #4 synchronize by ozekik
May 21, 2025 18:56 50s test/setup
test/setup
May 21, 2025 18:56 50s
Set up a minimal test environment CI #1: Pull request #4 opened by ozekik
May 21, 2025 18:55 28s test/setup
test/setup
May 21, 2025 18:55 28s
pages build and deployment pages-build-deployment #9: by ozekik
February 25, 2025 10:51 22s gh-pages
gh-pages
February 25, 2025 10:51 22s
pages build and deployment pages-build-deployment #8: by ozekik
October 4, 2024 16:45 23s gh-pages
gh-pages
October 4, 2024 16:45 23s
pages build and deployment pages-build-deployment #7: by ozekik
July 18, 2024 17:34 25s gh-pages
gh-pages
July 18, 2024 17:34 25s
pages build and deployment pages-build-deployment #6: by ozekik
June 26, 2024 20:46 24s gh-pages
gh-pages
June 26, 2024 20:46 24s