Skip to content

Actions: marvinborner/bruijn

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
178 workflow runs
178 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Universal machine interpreter Deploy to pages #5: Commit d6e375e pushed by marvinborner
October 14, 2023 23:43 32s main
main
October 14, 2023 23:43 32s
Generic Church and hyperfac Deploy to pages #4: Commit 5f6211a pushed by marvinborner
October 14, 2023 16:22 36s main
main
October 14, 2023 16:22 36s
Fun with monads Deploy to pages #3: Commit e17ea13 pushed by marvinborner
October 6, 2023 16:52 37s main
main
October 6, 2023 16:52 37s