10000 Workflow runs · aibasel/bib · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: aibasel/bib

Actions

8000

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
129 workflow runs
129 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Fix "Jr." entries and do something about "accessed" for INVAL reference. CI #201: Commit c58975c pushed by maltehelmert
May 2, 2025 22:22 17s main
main
May 2, 2025 22:22 17s
Fix various "-" occurrences to "--". CI #200: Commit 6aa4718 pushed by maltehelmert
May 2, 2025 22:01 27s main
main
May 2, 2025 22:01 27s
add pages to speck-et-al-aaai2025 CI #199: Commit 155bf95 pushed by dgnad
May 1, 2025 09:33 1m 58s main
main
May 1, 2025 09:33 1m 58s
sort CI #198: Commit 63e1fda pushed by SimonDold
April 30, 2025 11:48 1m 7s main
main
April 30, 2025 11:48 1m 7s
Add dold-et-al-arxiv2025 CI #197: Commit 8d61bd7 pushed by SimonDold
April 30, 2025 11:27 1m 5s main
main
April 30, 2025 11:27 1m 5s
Add correa-seipp-icaps2025. CI #196: Commit fd8aebd pushed by jendrikseipp
April 15, 2025 20:06 2m 18s main
main
April 15, 2025 20:06 2m 18s
Add volume and pages to speck-et-al-jair2025. CI #195: Commit fed9d7c pushed by speckdavid
March 14, 2025 08:38 1m 5s main
main
March 14, 2025 08:38 1m 5s
Add some papers. CI #194: Commit 9c12872 pushed by jendrikseipp
March 4, 2025 09:58 2m 39s main
main
March 4, 2025 09:58 2m 39s
0