idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-16 15:52:43 +03:00
Code Issues Projects Releases Wiki Activity
2,468 Commits 5 Branches 9 Tags 112 MiB
853547e99c
Commit Graph

65 Commits

Author SHA1 Message Date
Guillaume Allais
0e4168edbf [ ci ] ignore Release/ for idris2 builds 2021-08-31 13:56:45 +01:00
Guillaume ALLAIS
94811ba8e7 [ ci ] bring racket builds back 
A new environment seems to have solved our issue.
Cf. actions/virtual-environments#3774
 2021-07-30 16:18:58 +01:00
Guillaume ALLAIS
84b064330c [ ci ] add collie & frex 
[ci: libs]
 2021-07-27 13:58:41 +01:00
Mathew Polzin
523c0a6d78 actually, with the change to the super linter, there's really no point in having CI work on both master and main at the same time, we just need to rename the branch right away for a smooth transition. 2021-07-22 13:42:45 +01:00
Mathew Polzin
7c85971698 Make sure main branch is covered in addition to master during the transition. Make the default branch for linting the main branch. 2021-07-22 13:42:45 +01:00
G. Allais
9f0a70626a
[ ci ] turn ubuntu-bootstrap-racket off for now (#1772) 
[ci: skip]
 2021-07-22 12:27:34 +01:00
G. Allais
34167d58bb
[ ci ] controlling builds via commit messages (#1766) 2021-07-21 16:49:32 +01:00
Ben Hormann
74db7714d4
[fix] Loading libidris2_support.dll with Racket (#1583) 2021-07-21 14:35:21 +01:00
Stiopa Koltsov
eabab4bdea Split Windows CI build into multiple steps 
It's easier to follow Windows CI output this way.
 2021-07-19 08:02:06 +01:00
André Videla
8130b660d7
Merge pull request #1725 from andrevidela/update-proposal-template 
Update issue template for proposals
 2021-07-17 10:06:36 +00:00
André Videla
d1e6726f70 Update issue template for proposals 2021-07-16 12:47:57 +00:00
Stiopa Koltsov
afaf416673 Write files into bootstrap-build directory during bootstrap 
... instead of `bootstrap` which contains source files. Make it easier to understand
how build works, and in particular, which files are sources and
which files are generated.
 2021-07-04 03:17:13 +01:00
G. Allais
168a69bdcf
[ ci ] just dump everything into a single file already (#1645) 2021-06-29 19:42:48 +01:00
Guillaume ALLAIS
a1ae5148b6 [ actions ] add quick check step 2021-06-29 11:36:22 +01:00
Stiopa Koltsov
855ee3cbd0 Ignore @generated in super-linter 
Super-linter supports it now
 2021-06-28 17:26:32 +01:00
Kamiλ Shakirov
8e30b296c0
[ refactor ] Remove Data.Strings module (#1607) 2021-06-28 13:48:37 +01:00
claymager
594cb0039c
Nix fixes (#1623) 2021-06-28 11:47:47 +01:00
Edwin Brady
452b0fc3f9 Fiddle with linter 
We want duplicate headings in the CHANGELOG
 2021-06-27 17:30:37 +01:00
G. Allais
d2986e5fea
[ refactor ] to allow testpools to specify a backend (#1591) 2021-06-21 22:12:17 +01:00
Fabián Heredia Montiel
a28bc65544
Fix deadlocks [Rebased, Squashed] (#1536) 
Co-authored-by: Arnaud Bailly <arnaud.oqube@gmail.com>
Co-authored-by: Guillaume Allais <guillaume.allais@ens-lyon.org>
Co-authored-by: Fabián Heredia Montiel <fabianhjr@protonmail.com>
Co-authored-by: Ruslan Feizerakhmanov <me@russoul.me>
 2021-06-15 14:31:31 +01:00
G. Allais
d69e35cb0c
[ re #1466 ] Actually error out with -Werror (#1474) 2021-05-27 11:57:39 +01:00
Robert Wright
1e15ff31d3 Disable C file linting 2021-05-20 14:25:16 +01:00
Michael Messer
890810e9b6
Remove unsecure commands (#1433) 2021-05-20 10:21:39 +01:00
Stefan Höck
6cdf05f1ec
[ new ] Add Int(8/16/32/64) (#1352) 
This adds new `Int8`, `Int16`, `Int32` and `Int64` data types
to the compiler, thus working towards properly specified integer
types as discussed in #1048.

In addition, the following changes / corrections are made:

* Support casts from `Char`, `String`, and `Double` to all integer
  types (and back). This fixes #1270.
* Make sure that all casts to limited-precision integers are properly
  bounds checked (this was not the case so far for casts from `String`
  and `Double` to `Int`)
* Add a thorough set of tests to make sure all bounds checks work
  correctly for all supported casts and arithmetic operations
 2021-05-04 08:22:06 +01:00
Niklas Larsson
69c29269ed add tests to Windows CI 2021-04-12 15:48:46 +02:00
Guilherme Silva
4144510bb3
Added new nix functionalities (#1154) 2021-03-15 14:21:50 +00:00
Mathew Polzin
9f8a8b5d76
Add a total way of reading files in. (#1070) 2021-02-18 11:13:25 +00:00
G. Allais
399a2adb15
[ fix #1043 ] throw error if compileExpr failed (#1052) 
Also adding a CI target testing the gambit backend.
 2021-02-10 21:10:27 +00:00
GustavoMF31
7f495999bd
Make :typeat a useful command (#998) 
Co-authored-by: Guillaume ALLAIS <guillaume.allais@ens-lyon.org>
 2021-02-05 16:15:40 +00:00
russoul
9ff5c14aaa [ ci ] Fix API testing 2021-02-04 20:12:15 +00:00
Stiopa Koltsov
e6447e7515 Check docs in CI 2021-02-04 14:59:14 +00:00
Stiopa Koltsov
cffade6bf8 Run super-linter in all branches 
Use the same trigger as in the rest of jobs.

Before submitting a PR, commit is pushed to a private branch where
the jobs are executed. Super-linter should be executed in these
jobs as well to get signal about linting issue before submitting a
PR, to reduce noise to PR reviewers.
 2021-02-04 14:52:49 +00:00
GustavoMF31
2d2cd4d52c Exclude "expected" files from linting 
Those files are part of tests and hold what should be the output of the
compiler. If they are included in the linting, warnings will be emitted
when one of the tests in which the compiler outputs a line with trailing
whitespace is edited, which is not desirable.
 2021-02-01 11:11:41 +00:00
Silvan Mosberger
48b25debec
Update Nix version in CI 
Fixes

  invalid operation 96

errors
 2021-01-29 22:30:44 +01:00
Fabián Heredia Montiel
b81b390f20 Refactor bootstrap and CI action to speedup CI 2021-01-27 20:39:42 +00:00
Stiopa Koltsov
0231ceaf8d Disable indents check (properly this time) 
* `.ecrc` was in incorrect directory
* add another option for extra precaution
 2021-01-21 14:13:35 +00:00
Stiopa Koltsov
68eecce0f4 Add super-linter 
Example run with error:
[here](https://github.com/stepancheg/Idris2/runs/1718861440?check_suite_focus=true)

The downside is super-linter runs for 3 minutes. But that's probably expected
since the linter is [provided by GitHub](https://github.com/github/super-linter).

Two days ago when I submitted #931 I did not know super-linter exists.
 2021-01-21 11:31:35 +00:00
Stiopa Koltsov
6d89899a06 GitHub workflow to schedule linter 2021-01-16 10:00:03 +00:00
Fabián Heredia Montiel
a15325fdb6
Update previous-build action from 0.2.2 to 0.3.0 (#925) 2021-01-15 18:00:46 +00:00
Guilherme Silva
7a7504c956
Added nix files (#855) 2021-01-15 17:20:52 +00:00
Edwin Brady
8026c377a5 Skip the tests when building previous version 
After all, we tested it when we shipped it. Didn't we?
 2020-12-29 19:43:19 +00:00
Edwin Brady
b02f3e7cec Add CI to build from previous version 
This is a first attempt so I've probably got something wrong...
In theory, it ought to be possible to skip the tests for the previous
version. All we're interested in here is whether it builds successfully,
to check that we haven't broken any APIs and not noticed.
 2020-12-29 19:17:03 +00:00
russoul
a7cb2745bc Fix CI 2020-11-23 18:06:23 +00:00
Guillaume ALLAIS
7192ef28a3 [ test ] add IDRIS2_TESTS_CG env variable 2020-10-16 14:44:11 +01:00
G. Allais
f17354a503
Fix link in feature-requests-and-proposals.md 2020-10-02 14:40:22 +01:00
Niklas Larsson
de54c7feee Clean in case TTC version has changed 2020-08-21 12:08:49 +02:00
Niklas Larsson
2a45854b96 Add CI checking for the API 2020-08-21 11:51:21 +02:00
Niklas Larsson
fae5c5ac34
Remove the CI for bootstrapping from Idris 1 
In order to not be held back by compatibility, it was decided that 0.2.1
would be the last version supporting bootstrap via Idris2-boot.
 2020-08-16 16:23:36 +02:00
Niklas Larsson
cddf8c6fa5 Fix bootstrap 
Replace if-expression with a function
 2020-07-09 22:46:21 +02:00
Niklas Larsson
3e53551d8b
Fix racket CI 2020-06-18 16:00:26 +02:00