Skip to content

Actions: viperproject/axiom-profiler-2

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Minor refactoring Continuous integration #86: Commit e2844b0 pushed by oskari1
December 19, 2023 07:39 4m 19s main
main
December 19, 2023 07:39 4m 19s
pages build and deployment pages-build-deployment #71: by github-pages bot
December 18, 2023 20:23 36s gh-pages
gh-pages
December 18, 2023 20:23 36s
Continuous deployment Continuous deployment #76: completed by JonasAlaif
December 18, 2023 20:22 1m 36s
December 18, 2023 20:22 1m 36s
pages build and deployment pages-build-deployment #70: by github-pages bot
December 18, 2023 20:17 36s gh-pages
gh-pages
December 18, 2023 20:17 36s
Disable non-zero generation enode check Continuous integration #85: Commit 9d456cf pushed by JonasAlaif
December 18, 2023 20:16 5m 34s main
main
December 18, 2023 20:16 5m 34s
Continuous deployment Continuous deployment #75: completed by JonasAlaif
December 18, 2023 20:15 1m 44s
December 18, 2023 20:15 1m 44s
Use simpler get_equalities due to performance issues Continuous integration #84: Commit 0d4c729 pushed by JonasAlaif
December 18, 2023 20:11 4m 1s main
main
December 18, 2023 20:11 4m 1s
pages build and deployment pages-build-deployment #69: by github-pages bot
December 18, 2023 20:00 33s gh-pages
gh-pages
December 18, 2023 20:00 33s
Continuous deployment Continuous deployment #74: completed by JonasAlaif
December 18, 2023 19:59 1m 37s
December 18, 2023 19:59 1m 37s
Make timeout work even with more variation Continuous integration #83: Commit de56418 pushed by JonasAlaif
December 18, 2023 19:55 4m 7s main
main
December 18, 2023 19:55 4m 7s
pages build and deployment pages-build-deployment #68: by github-pages bot
December 18, 2023 19:13 34s gh-pages
gh-pages
December 18, 2023 19:13 34s
Continuous deployment Continuous deployment #73: completed by JonasAlaif
December 18, 2023 19:11 1m 36s
December 18, 2023 19:11 1m 36s
Bodge to parse quantifier names with spaces Continuous integration #82: Commit 5ef2533 pushed by JonasAlaif
December 18, 2023 19:07 4m 35s main
main
December 18, 2023 19:07 4m 35s
pages build and deployment pages-build-deployment #67: by github-pages bot
December 18, 2023 18:56 33s gh-pages
gh-pages
December 18, 2023 18:56 33s
Continuous deployment Continuous deployment #72: completed by JonasAlaif
December 18, 2023 18:54 1m 47s
December 18, 2023 18:54 1m 47s
Update continuous_integration.yml Continuous integration #81: Commit cf73f80 pushed by JonasAlaif
December 18, 2023 18:50 4m 32s main
main
December 18, 2023 18:50 4m 32s
Optimise code when testing Continuous integration #80: Commit 0ba13c0 pushed by JonasAlaif
December 18, 2023 18:48 1s main
main
December 18, 2023 18:48 1s
pages build and deployment pages-build-deployment #66: by github-pages bot
December 18, 2023 18:38 33s gh-pages
gh-pages
December 18, 2023 18:38 33s
Continuous deployment Continuous deployment #71: completed by JonasAlaif
December 18, 2023 18:37 1m 39s
December 18, 2023 18:37 1m 39s
Increase timeout in tests Continuous integration #79: Commit 35b1ef1 pushed by JonasAlaif
December 18, 2023 18:33 3m 14s main
main
December 18, 2023 18:33 3m 14s
pages build and deployment pages-build-deployment #65: by github-pages bot
December 18, 2023 18:29 34s gh-pages
gh-pages
December 18, 2023 18:29 34s
Continuous deployment Continuous deployment #70: completed by JonasAlaif
December 18, 2023 18:28 1m 51s
December 18, 2023 18:28 1m 51s
Use hash of files as cache key and set timeout on z3 query Continuous integration #78: Commit b212115 pushed by JonasAlaif
December 18, 2023 18:18 9m 34s main
main
December 18, 2023 18:18 9m 34s
pages build and deployment pages-build-deployment #64: by github-pages bot
December 17, 2023 07:14 28s gh-pages
gh-pages
December 17, 2023 07:14 28s
Continuous deployment Continuous deployment #69: completed by JonasAlaif
December 17, 2023 07:13 1m 43s
December 17, 2023 07:13 1m 43s
ProTip! You can narrow down the results and go further in time using created:<2023-12-17 or the other filters available.