Skip to content
This repository has been archived by the owner on Mar 4, 2024. It is now read-only.

CI: add a regen check job #20

Merged
merged 1 commit into from
Nov 20, 2020
Merged

CI: add a regen check job #20

merged 1 commit into from
Nov 20, 2020

Conversation

bilelmoussaoui
Copy link
Member

@bilelmoussaoui bilelmoussaoui commented Nov 6, 2020

Ensures that the files were properly re-generated

Depends on gtk-rs/gir#979

@sdroege sdroege added the ci label Nov 10, 2020
@bilelmoussaoui bilelmoussaoui force-pushed the ci/regen-check branch 2 times, most recently from 055ed38 to 4e0a775 Compare November 20, 2020 01:54
Ensures that the files were properly re-generated
@sdroege sdroege merged commit 97de314 into master Nov 20, 2020
@sdroege sdroege deleted the ci/regen-check branch November 20, 2020 09:02
elmarco pushed a commit to elmarco/gtk-rs that referenced this pull request Feb 10, 2021
# for free to subscribe to this conversation on GitHub. Already have an account? #.
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants