Skip to content

Actions: ekpyron/AOT

Actions

Build and publish gh-pages.

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pages.yml
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
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
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
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