Skip to content

Actions: aibasel/bib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
117 workflow runs
117 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add dol-helmert-icaps2024 CI #226: Commit 5adbb85 pushed by SimonDold
June 20, 2025 09:34 1m 17s main
main
June 20, 2025 09:34 1m 17s
sort CI #225: Commit 6b5d842 pushed by SimonDold
June 20, 2025 07:52 1m 49s main
main
June 20, 2025 07:52 1m 49s
add icaps2017wsspark. CI #224: Commit 7b9b654 pushed by SimonDold
June 20, 2025 07:47 1m 39s main
main
June 20, 2025 07:47 1m 39s
add koenig-kumar-icaps2017wsspark. CI #223: Commit ad9d752 pushed by SimonDold
June 20, 2025 07:12 1m 52s main
main
June 20, 2025 07:12 1m 52s
Add pozo-seipp-ijcai2025. CI #222: Commit 2aa7c5c pushed by jendrikseipp
June 10, 2025 18:44 1m 1s main
main
June 10, 2025 18:44 1m 1s
Fix order. CI #221: Commit 618b963 pushed by remochristen
June 4, 2025 09:48 1m 6s main
main
June 4, 2025 09:48 1m 6s
Fix aamas2024. CI #220: Commit 7b73d33 pushed by remochristen
June 4, 2025 09:41 2m 22s main
main
June 4, 2025 09:41 2m 22s
Add domshlak-et-al-jair2012, gelperin-aij1977, koyfman-et-al-aamas202… CI #219: Commit 81b15ec pushed by remochristen
June 4, 2025 09:23 1m 12s main
main
June 4, 2025 09:23 1m 12s
Use a space in "PuK 20**". CI #218: Commit 81ba2c5 pushed by maltehelmert
May 29, 2025 11:13 1m 15s main
main
May 29, 2025 11:13 1m 15s
Add seipp-et-al-ipcl2023. CI #217: Commit 2b31467 pushed by grucla
May 29, 2025 07:43 1m 16s main
main
May 29, 2025 07:43 1m 16s
add baral-2010 ad socher-ambrosius-johann-1997 CI #216: Commit 7ad5af9 pushed by roeger
May 29, 2025 05:35 1m 10s main
main
May 29, 2025 05:35 1m 10s
add borgwardt-et-al-aaai2022 CI #215: Commit 9ecd181 pushed by roeger
May 26, 2025 13:24 1m 10s main
main
May 26, 2025 13:24 1m 10s
Fix pages for leivant-iandc1990 CI #214: Commit e1fedf6 pushed by roeger
May 26, 2025 11:09 2m 58s main
main
May 26, 2025 11:09 2m 58s
add some papers on model theory CI #213: Commit afd4555 pushed by roeger
May 26, 2025 11:01 1m 3s main
main
May 26, 2025 11:01 1m 3s
Merge branch 'main' of github.com:aibasel/bib CI #212: Commit c7e78ef pushed by ctpelok77
May 20, 2025 21:14 1m 8s main
main
May 20, 2025 21:14 1m 8s
Fix ordering. CI #211: Commit 9ecb6c7 pushed by grucla
May 20, 2025 14:12 1m 8s main
main
May 20, 2025 14:12 1m 8s
Add faber-reasoningweb2020 CI #210: Commit 24c9f9d pushed by grucla
May 20, 2025 14:07 1m 0s main
main
May 20, 2025 14:07 1m 0s
Fix to year in dor-zwick-cg1999 CI #209: Commit 046eac5 pushed by ctpelok77
May 20, 2025 13:11 2m 2s main
main
May 20, 2025 13:11 2m 2s
Add dor-zwick-cg1999 CI #208: Commit 540e5d5 pushed by ctpelok77
May 20, 2025 02:38 1m 12s main
main
May 20, 2025 02:38 1m 12s
Fix dold-helmert-aaai2024 CI #207: Commit a28146b pushed by ctpelok77
May 20, 2025 01:06 1m 2s main
main
May 20, 2025 01:06 1m 2s
Add dold-helmert-aaai2024 CI #206: Commit 6bb637a pushed by ctpelok77
May 19, 2025 17:44 1m 11s main
main
May 19, 2025 17:44 1m 11s
remove duplicate domshlak-et-al-ai2015 CI #205: Commit e25e344 pushed by ctpelok77
May 19, 2025 17:40 1m 12s main
main
May 19, 2025 17:40 1m 12s
Add christen-et-al-icaps2025 and christen-et-al-arxiv2025. CI #204: Commit aed6846 pushed by remochristen
May 16, 2025 16:28 16s main
main
May 16, 2025 16:28 16s
Sort entries. CI #203: Commit df0276d pushed by jendrikseipp
May 3, 2025 11:24 16s main
main
May 3, 2025 11:24 16s
mugdan-et-al-icaps2023: Add page numbers. CI #202: Commit d665b10 pushed by maltehelmert
May 2, 2025 22:24 15s main
main
May 2, 2025 22:24 15s