We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 88bc916 commit e410bd7Copy full SHA for e410bd7
.github/workflows/jsobmarks.yml
@@ -91,4 +91,5 @@ jobs:
91
reference.md
92
judgement_*.md
93
*_solver_benchmarks_*.jld2
94
- *_solver_benchmarks_*.txt
+ reference_*.tex
95
+ this_commit_*.tex
0 commit comments