Skip to content

Actions: kth-step/abs-metatheory

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
205 workflow runs
205 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

remove custom datatypes, add Ott definitions to report Build and Deploy documentation #12: Pull request #1 opened by palmskog
January 15, 2024 16:12 2m 57s simplify
simplify
January 15, 2024 16:12 2m 57s
remove custom datatypes, add Ott definitions to report Docker CI #15: Pull request #1 opened by palmskog
January 15, 2024 16:12 2m 7s simplify
simplify
January 15, 2024 16:12 2m 7s
pages build and deployment pages-build-deployment #3: by github-pages bot
January 15, 2024 15:39 34s gh-pages
gh-pages
January 15, 2024 15:39 34s
link to generated documentation in README.md Build and Deploy documentation #11: Commit f0543df pushed by palmskog
January 15, 2024 15:36 2m 57s master
master
January 15, 2024 15:36 2m 57s
link to generated documentation in README.md Docker CI #14: Commit f0543df pushed by palmskog
January 15, 2024 15:36 2m 9s master
master
January 15, 2024 15:36 2m 9s
pages build and deployment with artifacts-next pages-build-deployment #2: by github-pages bot
January 14, 2024 20:59 31s gh-pages
gh-pages
January 14, 2024 20:59 31s
fix tex deps Docker CI #13: Commit cf2c5e4 pushed by palmskog
January 14, 2024 20:56 2m 4s master
master
January 14, 2024 20:56 2m 4s
fix tex deps Build and Deploy documentation #10: Commit cf2c5e4 pushed by palmskog
January 14, 2024 20:56 3m 2s master
master
January 14, 2024 20:56 3m 2s
change tex approach Docker CI #12: Commit 072e8e9 pushed by palmskog
January 14, 2024 20:50 2m 7s master
master
January 14, 2024 20:50 2m 7s
change tex approach Build and Deploy documentation #9: Commit 072e8e9 pushed by palmskog
January 14, 2024 20:50 2m 40s master
master
January 14, 2024 20:50 2m 40s
fewer tex deps Docker CI #11: Commit b0aadcb pushed by palmskog
January 14, 2024 20:46 2m 6s master
master
January 14, 2024 20:46 2m 6s
fewer tex deps Build and Deploy documentation #8: Commit b0aadcb pushed by palmskog
January 14, 2024 20:46 2m 49s master
master
January 14, 2024 20:46 2m 49s
avoid non-base texlive Docker CI #10: Commit 0938e03 pushed by palmskog
January 14, 2024 20:40 2m 6s master
master
January 14, 2024 20:40 2m 6s
avoid non-base texlive Build and Deploy documentation #7: Commit 0938e03 pushed by palmskog
January 14, 2024 20:40 2m 35s master
master
January 14, 2024 20:40 2m 35s
only use necessary tex packages Build and Deploy documentation #6: Commit b707d94 pushed by palmskog
January 14, 2024 20:34 2m 36s master
master
January 14, 2024 20:34 2m 36s
only use necessary tex packages Docker CI #9: Commit b707d94 pushed by palmskog
January 14, 2024 20:34 2m 0s master
master
January 14, 2024 20:34 2m 0s
fix deployment install Docker CI #8: Commit f45a7d5 pushed by palmskog
January 14, 2024 20:28 2m 5s master
master
January 14, 2024 20:28 2m 5s
fix deployment install Build and Deploy documentation #5: Commit f45a7d5 pushed by palmskog
January 14, 2024 20:28 2m 52s master
master
January 14, 2024 20:28 2m 52s
more deployment adjustment Docker CI #7: Commit 12eff35 pushed by palmskog
January 14, 2024 20:24 2m 3s master
master
January 14, 2024 20:24 2m 3s
more deployment adjustment Build and Deploy documentation #4: Commit 12eff35 pushed by palmskog
January 14, 2024 20:24 1m 49s master
master
January 14, 2024 20:24 1m 49s
deployment adjustment Build and Deploy documentation #3: Commit c261980 pushed by palmskog
January 14, 2024 20:19 1m 41s master
master
January 14, 2024 20:19 1m 41s
deployment adjustment Docker CI #6: Commit c261980 pushed by palmskog
January 14, 2024 20:19 2m 6s master
master
January 14, 2024 20:19 2m 6s
build report as part of docs deployment Build and Deploy documentation #2: Commit 72864fe pushed by palmskog
January 14, 2024 20:13 1m 44s master
master
January 14, 2024 20:13 1m 44s
build report as part of docs deployment Docker CI #5: Commit 72864fe pushed by palmskog
January 14, 2024 20:13 2m 4s master
master
January 14, 2024 20:13 2m 4s
pages build and deployment pages-build-deployment #1: by palmskog
January 14, 2024 19:45 30s gh-pages
gh-pages
January 14, 2024 19:45 30s