Skip to content

Actions: gallais/agda-stdlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
26 workflow runs
26 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
[ fix ] this casing is killing me .github/workflows/joss-paper-ci.yml #26: Commit 0869322 pushed by gallais
52s v2.0-joss-submission-mac
v2.0-joss-submission-mac
52s
[ fix ] typo 🤦 .github/workflows/joss-paper-ci.yml #25: Commit 844b065 pushed by gallais
56s v2.0-joss-submission-mac
v2.0-joss-submission-mac
56s
[ oops ] forgot to fix the re-export .github/workflows/joss-paper-ci.yml #24: Commit d29ade8 pushed by gallais
58s v2.0-joss-submission-mac
v2.0-joss-submission-mac
58s
[ re #2896 ] Restrict clock types .github/workflows/joss-paper-ci.yml #23: Commit e7077ad pushed by gallais
56s v2.0-joss-submission-mac
v2.0-joss-submission-mac
56s
[ admin ] removing debug tracing .github/workflows/joss-paper-ci.yml #22: Commit 0749e7d pushed by gallais
50s v2.0-joss-submission-testsuite
v2.0-joss-submission-testsuite
50s
[ doc ] for various bits .github/workflows/joss-paper-ci.yml #21: Commit b53aa9c pushed by gallais
48s v2.0-joss-submission-testsuite
v2.0-joss-submission-testsuite
48s
[ fix ] various escaping things .github/workflows/joss-paper-ci.yml #20: Commit 2f9a5a3 pushed by gallais
51s v2.0-joss-submission-testsuite
v2.0-joss-submission-testsuite
51s
[ misc ] various fixes & using a unique cabal file .github/workflows/joss-paper-ci.yml #19: Commit f8c17d4 pushed by gallais
43s v2.0-joss-submission-testsuite
v2.0-joss-submission-testsuite
43s
[ fix ] remove useless option .github/workflows/joss-paper-ci.yml #18: Commit ae83967 pushed by gallais
43s v2.0-joss-submission-testsuite
v2.0-joss-submission-testsuite
43s
[ ci ] all the tests require text? .github/workflows/joss-paper-ci.yml #17: Commit 3d3726d pushed by gallais
49s v2.0-joss-submission-testsuite
v2.0-joss-submission-testsuite
49s
[ ci ] grmbl .github/workflows/joss-paper-ci.yml #16: Commit b544933 pushed by gallais
46s v2.0-joss-submission-testsuite
v2.0-joss-submission-testsuite
46s
[ ci ] whyyyyy?! .github/workflows/joss-paper-ci.yml #15: Commit 8318806 pushed by gallais
45s v2.0-joss-submission-testsuite
v2.0-joss-submission-testsuite
45s
[ doc ] adding a README file .github/workflows/joss-paper-ci.yml #14: Commit 74114fb pushed by gallais
48s v2.0-joss-submission-testsuite
v2.0-joss-submission-testsuite
48s
[ cleanup ] Even more sharing! .github/workflows/joss-paper-ci.yml #13: Commit 61714c3 pushed by gallais
47s v2.0-joss-submission-testsuite
v2.0-joss-submission-testsuite
47s
[ ci ] Don't pre-install clock .github/workflows/joss-paper-ci.yml #12: Commit 8985324 pushed by gallais
47s v2.0-joss-submission-testsuite
v2.0-joss-submission-testsuite
47s
.github/workflows/joss-paper-ci.yml .github/workflows/joss-paper-ci.yml #11: by gallais
47s v2.0-joss-submission-testsuite
v2.0-joss-submission-testsuite
47s
[ fix ] regex test case .github/workflows/joss-paper-ci.yml #10: Commit b75de2a pushed by gallais
47s v2.0-joss-submission-testsuite
v2.0-joss-submission-testsuite
47s
[ ci ] fix GHC call .github/workflows/joss-paper-ci.yml #9: Commit 7e48fd0 pushed by gallais
50s v2.0-joss-submission-testsuite
v2.0-joss-submission-testsuite
50s
[ refactor ] removing a lot of duplicate code .github/workflows/joss-paper-ci.yml #8: Commit 4c746a3 pushed by gallais
54s v2.0-joss-submission-testsuite
v2.0-joss-submission-testsuite
54s
[ ci ] bump cache version .github/workflows/joss-paper-ci.yml #7: Commit 171bdcb pushed by gallais
46s v2.0-joss-submission-testsuite
v2.0-joss-submission-testsuite
46s
[ update ] test case .github/workflows/joss-paper-ci.yml #6: Commit e3f483e pushed by gallais
49s v2.0-joss-submission-testsuite
v2.0-joss-submission-testsuite
49s
[ ci ] run revamped testsuite .github/workflows/joss-paper-ci.yml #5: Commit 49dc268 pushed by gallais
44s v2.0-joss-submission-testsuite
v2.0-joss-submission-testsuite
44s
[ done ] with skeletons for all the tests in v2.0 .github/workflows/joss-paper-ci.yml #4: Commit 3fabdc3 pushed by gallais
49s v2.0-joss-submission-testsuite
v2.0-joss-submission-testsuite
49s
[ fix ] building the data/colist test .github/workflows/joss-paper-ci.yml #3: Commit 6e6f3f7 pushed by gallais
43s v2.0-joss-submission-testsuite
v2.0-joss-submission-testsuite
43s
[ fix ] building the data/appending test .github/workflows/joss-paper-ci.yml #2: Commit 68f96e5 pushed by gallais
46s v2.0-joss-submission-testsuite
v2.0-joss-submission-testsuite
46s