Skip to content

Actions: ekpyron/AOT

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
17 workflow runs
17 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
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
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
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
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
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
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
pages build and deployment pages-build-deployment #3: by ekpyron
October 17, 2023 22:23 57s
October 17, 2023 22:23 57s
pages build and deployment pages-build-deployment #2: by ekpyron
October 17, 2023 22:22 24s
October 17, 2023 22:22 24s
pages build and deployment pages-build-deployment #1: by github-pages bot
October 5, 2023 13:33 59s
October 5, 2023 13:33 59s
Update build to Isabelle 2023 Build and publish gh-pages. #107: Commit 81c1d54 pushed by ekpyron
October 5, 2023 13:28 5m 26s develop
develop
October 5, 2023 13:28 5m 26s
Minor updates to possible world theory. Build and publish gh-pages. #106: Commit 1ae4247 pushed by ekpyron
October 5, 2023 12:51 6h 0m 25s develop
develop
October 5, 2023 12:51 6h 0m 25s