Skip to content
Diff release

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

Sign in to view logs

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 #754

Triggered via pull request October 24, 2023 21:47
@stephe-ada-gurustephe-ada-guru
opened #912
stable-1.2.1
Status Success
Total duration 33s
Artifacts –

diff-release.yml

on: pull_request
diff
23s
diff
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
diff
Cache save failed.
diff
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/