[ elab ] Make %macro
-function be callable without the extension
#321
ci-idris2.yml
on: push
initialise
4s
nix-bootstrap-chez
0s
macos-self-host-chez
0s
ubuntu-self-host-racket
0s
windows-self-host-racket
0s
ubuntu-katla
0s
Annotations
2 errors
quick-check
Canceling since a higher priority waiting request for 'refs/heads/macro-without-extension' exists
|
quick-check
The operation was canceled.
|