added 2013 citation for `Idris`: is there a better one? #12

Triggered via push September 3, 2024 12:04

v2.0-joss-submission

Status Success

Total duration 54s

Artifacts 1

joss-paper-ci.yml

on: push

1 warning

The following artifacts were uploaded using a version of actions/upload-artifact that is scheduled for deprecation: "JOSS paper". Please update your workflow to use v4 of the artifact actions. Learn more: https://github.blog/changelog/2024-04-16-deprecation-notice-v3-of-the-artifact-actions/

Produced during runtime

Name	Size
JOSS paper	214 KB