Skip to content

Actions: homalg-project/CAP_project

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1517 from zickgraf/master Tests #4033: Commit d071d23 pushed by zickgraf
December 4, 2023 13:39 13m 17s master
master
December 4, 2023 13:39 13m 17s
Prepare for a more extended proof assistant mode Tests #4032: Pull request #1517 opened by zickgraf
December 4, 2023 13:22 13m 19s zickgraf:master
zickgraf:master
December 4, 2023 13:22 13m 19s
pages build and deployment pages-build-deployment #967: by github-pages bot
December 4, 2023 13:18 43s gh-pages
gh-pages
December 4, 2023 13:18 43s
Merge pull request #1516 from zickgraf/master Tests #4031: Commit 939f57a pushed by zickgraf
December 4, 2023 13:08 13m 37s master
master
December 4, 2023 13:08 13m 37s
Miscellaneous improvements Tests #4030: Pull request #1516 synchronize by zickgraf
December 4, 2023 12:51 13m 14s zickgraf:master
zickgraf:master
December 4, 2023 12:51 13m 14s
Miscellaneous improvements Tests #4029: Pull request #1516 synchronize by zickgraf
December 4, 2023 12:41 7m 25s zickgraf:master
zickgraf:master
December 4, 2023 12:41 7m 25s
Miscellaneous improvements Tests #4028: Pull request #1516 opened by zickgraf
December 4, 2023 12:37 4m 7s zickgraf:master
zickgraf:master
December 4, 2023 12:37 4m 7s
pages build and deployment pages-build-deployment #966: by github-pages bot
December 4, 2023 10:52 56s gh-pages
gh-pages
December 4, 2023 10:52 56s
pages build and deployment pages-build-deployment #965: by github-pages bot
December 4, 2023 10:52 32s gh-pages
gh-pages
December 4, 2023 10:52 32s
pages build and deployment pages-build-deployment #964: by github-pages bot
December 4, 2023 10:50 44s gh-pages
gh-pages
December 4, 2023 10:50 44s
pages build and deployment pages-build-deployment #963: by github-pages bot
December 4, 2023 10:50 46s gh-pages
gh-pages
December 4, 2023 10:50 46s
Merge pull request #1515 from zickgraf/master Tests #4027: Commit d0c68cc pushed by zickgraf
December 4, 2023 10:39 13m 54s master
master
December 4, 2023 10:39 13m 54s
Introduce IsWellDefinedForMorphismsWithGivenSourceAndRange Tests #4026: Pull request #1515 synchronize by zickgraf
December 4, 2023 10:19 12m 58s zickgraf:master
zickgraf:master
December 4, 2023 10:19 12m 58s
Introduce IsWellDefinedForMorphismsWithGivenSourceAndRange Tests #4025: Pull request #1515 synchronize by zickgraf
December 4, 2023 10:16 3m 6s zickgraf:master
zickgraf:master
December 4, 2023 10:16 3m 6s
Introduce IsWellDefinedForMorphismsWithGivenSourceAndRange Tests #4024: Pull request #1515 synchronize by zickgraf
December 4, 2023 10:06 10m 43s zickgraf:master
zickgraf:master
December 4, 2023 10:06 10m 43s
Introduce IsWellDefinedForMorphismsWithGivenSourceAndRange Tests #4023: Pull request #1515 opened by zickgraf
December 4, 2023 10:04 1m 18s zickgraf:master
zickgraf:master
December 4, 2023 10:04 1m 18s
pages build and deployment pages-build-deployment #962: by github-pages bot
December 4, 2023 09:27 45s gh-pages
gh-pages
December 4, 2023 09:27 45s
pages build and deployment pages-build-deployment #961: by github-pages bot
December 4, 2023 09:26 31s gh-pages
gh-pages
December 4, 2023 09:26 31s
Merge pull request #1514 from zickgraf/master Tests #4022: Commit 387a0d9 pushed by zickgraf
December 4, 2023 09:15 13m 45s master
master
December 4, 2023 09:15 13m 45s
Introduce CAP_JIT_EXPR_CASE_WRAPPER which explicitly wraps functions for Julia Tests #4021: Pull request #1514 opened by zickgraf
December 4, 2023 08:46 13m 43s zickgraf:master
zickgraf:master
December 4, 2023 08:46 13m 43s
pages build and deployment pages-build-deployment #960: by github-pages bot
December 4, 2023 08:24 54s gh-pages
gh-pages
December 4, 2023 08:24 54s
Merge pull request #1513 from zickgraf/master Tests #4020: Commit 52bdd01 pushed by zickgraf
December 4, 2023 08:13 13m 49s master
master
December 4, 2023 08:13 13m 49s
Signal an error if a function in dst_template cannot be mapped to a *unique* function in src_template Tests #4019: Pull request #1513 opened by zickgraf
December 4, 2023 07:56 13m 5s zickgraf:master
zickgraf:master
December 4, 2023 07:56 13m 5s
Tests Tests #4018: Scheduled
December 4, 2023 04:13 12m 57s master
master
December 4, 2023 04:13 12m 57s
Tests Tests #4017: Scheduled
December 3, 2023 04:12 13m 21s master
master
December 3, 2023 04:12 13m 21s
ProTip! You can narrow down the results and go further in time using created:<2023-12-03 or the other filters available.