Skip to content

Better fix for gnat 13 bug; emacs_wisi 4.3.2, wisitoken 4.2.1 #154

Better fix for gnat 13 bug; emacs_wisi 4.3.2, wisitoken 4.2.1

Better fix for gnat 13 bug; emacs_wisi 4.3.2, wisitoken 4.2.1 #154

Triggered via pull request October 24, 2023 21:47
Status Success
Total duration 1m 2s
Artifacts

check-index.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build
Cache save failed.