Skip to content

Actions: Singular/Singular

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add id_PermIdeal Run tests #1479: Commit cbf3ab0 pushed by hannes14
October 12, 2023 08:35 24m 24s spielwiese
spielwiese
October 12, 2023 08:35 24m 24s
add id_PermIdeal Lint #276: Commit cbf3ab0 pushed by hannes14
October 12, 2023 08:35 2m 58s spielwiese
spielwiese
October 12, 2023 08:35 2m 58s
fix kTryHC Run tests #1478: Commit 3088df2 pushed by hannes14
October 11, 2023 15:33 19m 31s spielwiese
spielwiese
October 11, 2023 15:33 19m 31s
fix kTryHC Lint #275: Commit 3088df2 pushed by hannes14
October 11, 2023 15:33 2m 35s spielwiese
spielwiese
October 11, 2023 15:33 2m 35s
add kTryHC to kStd Lint #274: Commit b514c57 pushed by hannes14
October 11, 2023 14:26 2m 35s spielwiese
spielwiese
October 11, 2023 14:26 2m 35s
add kTryHC to kStd Run tests #1477: Commit b514c57 pushed by hannes14
October 11, 2023 14:26 33m 30s spielwiese
spielwiese
October 11, 2023 14:26 33m 30s
doc: some RPTU changes Run tests #1476: Commit 33f75cc pushed by hannes14
October 11, 2023 14:25 21m 49s spielwiese
spielwiese
October 11, 2023 14:25 21m 49s
doc: some RPTU changes Lint #273: Commit 33f75cc pushed by hannes14
October 11, 2023 14:25 2m 26s spielwiese
spielwiese
October 11, 2023 14:25 2m 26s
fix utf8 encoding and typos in IntegerProgramming (#1194) Run tests #1475: Commit bc27fcd pushed by hannes14
October 11, 2023 13:53 23m 39s spielwiese
spielwiese
October 11, 2023 13:53 23m 39s
fix utf8 encoding and typos in IntegerProgramming (#1194) Lint #272: Commit bc27fcd pushed by hannes14
October 11, 2023 13:53 2m 51s spielwiese
spielwiese
October 11, 2023 13:53 2m 51s
add rOrd_is_ds Run tests #1474: Commit f1acf19 pushed by hannes14
October 11, 2023 12:59 24m 15s spielwiese
spielwiese
October 11, 2023 12:59 24m 15s
add rOrd_is_ds Lint #271: Commit f1acf19 pushed by hannes14
October 11, 2023 12:59 6m 31s spielwiese
spielwiese
October 11, 2023 12:59 6m 31s
fix utf8 encoding and typos in IntegerProgramming Sage CI #176: Pull request #1194 opened by fchapoton
October 6, 2023 15:21 26m 47s fchapoton:utf8-encoding-and-typos
fchapoton:utf8-encoding-and-typos
October 6, 2023 15:21 26m 47s
fix utf8 encoding and typos in IntegerProgramming Lint #270: Pull request #1194 opened by fchapoton
October 6, 2023 15:21 2m 8s fchapoton:utf8-encoding-and-typos
fchapoton:utf8-encoding-and-typos
October 6, 2023 15:21 2m 8s
fix utf8 encoding and typos in IntegerProgramming Run tests #1473: Pull request #1194 opened by fchapoton
October 6, 2023 15:21 22m 23s fchapoton:utf8-encoding-and-typos
fchapoton:utf8-encoding-and-typos
October 6, 2023 15:21 22m 23s
doc updates for sheafcohom.lib Lint #269: Commit f6fd2a8 pushed by hannes14
October 5, 2023 13:05 2m 8s spielwiese
spielwiese
October 5, 2023 13:05 2m 8s
doc updates for sheafcohom.lib Run tests #1472: Commit f6fd2a8 pushed by hannes14
October 5, 2023 13:05 23m 0s spielwiese
spielwiese
October 5, 2023 13:05 23m 0s
tests for changes in sheafcoh.lib Lint #268: Commit 3670d28 pushed by hannes14
October 5, 2023 11:47 2m 14s spielwiese
spielwiese
October 5, 2023 11:47 2m 14s
tests for changes in sheafcoh.lib Run tests #1471: Commit 3670d28 pushed by hannes14
October 5, 2023 11:47 21m 58s spielwiese
spielwiese
October 5, 2023 11:47 21m 58s
move printout to displayCohom Run tests #1470: Commit 68a0609 pushed by hannes14
October 5, 2023 09:38 21m 53s spielwiese
spielwiese
October 5, 2023 09:38 21m 53s
move printout to displayCohom Lint #267: Commit 68a0609 pushed by hannes14
October 5, 2023 09:38 2m 13s spielwiese
spielwiese
October 5, 2023 09:38 2m 13s
toward int -> long on 64bit CPU Lint #266: Commit 4875949 pushed by hannes14
October 5, 2023 09:21 2m 26s spielwiese
spielwiese
October 5, 2023 09:21 2m 26s
toward int -> long on 64bit CPU Run tests #1469: Commit 4875949 pushed by hannes14
October 5, 2023 09:21 21m 50s spielwiese
spielwiese
October 5, 2023 09:21 21m 50s
ProTip! You can narrow down the results and go further in time using created:<2023-10-05 or the other filters available.