Skip to content

Actions: latex4ei/Allgemein

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
112 workflow runs
112 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

divide external fs into subheadings Check #20: Commit fd8bdb0 pushed by dariusptrs
July 14, 2024 15:48 38s master
master
July 14, 2024 15:48 38s
pages build and deployment pages-build-deployment #8: by github-pages bot
July 14, 2024 15:22 42s gh-pages
gh-pages
July 14, 2024 15:22 42s
add "about us" page Check #19: Commit c433109 pushed by dariusptrs
July 14, 2024 15:22 40s master
master
July 14, 2024 15:22 40s
add "about us" page Docs #9: Commit c433109 pushed by dariusptrs
July 14, 2024 15:22 33s master
master
July 14, 2024 15:22 33s
pages build and deployment pages-build-deployment #7: by github-pages bot
July 11, 2024 10:13 40s gh-pages
gh-pages
July 11, 2024 10:13 40s
Update CONTRIBUTING.md Docs #8: Commit 0da22b1 pushed by dariusptrs
July 11, 2024 10:13 31s master
master
July 11, 2024 10:13 31s
Update CONTRIBUTING.md Check #18: Commit 0da22b1 pushed by dariusptrs
July 11, 2024 10:13 47s master
master
July 11, 2024 10:13 47s
pages build and deployment pages-build-deployment #6: by github-pages bot
July 10, 2024 21:56 43s gh-pages
gh-pages
July 10, 2024 21:56 43s
update static cheat sheet links Docs #7: Commit 2c5d6f5 pushed by dariusptrs
July 10, 2024 21:56 35s master
master
July 10, 2024 21:56 35s
update static cheat sheet links Check #17: Commit 2c5d6f5 pushed by dariusptrs
July 10, 2024 21:56 41s master
master
July 10, 2024 21:56 41s
pages build and deployment pages-build-deployment #5: by github-pages bot
July 9, 2024 16:04 36s gh-pages
gh-pages
July 9, 2024 16:04 36s
replace ci status with last commit date (#10) Check #16: Commit d4ae1fd pushed by hofbi
July 9, 2024 16:04 53s master
master
July 9, 2024 16:04 53s
replace ci status with last commit date (#10) Docs #6: Commit d4ae1fd pushed by hofbi
July 9, 2024 16:04 36s master
master
July 9, 2024 16:04 36s
replace ci status with last commit date Check #15: Pull request #10 opened by dariusptrs
July 9, 2024 15:08 44s develop
develop
July 9, 2024 15:08 44s
pages build and deployment pages-build-deployment #4: by github-pages bot
July 9, 2024 12:27 35s gh-pages
gh-pages
July 9, 2024 12:27 35s
fix logo Check #14: Commit 87fb730 pushed by dariusptrs
July 9, 2024 12:27 43s master
master
July 9, 2024 12:27 43s
fix logo Docs #5: Commit 87fb730 pushed by dariusptrs
July 9, 2024 12:27 39s master
master
July 9, 2024 12:27 39s
pages build and deployment pages-build-deployment #3: by github-pages bot
July 9, 2024 12:19 38s gh-pages
gh-pages
July 9, 2024 12:19 38s
fix Logo Check #13: Commit 8377feb pushed by dariusptrs
July 9, 2024 12:18 48s master
master
July 9, 2024 12:18 48s
fix Logo Docs #4: Commit 8377feb pushed by dariusptrs
July 9, 2024 12:18 32s master
master
July 9, 2024 12:18 32s
pages build and deployment pages-build-deployment #2: by github-pages bot
July 9, 2024 05:58 38s gh-pages
gh-pages
July 9, 2024 05:58 38s
make repo contributions an own section Docs #3: Commit 02184b2 pushed by hofbi
July 9, 2024 05:57 30s master
master
July 9, 2024 05:57 30s
make repo contributions an own section Check #12: Commit 02184b2 pushed by hofbi
July 9, 2024 05:57 44s master
master
July 9, 2024 05:57 44s
pages build and deployment pages-build-deployment #1: by hofbi
July 9, 2024 05:51 37s gh-pages
gh-pages
July 9, 2024 05:51 37s
fix pip install Docs #2: Commit 3d19ac3 pushed by hofbi
July 9, 2024 05:49 26s master
master
July 9, 2024 05:49 26s