Skip to content

Actions: ekpyron/AOT

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #9: by github-pages bot
May 9, 2024 20:48 47s gh-pages
gh-pages
May 9, 2024 20:48 47s
More redirects. Build and publish gh-pages. #113: Commit 125a08b pushed by ekpyron
May 9, 2024 20:44 4m 42s develop
develop
May 9, 2024 20:44 4m 42s
pages build and deployment pages-build-deployment #8: by github-pages bot
May 9, 2024 20:43 47s gh-pages
gh-pages
May 9, 2024 20:43 47s
More redirects. Build and publish gh-pages. #112: Commit f87f1fd pushed by ekpyron
May 9, 2024 20:38 4m 11s develop
develop
May 9, 2024 20:38 4m 11s
pages build and deployment pages-build-deployment #7: by github-pages bot
May 9, 2024 20:34 49s gh-pages
gh-pages
May 9, 2024 20:34 49s
Include all theories and redirect to AOT from ROOT index.html. Build and publish gh-pages. #111: Commit c747fb6 pushed by ekpyron
May 9, 2024 20:30 4m 4s develop
develop
May 9, 2024 20:30 4m 4s
pages build and deployment pages-build-deployment #6: by github-pages bot
May 9, 2024 18:57 39s gh-pages
gh-pages
May 9, 2024 18:57 39s
Pull in Possibilities theory into export info to get theorem numberin… Build and publish gh-pages. #110: Commit 21cdd0a pushed by ekpyron
May 9, 2024 18:53 3m 56s develop
develop
May 9, 2024 18:53 3m 56s
pages build and deployment pages-build-deployment #5: by github-pages bot
May 9, 2024 18:29 49s gh-pages
gh-pages
May 9, 2024 18:29 49s
Limit line length. Build and publish gh-pages. #109: Commit 3ef65e5 pushed by ekpyron
May 9, 2024 18:25 4m 1s develop
develop
May 9, 2024 18:25 4m 1s
pages build and deployment pages-build-deployment #4: by github-pages bot
December 21, 2023 16:25 47s gh-pages
gh-pages
December 21, 2023 16:25 47s
Updates in possible world theory. Build and publish gh-pages. #108: Commit 670a0a1 pushed by ekpyron
December 21, 2023 16:22 3m 48s develop
develop
December 21, 2023 16:22 3m 48s