Skip to content

Actions: vekatze/neut

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
730 workflow runs
730 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
fix: allow " Tests on Linux #426: Pull request #178 opened by vekatze
June 8, 2024 06:00 2m 44s double-quote-rune-literal
double-quote-rune-literal
June 8, 2024 06:00 2m 44s
0.15.1 Tests on Linux #425: Commit 3e4782d pushed by vekatze
June 8, 2024 05:26 2m 39s main
main
June 8, 2024 05:26 2m 39s
pages build and deployment pages-build-deployment #99: by github-pages bot
June 8, 2024 05:23 39s
June 8, 2024 05:23 39s
Merge pull request #177 from vekatze/increase-inline-limit Book #99: Commit 77a8b23 pushed by vekatze
June 8, 2024 05:23 17s main
main
June 8, 2024 05:23 17s
Merge pull request #177 from vekatze/increase-inline-limit Tests on Linux #424: Commit 77a8b23 pushed by vekatze
June 8, 2024 05:23 2m 53s main
main
June 8, 2024 05:23 2m 53s
increase the default inline limit Tests on Linux #423: Pull request #177 opened by vekatze
June 8, 2024 05:20 2m 47s increase-inline-limit
increase-inline-limit
June 8, 2024 05:20 2m 47s
pages build and deployment pages-build-deployment #98: by github-pages bot
June 8, 2024 05:17 41s
June 8, 2024 05:17 41s
Merge pull request #176 from vekatze/update-docs Book #98: Commit 7b62cd8 pushed by vekatze
June 8, 2024 05:17 15s main
main
June 8, 2024 05:17 15s
Merge pull request #175 from vekatze/pin Tests on Linux #422: Commit 0dc6c39 pushed by vekatze
June 8, 2024 03:58 2m 40s main
main
June 8, 2024 03:58 2m 40s
new syntax: pin x = e1 in e2 Tests on Linux #421: Pull request #175 opened by vekatze
June 8, 2024 03:54 2m 45s pin
pin
June 8, 2024 03:54 2m 45s
Merge pull request #174 from vekatze/non-exhaustive-multi-match Tests on Linux #420: Commit e773b1b pushed by vekatze
June 6, 2024 15:29 2m 53s main
main
June 6, 2024 15:29 2m 53s
fix: report uncovered patterns in match e1, .., en { .. } (n >= 2) Tests on Linux #419: Pull request #174 opened by vekatze
June 6, 2024 15:26 2m 42s non-exhaustive-multi-match
non-exhaustive-multi-match
June 6, 2024 15:26 2m 42s
0.15.0 Tests on Linux #418: Commit ed010b6 pushed by vekatze
June 6, 2024 11:18 2m 50s main
main
June 6, 2024 11:18 2m 50s
pages build and deployment pages-build-deployment #97: by github-pages bot
June 6, 2024 11:14 42s
June 6, 2024 11:14 42s
Merge pull request #173 from vekatze/tau-to-type Tests on Linux #417: Commit 7ec7342 pushed by vekatze
June 6, 2024 11:14 2m 47s main
main
June 6, 2024 11:14 2m 47s
Merge pull request #173 from vekatze/tau-to-type Book #97: Commit 7ec7342 pushed by vekatze
June 6, 2024 11:14 16s main
main
June 6, 2024 11:14 16s
tau => type Tests on Linux #416: Pull request #173 opened by vekatze
June 6, 2024 11:11 2m 51s tau-to-type
tau-to-type
June 6, 2024 11:11 2m 51s
Merge pull request #172 from vekatze/report-uncovered-patterns Tests on Linux #415: Commit 2b33ed9 pushed by vekatze
June 6, 2024 09:03 2m 48s main
main
June 6, 2024 09:03 2m 48s
report uncovered patterns Tests on Linux #414: Pull request #172 opened by vekatze
June 6, 2024 09:00 2m 47s report-uncovered-patterns
report-uncovered-patterns
June 6, 2024 09:00 2m 47s
pages build and deployment pages-build-deployment #96: by github-pages bot
June 6, 2024 00:09 47s
June 6, 2024 00:09 47s
Merge pull request #171 from vekatze/auto-remove-prefixed-import Tests on Linux #413: Commit e8853a6 pushed by vekatze
June 6, 2024 00:09 2m 46s main
main
June 6, 2024 00:09 2m 46s
Merge pull request #171 from vekatze/auto-remove-prefixed-import Book #96: Commit e8853a6 pushed by vekatze
June 6, 2024 00:09 15s main
main
June 6, 2024 00:09 15s
remove prefixed imports automatically Tests on Linux #412: Pull request #171 opened by vekatze
June 6, 2024 00:02 2m 41s auto-remove-prefixed-import
auto-remove-prefixed-import
June 6, 2024 00:02 2m 41s
Merge pull request #170 from vekatze/remove-codatadefmap Tests on Linux #411: Commit e234a75 pushed by vekatze
June 5, 2024 13:51 2m 42s main
main
June 5, 2024 13:51 2m 42s
cleanup Tests on Linux #410: Pull request #170 opened by vekatze
June 5, 2024 13:47 2m 53s remove-codatadefmap
remove-codatadefmap
June 5, 2024 13:47 2m 53s