Skip to content
Devcontainer

Improve union ergonomics. #9

Sign in to view logs

Improve union ergonomics.

Improve union ergonomics. #9

Triggered via push March 8, 2026 07:42
@gebnergebner
pushed 23c4f03
main
Status Success
Total duration 51m 1s
Artifacts 1

devcontainer.yml

on: push
build-and-push
50m 59s
build-and-push
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
FStarLang~c2pulse~I148NG.dockerbuild
124 KB
sha256:f1565312b0155462fd8c672b5200f09cc9175e754ffbc8bb53f66132b05d33bb