Skip to content

Actions: kth-step/abs-metatheory

Actions

Docker CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker-action.yml
56 workflow runs
56 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix Coq names in Ott file Docker CI #31: Pull request #8 opened by palmskog
January 23, 2024 19:46 2m 6s fix-naming
fix-naming
January 23, 2024 19:46 2m 6s
subst and fresh (with wf!) (#7) Docker CI #30: Commit a91937c pushed by Aqissiaq
January 23, 2024 18:26 2m 12s master
master
January 23, 2024 18:26 2m 12s
subst and fresh (with wf!) Docker CI #29: Pull request #7 synchronize by Aqissiaq
January 23, 2024 18:20 2m 7s fixmes
fixmes
January 23, 2024 18:20 2m 7s
subst and fresh (with wf!) Docker CI #28: Pull request #7 synchronize by Aqissiaq
January 23, 2024 18:19 2m 9s fixmes
fixmes
January 23, 2024 18:19 2m 9s
subst and fresh (with wf!) Docker CI #27: Pull request #7 synchronize by Aqissiaq
January 23, 2024 18:19 2m 5s fixmes
fixmes
January 23, 2024 18:19 2m 5s
subst and fresh (with wf!) Docker CI #26: Pull request #7 opened by Aqissiaq
January 23, 2024 16:44 2m 10s fixmes
fixmes
January 23, 2024 16:44 2m 10s
Merge pull request #6 from kth-step/doc-documentation Docker CI #25: Commit 7e9c87a pushed by palmskog
January 23, 2024 10:11 2m 4s master
master
January 23, 2024 10:11 2m 4s
basic document building instructions Docker CI #24: Pull request #6 opened by palmskog
January 23, 2024 10:05 2m 4s doc-documentation
doc-documentation
January 23, 2024 10:05 2m 4s
Merge pull request #4 from kth-step/fixme-refinement Docker CI #23: Commit 56fb4c4 pushed by palmskog
January 23, 2024 09:47 2m 6s master
master
January 23, 2024 09:47 2m 6s
refine FIXME items a bit Docker CI #22: Pull request #4 opened by palmskog
January 23, 2024 09:44 2m 7s fixme-refinement
fixme-refinement
January 23, 2024 09:44 2m 7s
reorganize inductive relations Docker CI #21: Commit 7187461 pushed by palmskog
January 22, 2024 15:10 2m 15s master
master
January 22, 2024 15:10 2m 15s
some initial metatheory statements Docker CI #20: Commit f542ae5 pushed by palmskog
January 17, 2024 17:46 2m 8s master
master
January 17, 2024 17:46 2m 8s
Merge pull request #1 from kth-step/simplify Docker CI #19: Commit ccf47ab pushed by palmskog
January 16, 2024 22:00 2m 5s master
master
January 16, 2024 22:00 2m 5s
remove custom datatypes, add Ott definitions to report Docker CI #18: Pull request #1 synchronize by palmskog
January 16, 2024 21:56 2m 17s simplify
simplify
January 16, 2024 21:56 2m 17s
remove custom datatypes, add Ott definitions to report Docker CI #17: Pull request #1 synchronize by palmskog
January 16, 2024 20:01 2m 2s simplify
simplify
January 16, 2024 20:01 2m 2s
remove custom datatypes, add Ott definitions to report Docker CI #16: Pull request #1 synchronize by palmskog
January 16, 2024 10:43 2m 8s simplify
simplify
January 16, 2024 10:43 2m 8s
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
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
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
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
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
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
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
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