Skip to content

Actions: rk-mlu/kellermap

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
271 workflow runs
271 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
docs: repair roadmap.md, which the WP 1 commit spliced twice CI #226: Commit c5961d5 pushed by rk-mlu
4m 35s main
main
4m 35s
docs: close WP 1, and say in SYM-7 what the cost actually is CI #225: Commit aab714f pushed by rk-mlu
4m 43s main
main
4m 43s
CI CI #224: Scheduled
4m 33s main
main
4m 33s
CI CI #223: Scheduled
3m 22s main
main
3m 22s
docs: specify the measurement of WP 1 before making it CI #222: Commit 8cef9ea pushed by rk-mlu
4m 29s main
main
4m 29s
docs: plan milestone 0.7 CI #221: Commit 9ed5bbe pushed by rk-mlu
4m 32s main
main
4m 32s
feat: let the mutation probe run a selection CI #220: Commit ca91a18 pushed by rk-mlu
4m 28s main
main
4m 28s
fix: update an outdated count in CHANGELOG CI #219: Commit d7add56 pushed by rk-mlu
3m 26s main
main
3m 26s
chore: release 0.6.0 CI #218: Commit ca6f41b pushed by rk-mlu
3m 42s main
main
3m 42s
Graph Update: uv in /. #1557177113 Dependency Graph #45: by dependabot Bot
43s main
main
43s
chore: release 0.6.0 CI #217: Commit cc68852 pushed by rk-mlu
4m 39s main
main
4m 39s
CI CI #216: Scheduled
4m 30s main
main
4m 30s
Graph Update: uv in /. #1557028106 Dependency Graph #44: by dependabot Bot
42s main
main
42s
docs: prepare the Zenodo deposit CI #215: Commit 52a0c8f pushed by rk-mlu
4m 35s main
main
4m 35s
Graph Update: uv in /. #1556350257 Dependency Graph #43: by dependabot Bot
44s main
main
44s
fix: order the lift's points by construction keywords too CI #214: Commit c5507a5 pushed by rk-mlu
4m 40s main
main
4m 40s
Graph Update: uv in /. #1554640593 Dependency Graph #42: by dependabot Bot
40s main
main
40s
fix: order the lifted pair after an equality test, and 0.6.0rc5 CI #213: Commit 1333fdd pushed by rk-mlu
4m 32s main
main
4m 32s
CI CI #212: Scheduled
4m 42s main
main
4m 42s
Graph Update: uv in /. #1552235745 Dependency Graph #41: by dependabot Bot
47s main
main
47s
fix: the four findings of the audit of 0.6.0rc3, and 0.6.0rc4 CI #211: Commit 1536b87 pushed by rk-mlu
3m 42s main
main
3m 42s
Graph Update: uv in /. #1551871997 Dependency Graph #40: by dependabot Bot
39s main
main
39s
fix: the five findings of the audit of 0.6.0rc2, and 0.6.0rc3 CI #210: Commit c9d2e6f pushed by rk-mlu
4m 34s main
main
4m 34s
CI CI #209: Scheduled
4m 55s main
main
4m 55s
Graph Update: uv in /. #1550393675 Dependency Graph #39: by dependabot Bot
40s main
main
40s