Skip to content

Actions: kovzol/bibref

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
741 workflow runs
741 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add folders
build #1279: Commit cceec4e pushed by kovzol
January 22, 2025 12:51 30m 37s master
January 22, 2025 12:51 30m 37s
Add folders
Deploy Jekyll with GitHub Pages dependencies preinstalled #262: Commit cceec4e pushed by kovzol
January 22, 2025 12:51 57s master
January 22, 2025 12:51 57s
Add missing statement
build #1278: Commit 78f981b pushed by kovzol
January 22, 2025 12:41 31m 43s master
January 22, 2025 12:41 31m 43s
Add missing statement
Deploy Jekyll with GitHub Pages dependencies preinstalled #261: Commit 78f981b pushed by kovzol
January 22, 2025 12:41 53s master
January 22, 2025 12:41 53s
Update documentation, support for finding statements folder in Qt
Deploy Jekyll with GitHub Pages dependencies preinstalled #260: Commit 8930e01 pushed by kovzol
January 22, 2025 12:11 50s master
January 22, 2025 12:11 50s
Update documentation, support for finding statements folder in Qt
build #1277: Commit 8930e01 pushed by kovzol
January 22, 2025 12:11 31m 4s master
January 22, 2025 12:11 31m 4s
Remove obsoleted test files
Deploy Jekyll with GitHub Pages dependencies preinstalled #259: Commit 07cfbb5 pushed by kovzol
January 22, 2025 10:36 54s master
January 22, 2025 10:36 54s
Remove obsoleted test files
build #1276: Commit 07cfbb5 pushed by kovzol
January 22, 2025 10:36 30m 14s master
January 22, 2025 10:36 30m 14s
Fix statement identifiers in StatResGNT
Deploy Jekyll with GitHub Pages dependencies preinstalled #258: Commit b62dbc4 pushed by kovzol
January 22, 2025 10:23 49s master
January 22, 2025 10:23 49s
Fix statement identifiers in StatResGNT
build #1275: Commit b62dbc4 pushed by kovzol
January 22, 2025 10:23 33m 13s master
January 22, 2025 10:23 33m 13s
Minor fixes in StatResGNT statement database
build #1274: Commit 2829ebf pushed by kovzol
January 22, 2025 07:42 32m 42s master
January 22, 2025 07:42 32m 42s
Minor fixes in StatResGNT statement database
Deploy Jekyll with GitHub Pages dependencies preinstalled #257: Commit 2829ebf pushed by kovzol
January 22, 2025 07:42 51s master
January 22, 2025 07:42 51s
Add BRST database for StatResGNT
build #1273: Commit ac1c54b pushed by kovzol
January 20, 2025 12:02 32m 45s master
January 20, 2025 12:02 32m 45s
Add BRST database for StatResGNT
Deploy Jekyll with GitHub Pages dependencies preinstalled #256: Commit ac1c54b pushed by kovzol
January 20, 2025 12:02 50s master
January 20, 2025 12:02 50s
Implement correct_differ and correct_cover
build #1272: Commit a15944a pushed by kovzol
January 19, 2025 21:59 30m 57s master
January 19, 2025 21:59 30m 57s
Implement correct_differ and correct_cover
Deploy Jekyll with GitHub Pages dependencies preinstalled #255: Commit a15944a pushed by kovzol
January 19, 2025 21:59 40s master
January 19, 2025 21:59 40s
Handle OT part of "no evidence" type
build #1271: Commit 22c25d3 pushed by kovzol
January 18, 2025 21:10 32m 28s master
January 18, 2025 21:10 32m 28s
Handle OT part of "no evidence" type
Deploy Jekyll with GitHub Pages dependencies preinstalled #254: Commit 22c25d3 pushed by kovzol
January 18, 2025 21:10 49s master
January 18, 2025 21:10 49s
Fix dump algorithm, improve Makefile
build #1270: Commit a2b061f pushed by kovzol
January 18, 2025 21:00 32m 12s master
January 18, 2025 21:00 32m 12s
Fix dump algorithm, improve Makefile
Deploy Jekyll with GitHub Pages dependencies preinstalled #253: Commit a2b061f pushed by kovzol
January 18, 2025 21:00 49s master
January 18, 2025 21:00 49s
Fix symlinks
Deploy Jekyll with GitHub Pages dependencies preinstalled #252: Commit 934dfa4 pushed by kovzol
January 18, 2025 17:13 42s master
January 18, 2025 17:13 42s
Fix symlinks
build #1269: Commit 934dfa4 pushed by kovzol
January 18, 2025 17:13 31m 42s master
January 18, 2025 17:13 31m 42s
Some fixes related to incorrect interval bounds
Deploy Jekyll with GitHub Pages dependencies preinstalled #251: Commit c82e9c4 pushed by kovzol
January 18, 2025 17:03 50s master
January 18, 2025 17:03 50s
Some fixes related to incorrect interval bounds
build #1268: Commit c82e9c4 pushed by kovzol
January 18, 2025 17:03 31m 17s master
January 18, 2025 17:03 31m 17s
Implement dump
build #1267: Commit 3918e56 pushed by kovzol
January 18, 2025 15:29 31m 31s master
January 18, 2025 15:29 31m 31s