Skip to content

Actions: agda/agda-stdlib

Actions

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

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
36 workflow runs
36 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix deprecated modules (#2224) .github/workflows/joss-paper-ci.yml #107: Commit de19d70 pushed by MatthewDaggitt
43s v2.0-joss-submission
v2.0-joss-submission
43s
Fixed Dominic Orchard's comments .github/workflows/joss-paper-ci.yml #106: Commit d076fc6 pushed by MatthewDaggitt
53s v2.0-joss-submission
v2.0-joss-submission
53s
Fix multiple references .github/workflows/joss-paper-ci.yml #105: Commit 76e7f6d pushed by MatthewDaggitt
46s v2.0-joss-submission
v2.0-joss-submission
46s
More shortening .github/workflows/joss-paper-ci.yml #104: Commit 9ba8ff5 pushed by MatthewDaggitt
48s v2.0-joss-submission
v2.0-joss-submission
48s
More shortening .github/workflows/joss-paper-ci.yml #103: Commit 196af9f pushed by MatthewDaggitt
54s v2.0-joss-submission
v2.0-joss-submission
54s
More shortening .github/workflows/joss-paper-ci.yml #102: Commit 9cb6502 pushed by MatthewDaggitt
54s v2.0-joss-submission
v2.0-joss-submission
54s
More shortening .github/workflows/joss-paper-ci.yml #101: Commit 0435c49 pushed by MatthewDaggitt
53s v2.0-joss-submission
v2.0-joss-submission
53s
Added another missing DOI .github/workflows/joss-paper-ci.yml #100: Commit cdd5a00 pushed by MatthewDaggitt
59s v2.0-joss-submission
v2.0-joss-submission
59s
Added missing DOI .github/workflows/joss-paper-ci.yml #99: Commit bc9aac7 pushed by MatthewDaggitt
55s v2.0-joss-submission
v2.0-joss-submission
55s
Fixed Nathan's ORCID id .github/workflows/joss-paper-ci.yml #98: Commit 94b3b3e pushed by MatthewDaggitt
55s v2.0-joss-submission
v2.0-joss-submission
55s
Savagely cut for length. Not quite there yet but a lot closer .github/workflows/joss-paper-ci.yml #97: Commit 1bcf673 pushed by JacquesCarette
56s v2.0-joss-submission
v2.0-joss-submission
56s
Fix spacing issue .github/workflows/joss-paper-ci.yml #96: Commit 30f9930 pushed by MatthewDaggitt
59s v2.0-joss-submission
v2.0-joss-submission
59s
Revert comment based on Jacques comment .github/workflows/joss-paper-ci.yml #95: Commit c76cad1 pushed by MatthewDaggitt
1m 1s v2.0-joss-submission
v2.0-joss-submission
1m 1s
Revert "Missed tweak" .github/workflows/joss-paper-ci.yml #94: Commit 6e8ae64 pushed by gallais
55s v2.0-joss-submission
v2.0-joss-submission
55s
Missed tweak .github/workflows/joss-paper-ci.yml #93: Commit f8b9053 pushed by MatthewDaggitt
1m 2s v2.0-joss-submission
v2.0-joss-submission
1m 2s
Round 4 of Nils changes .github/workflows/joss-paper-ci.yml #92: Commit 9c2e1ba pushed by MatthewDaggitt
53s v2.0-joss-submission
v2.0-joss-submission
53s
Fix typo .github/workflows/joss-paper-ci.yml #91: Commit 7e42029 pushed by MatthewDaggitt
51s v2.0-joss-submission
v2.0-joss-submission
51s
finding -> funding .github/workflows/joss-paper-ci.yml #90: Commit 8d23ef3 pushed by JacquesCarette
56s v2.0-joss-submission
v2.0-joss-submission
56s
Add missing comma in bibliography .github/workflows/joss-paper-ci.yml #89: Commit 243b307 pushed by MatthewDaggitt
1m 1s v2.0-joss-submission
v2.0-joss-submission
1m 1s
Final comments addressed .github/workflows/joss-paper-ci.yml #88: Commit 34d976b pushed by MatthewDaggitt
20s v2.0-joss-submission
v2.0-joss-submission
20s
Results from working session .github/workflows/joss-paper-ci.yml #87: Commit c857d01 pushed by MatthewDaggitt
58s v2.0-joss-submission
v2.0-joss-submission
58s
Tweak to trigger rebuild .github/workflows/joss-paper-ci.yml #86: Commit 17c95de pushed by MatthewDaggitt
1m 7s v2.0-joss-submission
v2.0-joss-submission
1m 7s
Fixed some of Nils' 3rd round of feedback .github/workflows/joss-paper-ci.yml #85: Commit 40231d0 pushed by MatthewDaggitt
57s v2.0-joss-submission
v2.0-joss-submission
57s
Fix capitalisation in bibliography .github/workflows/joss-paper-ci.yml #84: Commit a90731e pushed by MatthewDaggitt
57s v2.0-joss-submission
v2.0-joss-submission
57s
Added other affliations comment .github/workflows/joss-paper-ci.yml #83: Commit 42c7203 pushed by MatthewDaggitt
58s v2.0-joss-submission
v2.0-joss-submission
58s