Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[CI] use container instead of chroot for Debian #1878

Merged
merged 2 commits into from
Apr 17, 2024
+16 −28
Merged

[CI] use container instead of chroot for Debian #1878

Changes from 1 commit
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
a7e4441
[CI] use container instead of chroot
JasonGross Apr 17, 2024
4c42d91
Update coq-debian.yml
JasonGross Apr 17, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Update coq-debian.yml
@JasonGross
JasonGross authored Apr 17, 2024
commit 4c42d91745d1a9b148318bf2c82b158747581202
6 changes: 3 additions & 3 deletions .github/workflows/coq-debian.yml
View file
Original file line number Diff line number Diff line change
@@ -30,13 +30,13 @@ jobs:
cancel-in-progress: true

steps:
- uses: actions/checkout@v4
with:
submodules: recursive
- name: install system dependencies
run: |
apt-get -o Acquire::Retries=30 update -y
apt-get -q -y --allow-unauthenticated -o Acquire::Retries=30 install sudo git make time jq python3 python-is-python3 ocaml coq libcoq-core-ocaml-dev libfindlib-ocaml-dev ocaml-findlib cabal-install js-of-ocaml
- uses: actions/checkout@v4
with:
submodules: recursive
- name: container build params
run: etc/ci/describe-system-config.sh
- name: make deps

Unchanged files with check annotations Beta

View file
src/Util/GlobalSettings.v
(** * Global Settings across the project *)

Check failure on line 1 in src/Util/GlobalSettings.v

GitHub Actions / macos 

src/Util/GlobalSettings.v
(** Compatibility with 8.4 so we can write, e.g., [match p with
ex_intro x y => _ end], rather than [match p with ex_intro _ x y
View file
src/Util/IffT.v
Require Import Coq.Classes.RelationClasses.

Check failure on line 1 in src/Util/IffT.v

GitHub Actions / macos 

src/Util/IffT.v
Notation iffT A B := (((A -> B) * (B -> A)))%type.
Notation iffTp := (fun A B => inhabited (iffT A B)).