Skip to content

Actions: bfeitknecht/impli

Actions

Test Formatting

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
format.yaml
184 workflow runs
184 workflow runs

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
Update favicon Test Formatting #264: Commit 9b229b3 pushed by bfeitknecht
32s master
master
32s
Update build Test Formatting #263: Commit c698fbf pushed by bfeitknecht
30s master
master
30s
Update paper Test Formatting #262: Commit bfb9f58 pushed by bfeitknecht
33s master
master
33s
Update favicon.ico Test Formatting #261: Commit 6916fc1 pushed by bfeitknecht
33s master
master
33s
Update README Test Formatting #260: Commit d4ab1ad pushed by bfeitknecht
30s master
master
30s
Unquote URL in README download instruction Test Formatting #259: Commit 8a456cd pushed by bfeitknecht
30s master
master
30s
Fix unsupported negative thin space Test Formatting #258: Commit 6110777 pushed by bfeitknecht
30s master
master
30s
Fix mismatch in Pretty.hs Test Formatting #257: Commit 46c4326 pushed by bfeitknecht
31s master
master
31s
Update paper, EBFN, formatting, flake Test Formatting #256: Commit 569deb4 pushed by bfeitknecht
29s master
master
29s
Silence test outputs Test Formatting #255: Commit 28639da pushed by bfeitknecht
31s master
master
31s
Merge pull request #76 from bfeitknecht/copilot/update-static-directo… Test Formatting #254: Commit f451003 pushed by bfeitknecht
30s master
master
30s
Separate committed assets (web/static/) from build artifacts (web/public/) Test Formatting #253: Pull request #76 synchronize by bfeitknecht
32s copilot/update-static-directory-structure
copilot/update-static-directory-structure
32s
Separate committed assets (web/static/) from build artifacts (web/public/) Test Formatting #252: Pull request #76 synchronize by bfeitknecht
29s copilot/update-static-directory-structure
copilot/update-static-directory-structure
29s
Separate committed assets (web/static/) from build artifacts (web/public/) Test Formatting #251: Pull request #76 synchronize by Copilot AI
30s copilot/update-static-directory-structure
copilot/update-static-directory-structure
30s
Fix typos Test Formatting #249: Commit 8e51ae7 pushed by bfeitknecht
28s master
master
28s
Merge pull request #74 from bfeitknecht/copilot/improve-documentation… Test Formatting #248: Commit 321c4d3 pushed by bfeitknecht
29s master
master
29s
Improve documentation, comment uniformity, and test coverage Test Formatting #247: Pull request #74 synchronize by bfeitknecht
25s copilot/improve-documentation-and-testing
copilot/improve-documentation-and-testing
25s
Improve documentation, comment uniformity, and test coverage Test Formatting #246: Pull request #74 synchronize by Copilot AI
32s copilot/improve-documentation-and-testing
copilot/improve-documentation-and-testing
32s
Improve documentation, comment uniformity, and test coverage Test Formatting #245: Pull request #74 synchronize by bfeitknecht
28s copilot/improve-documentation-and-testing
copilot/improve-documentation-and-testing
28s
Improve documentation, comment uniformity, and test coverage Test Formatting #244: Pull request #74 synchronize by Copilot AI
11s copilot/improve-documentation-and-testing
copilot/improve-documentation-and-testing
11s
Improve documentation, comment uniformity, and test coverage Test Formatting #243: Pull request #74 synchronize by Copilot AI
10s copilot/improve-documentation-and-testing
copilot/improve-documentation-and-testing
10s
Fix release workflow Test Formatting #241: Commit b194609 pushed by bfeitknecht
30s master
master
30s
Simplify deploy workflow and flake, fix paper Test Formatting #240: Commit d3022b8 pushed by bfeitknecht
29s master
master
29s
Fix typo in paper and regression in test Test Formatting #239: Commit 915da10 pushed by bfeitknecht
31s master
master
31s
Improve paper, syntax, semantics, website Test Formatting #238: Commit ed1277d pushed by bfeitknecht
30s master
master
30s