Skip to content

Actions: drexlerd/Loki

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment
pages-build-deployment #224: by github-pages bot
May 25, 2024 22:35 40s
May 25, 2024 22:35 40s
update parsing of types
Googletest Unit Tests #305: Commit 7310845 pushed by drexlerd
May 25, 2024 22:25 19m 18s main
May 25, 2024 22:25 19m 18s
update parsing of types
Integration Tests #215: Commit 7310845 pushed by drexlerd
May 25, 2024 22:25 12m 21s main
May 25, 2024 22:25 12m 21s
update parsing of types
Googlebenchmark #270: Commit 7310845 pushed by drexlerd
May 25, 2024 22:25 10m 16s main
May 25, 2024 22:25 10m 16s
pages build and deployment
pages-build-deployment #223: by github-pages bot
May 22, 2024 11:27 41s
May 22, 2024 11:27 41s
problem now takes requirements from the domain, improved equal operat…
Googlebenchmark #269: Commit e8f2db4 pushed by drexlerd
May 22, 2024 11:17 9m 51s main
May 22, 2024 11:17 9m 51s
problem now takes requirements from the domain, improved equal operat…
Integration Tests #214: Commit e8f2db4 pushed by drexlerd
May 22, 2024 11:17 11m 38s main
May 22, 2024 11:17 11m 38s
problem now takes requirements from the domain, improved equal operat…
Googletest Unit Tests #304: Commit e8f2db4 pushed by drexlerd
May 22, 2024 11:17 18m 58s main
May 22, 2024 11:17 18m 58s
pages build and deployment
pages-build-deployment #222: by github-pages bot
May 7, 2024 22:26 39s
May 7, 2024 22:26 39s
.
Googletest Unit Tests #303: Commit e086cfd pushed by drexlerd
May 7, 2024 22:16 19m 39s main
May 7, 2024 22:16 19m 39s
.
Googlebenchmark #268: Commit e086cfd pushed by drexlerd
May 7, 2024 22:16 9m 50s main
May 7, 2024 22:16 9m 50s
.
Integration Tests #213: Commit e086cfd pushed by drexlerd
May 7, 2024 22:16 12m 4s main
May 7, 2024 22:16 12m 4s
pages build and deployment
pages-build-deployment #221: by github-pages bot
April 30, 2024 21:41 39s
April 30, 2024 21:41 39s
fix imply derivation
Googletest Unit Tests #302: Commit 8d0c225 pushed by drexlerd
April 30, 2024 21:31 18m 49s main
April 30, 2024 21:31 18m 49s
fix imply derivation
Googlebenchmark #267: Commit 8d0c225 pushed by drexlerd
April 30, 2024 21:31 10m 28s main
April 30, 2024 21:31 10m 28s
fix imply derivation
Integration Tests #212: Commit 8d0c225 pushed by drexlerd
April 30, 2024 21:31 11m 59s main
April 30, 2024 21:31 11m 59s
pages build and deployment
pages-build-deployment #220: by github-pages bot
April 30, 2024 12:54 46s
April 30, 2024 12:54 46s
make implicit axiom parameters explicit after parsing for easier proc…
Integration Tests #211: Commit 9a20098 pushed by drexlerd
April 30, 2024 12:44 11m 45s main
April 30, 2024 12:44 11m 45s
make implicit axiom parameters explicit after parsing for easier proc…
Googletest Unit Tests #301: Commit 9a20098 pushed by drexlerd
April 30, 2024 12:44 19m 38s main
April 30, 2024 12:44 19m 38s
make implicit axiom parameters explicit after parsing for easier proc…
Googlebenchmark #266: Commit 9a20098 pushed by drexlerd
April 30, 2024 12:44 10m 30s main
April 30, 2024 12:44 10m 30s
pages build and deployment
pages-build-deployment #219: by github-pages bot
April 29, 2024 15:06 53s
April 29, 2024 15:06 53s
added missing at function
Googlebenchmark #265: Commit 23abba9 pushed by drexlerd
April 29, 2024 14:56 10m 1s main
April 29, 2024 14:56 10m 1s
added missing at function
Googletest Unit Tests #300: Commit 23abba9 pushed by drexlerd
April 29, 2024 14:56 19m 45s main
April 29, 2024 14:56 19m 45s
added missing at function
Integration Tests #210: Commit 23abba9 pushed by drexlerd
April 29, 2024 14:56 11m 48s main
April 29, 2024 14:56 11m 48s
pages build and deployment
pages-build-deployment #218: by github-pages bot
April 29, 2024 14:50 43s
April 29, 2024 14:50 43s