Skip to content

Actions: ngernest/pbt-bibliography

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
171 workflow runs
171 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
Some ICFP '26 updates Links #260: Commit 6a17401 pushed by ngernest
14s main
main
14s
Add PDF for Segev's paper Links #259: Commit 64b4d0d pushed by ngernest
59s main
main
59s
Update ASE '26 paper title Links #258: Commit 11f87c4 pushed by ngernest
12s main
main
12s
Remove dot Links #257: Commit 3391eff pushed by ngernest
1m 27s main
main
1m 27s
Add ICFP '16 experience report Links #256: Commit 1b7f6e1 pushed by ngernest
8s main
main
8s
Add a POPL '12 paper Links #255: Commit 82eb584 pushed by ngernest
9s main
main
9s
Merge pull request #36 from ngernest/add-higher-order-testing-papers Links #254: Commit 19bbb86 pushed by ngernest
10s main
main
10s
Add some papers on testing higher-order functions Links #253: Pull request #36 opened by ngernest
21s add-higher-order-testing-papers
add-higher-order-testing-papers
21s
Add four papers on testing higher-order programs Links #252: Commit b41fb97 pushed by ngernest
13s add-higher-order-testing-papers
add-higher-order-testing-papers
13s
Add OOPSLA '26 SRC entry Links #251: Commit d27d859 pushed by ngernest
11s main
main
11s
Update ASE '26 paper Links #250: Commit 71b56ad pushed by ngernest
12s main
main
12s
Merge pull request #35 from ngernest/oopsla_26_round_2 Links #249: Commit f5327cf pushed by ngernest
16s main
main
16s
Add two PBT papers from OOPSLA '26 Round 2 Links #248: Pull request #35 opened by ngernest
10s oopsla_26_round_2
oopsla_26_round_2
10s
Add two OOPSLA '26 Round 2 PBT papers Links #247: Commit b8d51a7 pushed by ngernest
1m 28s oopsla_26_round_2
oopsla_26_round_2
1m 28s
Add two OOPSLA '25 papers that use QuickChick Links #246: Commit 94f6055 pushed by ngernest
15m 3s ngernest-patch-1
ngernest-patch-1
15m 3s
Fix name Links #245: Commit 30c286a pushed by ngernest
20s main
main
20s
Merge pull request #33 from ngernest/operation_invariance Links #244: Commit 88017f9 pushed by ngernest
36s main
main
36s
Add four miscellaneous PBT papers Links #243: Pull request #33 opened by ngernest
1m 27s operation_invariance
operation_invariance
1m 27s
Add 4 papers Links #242: Commit 6d02b34 pushed by ngernest
1m 32s operation_invariance
operation_invariance
1m 32s
Add parens Links #241: Commit 1cb4bd5 pushed by ngernest
19s main
main
19s
Merge pull request #32 from ngernest/issta-26 Links #240: Commit 4d0c546 pushed by ngernest
10s main
main
10s
Add an ISSTA '26 paper Links #239: Pull request #32 synchronize by ngernest
17s issta-26
issta-26
17s
fix typo Links #238: Commit 0f709c1 pushed by ngernest
1m 24s issta-26
issta-26
1m 24s
Add an ISSTA '26 paper Links #237: Pull request #32 opened by ngernest
13s issta-26
issta-26
13s
Add an ISSTA '26 paper Links #236: Commit 24b98e6 pushed by ngernest
1m 28s issta-26
issta-26
1m 28s