Skip to content

Actions: JonasHoefer/poset-type-theory

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
77 workflow runs
77 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Type checking and elaboration for HSum and HCon Build Haskell #17: Commit 390aa99 pushed by JonasHoefer
March 22, 2024 13:09 4m 0s main
main
March 22, 2024 13:09 4m 0s
Stage in head linear unfolding Build Haskell #16: Commit 9cf8752 pushed by JonasHoefer
March 5, 2024 16:57 2m 41s main
main
March 5, 2024 16:57 2m 41s
Scope checking for HITs Build Haskell #15: Commit 738b359 pushed by JonasHoefer
March 4, 2024 00:14 3m 22s main
main
March 4, 2024 00:14 3m 22s
pages build and deployment pages-build-deployment #1: by JonasHoefer
March 2, 2024 18:40 27s
March 2, 2024 18:40 27s
Export generated documentation Build Documentation #9: Commit e65a849 pushed by JonasHoefer
March 2, 2024 18:25 2m 22s main
main
March 2, 2024 18:25 2m 22s
Improve documentation Build Documentation #8: Commit 18cc479 pushed by JonasHoefer
March 2, 2024 18:09 2m 37s main
main
March 2, 2024 18:09 2m 37s
Improve documentation Build Haskell #14: Commit 18cc479 pushed by JonasHoefer
March 2, 2024 18:09 3m 27s main
main
March 2, 2024 18:09 3m 27s
Fix over eager unfold in head linear reduction Build Haskell #13: Commit ca1a4a1 pushed by JonasHoefer
March 2, 2024 17:48 3m 57s main
main
March 2, 2024 17:48 3m 57s
Fix over eager unfold in head linear reduction Build Documentation #7: Commit ca1a4a1 pushed by JonasHoefer
March 2, 2024 17:48 2m 17s main
main
March 2, 2024 17:48 2m 17s
Add README Build Haskell #12: Commit 161776c pushed by JonasHoefer
March 2, 2024 15:31 3m 5s main
main
March 2, 2024 15:31 3m 5s
Add README Build Documentation #6: Commit 161776c pushed by JonasHoefer
March 2, 2024 15:31 3m 16s main
main
March 2, 2024 15:31 3m 16s
Add README Build Documentation #5: Commit b3cabc1 pushed by JonasHoefer
March 2, 2024 15:30 2m 18s main
main
March 2, 2024 15:30 2m 18s
Add README Build Haskell #11: Commit b3cabc1 pushed by JonasHoefer
March 2, 2024 15:30 1m 9s main
main
March 2, 2024 15:30 1m 9s
Rename Haskell wordflow Build Haskell #10: Commit dd6369f pushed by JonasHoefer
March 2, 2024 00:42 4m 11s main
main
March 2, 2024 00:42 4m 11s
Rename Haskell wordflow Build Documentation #4: Commit dd6369f pushed by JonasHoefer
March 2, 2024 00:42 3m 59s main
main
March 2, 2024 00:42 3m 59s
Import old emacs mode Build Haskell #9: Commit 9286d5b pushed by JonasHoefer
March 2, 2024 00:41 1m 4s main
main
March 2, 2024 00:41 1m 4s
Import old emacs mode Build Documentation #3: Commit 9286d5b pushed by JonasHoefer
March 2, 2024 00:41 2m 36s main
main
March 2, 2024 00:41 2m 36s
Fix wrong path, and import better Haskell action template Build Documentation #2: Commit 648d08c pushed by JonasHoefer
February 28, 2024 16:30 2m 32s main
main
February 28, 2024 16:30 2m 32s
Fix wrong path, and import better Haskell action template Build Haskell #8: Commit 648d08c pushed by JonasHoefer
February 28, 2024 16:30 6m 15s main
main
February 28, 2024 16:30 6m 15s
Add action to build documentation Build Documentation #1: Commit 9557dcb pushed by JonasHoefer
February 28, 2024 16:15 2m 9s main
main
February 28, 2024 16:15 2m 9s
Add action to build documentation Build Haskell #7: Commit 9557dcb pushed by JonasHoefer
February 28, 2024 16:15 6m 20s main
main
February 28, 2024 16:15 6m 20s
to be updated Build Haskell #6: Commit 7a909ee pushed by coquand
February 28, 2024 15:44 4m 22s main
main
February 28, 2024 15:44 4m 22s
Create folder for documentation Build Haskell #5: Commit 81e043b pushed by JonasHoefer
February 27, 2024 17:39 4m 10s main
main
February 27, 2024 17:39 4m 10s
Remove some TODOs Build Haskell #4: Commit 463a522 pushed by JonasHoefer
February 27, 2024 17:31 5m 12s main
main
February 27, 2024 17:31 5m 12s
Build Haskell Build Haskell #3: by JonasHoefer
February 27, 2024 09:37 5m 40s main
main
February 27, 2024 09:37 5m 40s