-
Notifications
You must be signed in to change notification settings - Fork 2
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Auto: website updated Sat Feb 1 14:01:32 UTC 2025 60152eb
- Loading branch information
0 parents
commit 5d67c77
Showing
43,154 changed files
with
22,033,970 additions
and
0 deletions.
The diff you're trying to view is too large. We only load the first 3000 changed files.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,60 @@ | ||
name: CI with Alire compilers | ||
|
||
on: | ||
pull_request: | ||
schedule: | ||
- cron: '13 */12 * * *' | ||
# push: | ||
# branches: ["master", "devel"] | ||
workflow_dispatch: # Allow manual triggering | ||
|
||
jobs: | ||
|
||
exp: | ||
|
||
name: ${{ matrix.os }}::gnat${{ matrix.gnat_version }} | ||
|
||
runs-on: ${{ matrix.os }} | ||
|
||
strategy: | ||
fail-fast: false | ||
matrix: | ||
os: | ||
- macos-latest | ||
- ubuntu-latest | ||
- windows-latest | ||
gnat_version: | ||
- ^10 | ||
- ^11 | ||
- ^12 | ||
- ^13 | ||
|
||
steps: | ||
- name: Check out repository | ||
uses: actions/checkout@v2 | ||
|
||
- name: Set up stable `alr` | ||
uses: alire-project/setup-alire@v2 | ||
with: | ||
toolchain: gnat${{ matrix.gnat_version }} gprbuild | ||
|
||
- name: Decide badging | ||
id : set-badge | ||
if: ${{ matrix.gnat_version }} == '^13' | ||
run: echo '::set-output BADGE=1' | ||
|
||
# For runs triggered by a pull request, we'll do only one crate test | ||
- name: Decide short run | ||
id : short-run | ||
if: ${{ github.event_name == 'pull_request' }} | ||
run: echo 'output=true' >> $GITHUB_OUTPUT | ||
shell: bash | ||
|
||
- name: Test release | ||
run: scripts/run-tests.sh | ||
shell: bash | ||
env: | ||
BRANCH_NAME: ${{ github.head_ref || github.ref_name }} | ||
DISTRO: ${{ matrix.os }} | ||
BADGE: ${{ steps.set-badge.outputs.BADGE }} | ||
SHORT_RUN: ${{ steps.short-run.outputs.output }} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,56 @@ | ||
name: CI with Distro compilers | ||
|
||
on: | ||
pull_request: | ||
schedule: | ||
- cron: '44 */12 * * *' | ||
workflow_dispatch: # Allow manual triggering | ||
|
||
jobs: | ||
|
||
build: | ||
name: ${{ matrix.tag }} | ||
|
||
runs-on: ubuntu-latest | ||
|
||
strategy: | ||
fail-fast: false | ||
matrix: | ||
tag: # Those are our gnat:tag machines | ||
- arch-rolling # Test Arch compiler (closest to FSF?) | ||
- centos-stream-fsf-latest # Test with unsupported package manager | ||
- debian-stable # Test current stable Debian compiler | ||
- fedora-latest # Test current Fedora compiler | ||
- ubuntu-lts # Test current LTS Ubuntu compiler | ||
|
||
steps: | ||
- name: Check out repository | ||
uses: actions/checkout@v2 | ||
|
||
- name: Set up stable `alr` | ||
uses: alire-project/setup-alire@v2 | ||
with: | ||
toolchain: --disable-assistant | ||
# We want to use the externally provided toolchain in the docker image | ||
|
||
# For runs triggered by a pull request, we'll do only one crate test | ||
- name: Decide short run | ||
id : short-run | ||
if: ${{ github.event_name == 'pull_request' }} | ||
run: echo 'output=true' >> $GITHUB_OUTPUT | ||
shell: bash | ||
|
||
- name: Test releases in Docker | ||
uses: mosteo-actions/docker-run@v1 | ||
with: | ||
image: ghcr.io/alire-project/docker/gnat:${{ matrix.tag }} | ||
command: scripts/run-tests.sh | ||
params: > | ||
-e BRANCH_NAME=${{ github.head_ref || github.ref_name }} | ||
-e DISTRO=${{ matrix.tag }} | ||
-e GITHUB_TOKEN=${{ secrets.GITHUB_TOKEN }} | ||
-e GNAT_EXTERNAL=True | ||
-e CI=True | ||
-e BADGE=1 | ||
-e SHORT_RUN=${{ steps.short-run.outputs.output }} | ||
-v ${{ github.workspace }}/alire_install/bin/alr:/usr/bin/alr |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,27 @@ | ||
name: Update gh-pages branch and trigger jekyll | ||
on: | ||
schedule: | ||
- cron: '55 * * * *' | ||
push: | ||
branches: [ "master", "website" ] | ||
workflow_dispatch: # Allow manual triggering | ||
jobs: | ||
build: | ||
runs-on: ubuntu-latest | ||
steps: | ||
|
||
- uses: actions/checkout@master | ||
|
||
- name: Set up Python dependencies | ||
run: pip3 install -r requirements.txt | ||
|
||
- run: bash -v prepare-site.sh | ||
env: | ||
GITHUB_TOKEN: ${{ secrets.GH_PAGES_UPDATE }} | ||
|
||
- name: Request Github Pages build job | ||
run: >- | ||
curl -L -X POST | ||
-H "Content-Type: application/json" | ||
-H "Authorization: token ${{ secrets.GH_PAGES_UPDATE }}" | ||
"https://api.github.com/repos/${{ github.repository }}/pages/builds" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,13 @@ | ||
# Folders | ||
.vscode/ | ||
|
||
_site/ | ||
|
||
/alire_install/ # Required to avoid losing alr on commit --reset | ||
/test/ | ||
|
||
# Files | ||
.jekyll-metadata | ||
*.pyc | ||
|
||
Gemfile.lock |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,24 @@ | ||
--- | ||
layout: default | ||
--- | ||
|
||
<style type="text/css" media="screen"> | ||
.container { | ||
margin: 10px auto; | ||
max-width: 600px; | ||
text-align: center; | ||
} | ||
h1 { | ||
margin: 30px 0; | ||
font-size: 4em; | ||
line-height: 1; | ||
letter-spacing: -1px; | ||
} | ||
</style> | ||
|
||
<div class="container"> | ||
<h1>404</h1> | ||
|
||
<p><strong>Page not found :(</strong></p> | ||
<p>The requested page could not be found.</p> | ||
</div> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
alire-crate-ci.ada.dev |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,33 @@ | ||
source "https://rubygems.org" | ||
|
||
# Hello! This is where you manage which Jekyll version is used to run. | ||
# When you want to use a different version, change it below, save the | ||
# file and run `bundle install`. Run Jekyll with `bundle exec`, like so: | ||
# | ||
# bundle exec jekyll serve | ||
# | ||
# This will help ensure the proper Jekyll version is running. | ||
# Happy Jekylling! | ||
#gem "jekyll", "~> 3.8.6" | ||
|
||
# gem "devlopr" | ||
|
||
# If you want to use GitHub Pages, remove the "gem "jekyll"" above and | ||
# uncomment the line below. To upgrade, run `bundle update github-pages`. | ||
gem "github-pages", group: :jekyll_plugins | ||
|
||
# If you have any plugins, put them here! | ||
group :jekyll_plugins do | ||
gem "jekyll-feed", "~> 0.6" | ||
end | ||
|
||
# Windows does not include zoneinfo files, so bundle the tzinfo-data gem | ||
# and associated library. | ||
install_if -> { RUBY_PLATFORM =~ %r!mingw|mswin|java! } do | ||
gem "tzinfo", "~> 1.2" | ||
gem "tzinfo-data" | ||
end | ||
|
||
# Performance-booster for watching directories on Windows | ||
gem "wdm", "~> 0.1.0", :install_if => Gem.win_platform? | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,14 @@ | ||
# CRATE BUILD TESTS | ||
|
||
Website: https://alire-project.github.io/alire-crates-ci/ | ||
|
||
Cron jobs in this repository test crates continuously on different platforms | ||
and with different compiler versions. The objective is to have early warning of | ||
failing releases in new configurations after the checks they undergo during | ||
submission to the community index. | ||
|
||
The files under `status/` reflect the individual build result of crates for the | ||
different platforms. | ||
|
||
Collected releases that have some issue, per platform, are found in the | ||
`troubles-<platform>.yaml` files, updated hourly. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,10 @@ | ||
--- | ||
layout: badge | ||
crate: aaa | ||
total: 57 | ||
success: 57 | ||
fail: 0 | ||
missing: 0 | ||
color: green | ||
--- | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,10 @@ | ||
--- | ||
layout: badge | ||
crate: ada_fuse | ||
total: 57 | ||
success: 24 | ||
fail: 0 | ||
missing: 33 | ||
color: green | ||
--- | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,10 @@ | ||
--- | ||
layout: badge | ||
crate: ada_language_server | ||
total: 34 | ||
success: 14 | ||
fail: 8 | ||
missing: 12 | ||
color: orange | ||
--- | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,10 @@ | ||
--- | ||
layout: badge | ||
crate: ada_lua | ||
total: 64 | ||
success: 25 | ||
fail: 1 | ||
missing: 38 | ||
color: orange | ||
--- | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,10 @@ | ||
--- | ||
layout: badge | ||
crate: ada_pretty | ||
total: 62 | ||
success: 41 | ||
fail: 21 | ||
missing: 0 | ||
color: orange | ||
--- | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,10 @@ | ||
--- | ||
layout: badge | ||
crate: ada_toml | ||
total: 11 | ||
success: 11 | ||
fail: 0 | ||
missing: 0 | ||
color: green | ||
--- | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,10 @@ | ||
--- | ||
layout: badge | ||
crate: ada_voxel_space_demo | ||
total: 45 | ||
success: 0 | ||
fail: 34 | ||
missing: 11 | ||
color: red | ||
--- | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,10 @@ | ||
--- | ||
layout: badge | ||
crate: adabots | ||
total: 11 | ||
success: 7 | ||
fail: 4 | ||
missing: 0 | ||
color: orange | ||
--- | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,10 @@ | ||
--- | ||
layout: badge | ||
crate: adacl | ||
total: 20 | ||
success: 6 | ||
fail: 13 | ||
missing: 1 | ||
color: orange | ||
--- | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,10 @@ | ||
--- | ||
layout: badge | ||
crate: adasat | ||
total: 12 | ||
success: 12 | ||
fail: 0 | ||
missing: 0 | ||
color: green | ||
--- | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,10 @@ | ||
--- | ||
layout: badge | ||
crate: adayaml | ||
total: 43 | ||
success: 1 | ||
fail: 16 | ||
missing: 26 | ||
color: orange | ||
--- | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,10 @@ | ||
--- | ||
layout: badge | ||
crate: adl_middleware | ||
total: 47 | ||
success: 47 | ||
fail: 0 | ||
missing: 0 | ||
color: green | ||
--- | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,10 @@ | ||
--- | ||
layout: badge | ||
crate: admpfr | ||
total: 34 | ||
success: 22 | ||
fail: 1 | ||
missing: 11 | ||
color: orange | ||
--- | ||
|
Oops, something went wrong.