Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

F

frama-c
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Incidents

Snippets Groups Projects

ac9cf5c5

Commit ac9cf5c5 authored 2 years ago by Allan Blanchard

Downloads
- Patches
- Plain Diff

[ci] Can use 4.X syntax for OCaml version

parent cf338bb7

No related branches found

No related tags found

Loading

Changes 5

Hide whitespace changes

Inline Side-by-side

Showing

.gitlab-ci.yml 12 additions, 6 deletions

.gitlab-ci.yml
nix/build-proxy.sh 19 additions, 2 deletions

nix/build-proxy.sh
nix/external-plugin-ci.sh 4 additions, 1 deletion

nix/external-plugin-ci.sh
nix/internal-tests.sh 4 additions, 1 deletion

nix/internal-tests.sh
nix/shell-checkers.sh 4 additions, 1 deletion

nix/shell-checkers.sh

with 43 additions and 11 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment