Skip to content

Actions: deutsche-nationalbibliothek/pica-rs

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,344 workflow runs
1,344 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Daily
Daily #830: Scheduled
December 30, 2023 06:59 1m 26s main
December 30, 2023 06:59 1m 26s
Daily
Daily #829: Scheduled
December 29, 2023 06:59 1m 12s main
December 29, 2023 06:59 1m 12s
Daily
Daily #828: Scheduled
December 28, 2023 06:59 1m 0s main
December 28, 2023 06:59 1m 0s
Daily
Daily #827: Scheduled
December 27, 2023 06:59 59s main
December 27, 2023 06:59 59s
Daily
Daily #826: Scheduled
December 26, 2023 06:59 58s main
December 26, 2023 06:59 58s
Daily
Daily #825: Scheduled
December 25, 2023 06:59 1m 2s main
December 25, 2023 06:59 1m 2s
Daily
Daily #824: Scheduled
December 24, 2023 06:59 1m 23s main
December 24, 2023 06:59 1m 23s
Daily
Daily #823: Scheduled
December 23, 2023 06:59 57s main
December 23, 2023 06:59 57s
Daily
Daily #822: Scheduled
December 22, 2023 06:59 1m 9s main
December 22, 2023 06:59 1m 9s
Daily
Daily #821: Scheduled
December 21, 2023 06:59 58s main
December 21, 2023 06:59 58s
Daily
Daily #820: Scheduled
December 20, 2023 06:59 58s main
December 20, 2023 06:59 58s
Daily
Daily #819: Scheduled
December 19, 2023 06:59 1m 1s main
December 19, 2023 06:59 1m 1s
Daily
Daily #818: Scheduled
December 18, 2023 06:59 1m 4s main
December 18, 2023 06:59 1m 4s
Add existential and universal quantifier
CI #1980: Pull request #736 synchronize by nwagner84
December 17, 2023 20:38 22m 46s quantifier
December 17, 2023 20:38 22m 46s
Add existential and universal quantifier
CI #1979: Pull request #736 opened by nwagner84
December 17, 2023 16:55 23m 2s quantifier
December 17, 2023 16:55 23m 2s
Daily
Daily #817: Scheduled
December 17, 2023 06:59 1m 7s main
December 17, 2023 06:59 1m 7s
Daily
Daily #816: Scheduled
December 16, 2023 06:59 1m 8s main
December 16, 2023 06:59 1m 8s
pages build and deployment
pages-build-deployment #270: by github-pages bot
December 15, 2023 10:30 1m 58s gh-pages
December 15, 2023 10:30 1m 58s
Release version 0.22.0 (#735)
Release #119: Commit e32aaf1 pushed by nwagner84
December 15, 2023 10:05 56m 27s v0.22.0
December 15, 2023 10:05 56m 27s
Release version 0.22.0 (#735)
CI #1978: Commit e32aaf1 pushed by nwagner84
December 15, 2023 10:04 26m 22s main
December 15, 2023 10:04 26m 22s
Release version 0.22.0
CI #1977: Pull request #735 opened by nwagner84
December 15, 2023 09:34 23m 44s release-v0.22.0
December 15, 2023 09:34 23m 44s
Daily
Daily #815: Scheduled
December 15, 2023 06:59 56s main
December 15, 2023 06:59 56s
Daily
Daily #814: Scheduled
December 14, 2023 06:59 1m 6s main
December 14, 2023 06:59 1m 6s
Daily
Daily #813: Scheduled
December 13, 2023 06:59 1m 20s main
December 13, 2023 06:59 1m 20s
pages build and deployment
pages-build-deployment #269: by github-pages bot
December 13, 2023 06:42 3m 39s gh-pages
December 13, 2023 06:42 3m 39s
ProTip! You can narrow down the results and go further in time using created:<2023-12-13 or the other filters available.