Skip to content
CI

Merge pull request #53 from arnoudvanderleer/CI #72

Sign in to view logs

Merge pull request #53 from arnoudvanderleer/CI

Merge pull request #53 from arnoudvanderleer/CI #72

Triggered via push August 30, 2024 19:42
@benediktahrensbenediktahrens
pushed 56a8a9d
master
Status Success
Total duration 3m 49s
Artifacts –

build-schools.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
Build Schools on Linux (Coq latest)
The '%' scope delimiter in 'Arguments' commands is deprecated, use
Build Schools on Linux (Coq latest): 2017-12-Birmingham/Part2_Fundamentals_Coq/fundamentals_lecture.v#L299
Not considering unicode character "̂" of unknown lexical status as
Build Schools on Linux (Coq latest): 2017-12-Birmingham/Part2_Fundamentals_Coq/fundamentals_lecture.v#L309
Not considering unicode character "̂" of unknown lexical status as
Build Schools on Linux (Coq latest)
Declaring arbitrary terms as hints is fragile; it is recommended to
Build Schools on Linux (Coq latest)
Declaring arbitrary terms as hints is fragile; it is recommended to
Build Schools on Linux (Coq latest): 2017-12-Birmingham/Part5_Set_Level_Mathematics/set_level_mathematics_exercises.v#L172
Notation gradth is deprecated. Use isweq_iso instead.
Build Schools on Linux (Coq latest): 2017-12-Birmingham/Part5_Set_Level_Mathematics/set_level_mathematics_exercises.v#L172
Notation gradth is deprecated. Use isweq_iso instead.
Build Schools on Linux (Coq latest): 2017-12-Birmingham/Part5_Set_Level_Mathematics/set_level_mathematics_exercises.v#L217
Interpreting this declaration as if a global declaration prefixed by
Build Schools on Linux (Coq latest): 2017-12-Birmingham/Part5_Set_Level_Mathematics/set_level_mathematics_solutions.v#L195
Notation gradth is deprecated. Use isweq_iso instead.
Build Schools on Linux (Coq latest): 2017-12-Birmingham/Part5_Set_Level_Mathematics/set_level_mathematics_solutions.v#L195
Notation gradth is deprecated. Use isweq_iso instead.