Skip to content

Actions: devcontainers2/spec

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
36 workflow runs
36 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

simpler workflow
deploy-pages #2: Commit e976df9 pushed by jcbhmr
October 9, 2023 00:58 47s main
October 9, 2023 00:58 47s
update
deploy-pages #1: Commit 28af4d4 pushed by jcbhmr
October 9, 2023 00:57 44s main
October 9, 2023 00:57 44s
Update index.bs
Deploy GitHub Pages #33: Commit a513786 pushed by jcbhmr
August 16, 2023 21:01 47s main
August 16, 2023 21:01 47s
fix odd replaced wrong stuff
Deploy GitHub Pages #32: Commit 8761bca pushed by jcbhmr
August 16, 2023 20:49 49s main
August 16, 2023 20:49 49s
add preview
Deploy GitHub Pages #31: Commit 1e108a6 pushed by jcbhmr
August 16, 2023 20:44 42s main
August 16, 2023 20:44 42s
add preview
Preview artifact #1: Commit 1e108a6 pushed by jcbhmr
August 16, 2023 20:44 39s main
August 16, 2023 20:44 39s
make it work!
Deploy GitHub Pages #30: Commit 3736c97 pushed by jcbhmr
August 16, 2023 20:32 51s main
August 16, 2023 20:32 51s
and on workflow edits
Deploy GitHub Pages #29: Commit f19e745 pushed by jcbhmr
August 16, 2023 20:16 40s main
August 16, 2023 20:16 40s
better dev instructions
Deploy GitHub Pages #28: Commit 7e88d99 pushed by jcbhmr
August 16, 2023 20:15 55s main
August 16, 2023 20:15 55s
force build malformed document
Deploy GitHub Pages #27: Commit 64e8baa pushed by jcbhmr
August 16, 2023 20:12 44s main
August 16, 2023 20:12 44s
--die-on=nothing
Deploy GitHub Pages #26: Commit e2d3356 pushed by jcbhmr
August 16, 2023 20:01 37s main
August 16, 2023 20:01 37s
proper id
Deploy GitHub Pages #25: Commit d9270b1 pushed by jcbhmr
August 16, 2023 19:58 37s main
August 16, 2023 19:58 37s
devcontainer.json => devcontainerjson
Deploy GitHub Pages #24: Commit 8aeb4e7 pushed by jcbhmr
August 16, 2023 19:57 38s main
August 16, 2023 19:57 38s
remove all sublinks
Deploy GitHub Pages #23: Commit 7e8eec8 pushed by jcbhmr
August 16, 2023 19:56 36s main
August 16, 2023 19:56 36s
lowercase ids
Deploy GitHub Pages #22: Commit 700bb60 pushed by jcbhmr
August 16, 2023 19:54 30s main
August 16, 2023 19:54 30s
fix dot in id
Deploy GitHub Pages #21: Commit 20efcef pushed by jcbhmr
August 16, 2023 19:47 29s main
August 16, 2023 19:47 29s
strip ansi
Deploy GitHub Pages #20: Commit 5ee204a pushed by jcbhmr
August 16, 2023 19:46 33s main
August 16, 2023 19:46 33s
dashes this time
Deploy GitHub Pages #19: Commit ac35595 pushed by jcbhmr
August 16, 2023 19:45 43s main
August 16, 2023 19:45 43s
try to get all headings
Deploy GitHub Pages #18: Commit 5d8a435 pushed by jcbhmr
August 16, 2023 19:44 35s main
August 16, 2023 19:44 35s
typo
Deploy GitHub Pages #17: Commit 992e04a pushed by jcbhmr
August 16, 2023 19:35 29s main
August 16, 2023 19:35 29s
late error
Deploy GitHub Pages #16: Commit bac13a5 pushed by jcbhmr
August 16, 2023 19:32 34s main
August 16, 2023 19:32 34s
env => sh
Deploy GitHub Pages #15: Commit 105cea8 pushed by jcbhmr
August 16, 2023 19:31 30s main
August 16, 2023 19:31 30s
step summary
Deploy GitHub Pages #14: Commit 5c4a9f1 pushed by jcbhmr
August 16, 2023 19:29 32s main
August 16, 2023 19:29 32s
jsonc => json
Deploy GitHub Pages #13: Commit a812e6f pushed by jcbhmr
August 16, 2023 19:25 35s main
August 16, 2023 19:25 35s
fix heading?
Deploy GitHub Pages #12: Commit 3d030f8 pushed by jcbhmr
August 16, 2023 19:24 33s main
August 16, 2023 19:24 33s