Skip to content

Actions: agda/agda-stdlib

Actions

.github/workflows/joss-paper-ci.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
85 workflow runs
85 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

enact James' suggestion. .github/workflows/joss-paper-ci.yml #35: Commit 1e0eae7 pushed by JacquesCarette
September 9, 2024 18:53 21s v2.0-joss-submission
v2.0-joss-submission
September 9, 2024 18:53 21s
remove tabs; revert / fix some wording changes. .github/workflows/joss-paper-ci.yml #34: Commit 1029aac pushed by JacquesCarette
September 9, 2024 18:48 22s v2.0-joss-submission
v2.0-joss-submission
September 9, 2024 18:48 22s
example about dependent types in programming .github/workflows/joss-paper-ci.yml #33: Commit 5246802 pushed by jamesmckinna
September 6, 2024 11:27 50s v2.0-joss-submission
v2.0-joss-submission
September 6, 2024 11:27 50s
tweaks: bib; 'the community' as authors/editors of the library .github/workflows/joss-paper-ci.yml #32: Commit 7d1bf7d pushed by jamesmckinna
September 6, 2024 11:17 50s v2.0-joss-submission
v2.0-joss-submission
September 6, 2024 11:17 50s
tweaks: bib, type class section, list of contributors .github/workflows/joss-paper-ci.yml #31: Commit 1191437 pushed by jamesmckinna
September 6, 2024 09:16 51s v2.0-joss-submission
v2.0-joss-submission
September 6, 2024 09:16 51s
separate out the GitHub repo from the v2.0 release in bib and citations .github/workflows/joss-paper-ci.yml #30: Commit e064228 pushed by jamesmckinna
September 6, 2024 08:24 50s v2.0-joss-submission
v2.0-joss-submission
September 6, 2024 08:24 50s
double-down on the use of agda-stdlib .github/workflows/joss-paper-ci.yml #29: Commit 9578b20 pushed by jamesmckinna
September 6, 2024 08:13 51s v2.0-joss-submission
v2.0-joss-submission
September 6, 2024 08:13 51s
missing comma in bib .github/workflows/joss-paper-ci.yml #28: Commit a851c22 pushed by jamesmckinna
September 5, 2024 11:59 50s v2.0-joss-submission
v2.0-joss-submission
September 5, 2024 11:59 50s
more controversial: claiming our authorship as 'editor's of the v2.0 … .github/workflows/joss-paper-ci.yml #27: Commit 6592df0 pushed by jamesmckinna
September 5, 2024 11:58 28s v2.0-joss-submission
v2.0-joss-submission
September 5, 2024 11:58 28s
added citation and URLs for v2.0 .github/workflows/joss-paper-ci.yml #26: Commit e1c7b31 pushed by jamesmckinna
September 5, 2024 11:01 49s v2.0-joss-submission
v2.0-joss-submission
September 5, 2024 11:01 49s
further tweak: use of 'such' .github/workflows/joss-paper-ci.yml #25: Commit 4ed25ac pushed by jamesmckinna
September 5, 2024 10:22 50s v2.0-joss-submission
v2.0-joss-submission
September 5, 2024 10:22 50s
further tweak: the challenge of DT library design .github/workflows/joss-paper-ci.yml #24: Commit c2aac12 pushed by jamesmckinna
September 5, 2024 10:12 55s v2.0-joss-submission
v2.0-joss-submission
September 5, 2024 10:12 55s
tweaks to Jacques' rewrites .github/workflows/joss-paper-ci.yml #23: Commit 0b1276f pushed by jamesmckinna
September 5, 2024 09:48 52s v2.0-joss-submission
v2.0-joss-submission
September 5, 2024 09:48 52s
editing pass; too many changes to document, diff is best way to get a… .github/workflows/joss-paper-ci.yml #22: Commit 6c1e23f pushed by JacquesCarette
September 4, 2024 16:07 49s v2.0-joss-submission
v2.0-joss-submission
September 4, 2024 16:07 49s
trim a line .github/workflows/joss-paper-ci.yml #21: Commit 9fa502f pushed by jamesmckinna
September 4, 2024 11:22 42s v2.0-joss-submission
v2.0-joss-submission
September 4, 2024 11:22 42s
on performance testing .github/workflows/joss-paper-ci.yml #20: Commit 8e05060 pushed by jamesmckinna
September 4, 2024 11:16 49s v2.0-joss-submission
v2.0-joss-submission
September 4, 2024 11:16 49s
spaces before citations .github/workflows/joss-paper-ci.yml #19: Commit ebe11e3 pushed by jamesmckinna
September 4, 2024 10:57 48s v2.0-joss-submission
v2.0-joss-submission
September 4, 2024 10:57 48s
missing brace .github/workflows/joss-paper-ci.yml #18: Commit 8af38e7 pushed by jamesmckinna
September 4, 2024 10:52 49s v2.0-joss-submission
v2.0-joss-submission
September 4, 2024 10:52 49s
citation for Haskell .github/workflows/joss-paper-ci.yml #17: Commit 72d2506 pushed by jamesmckinna
September 4, 2024 10:51 22s v2.0-joss-submission
v2.0-joss-submission
September 4, 2024 10:51 22s
[ paper ] FFI blurb .github/workflows/joss-paper-ci.yml #16: Commit 289260c pushed by gallais
September 4, 2024 09:55 50s v2.0-joss-submission
v2.0-joss-submission
September 4, 2024 09:55 50s
fix capitalisaiton of 'Esterel' .github/workflows/joss-paper-ci.yml #15: Commit 34c89b0 pushed by jamesmckinna
September 3, 2024 15:38 50s v2.0-joss-submission
v2.0-joss-submission
September 3, 2024 15:38 50s
rephrase: more 'conventional' phrasing of DTFP? .github/workflows/joss-paper-ci.yml #14: Commit ed5227f pushed by jamesmckinna
September 3, 2024 15:20 53s v2.0-joss-submission
v2.0-joss-submission
September 3, 2024 15:20 53s
missing full stop .github/workflows/joss-paper-ci.yml #13: Commit 28f3f71 pushed by jamesmckinna
September 3, 2024 14:44 50s v2.0-joss-submission
v2.0-joss-submission
September 3, 2024 14:44 50s
added 2013 citation for Idris: is there a better one? .github/workflows/joss-paper-ci.yml #12: Commit 2402528 pushed by jamesmckinna
September 3, 2024 12:04 54s v2.0-joss-submission
v2.0-joss-submission
September 3, 2024 12:04 54s
more thorough spellcheck .github/workflows/joss-paper-ci.yml #11: Commit f01858e pushed by jamesmckinna
September 3, 2024 11:44 50s v2.0-joss-submission
v2.0-joss-submission
September 3, 2024 11:44 50s