Skip to content

Actions: stefan-hoeck/idris2-chem

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
32 workflow runs
32 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ compat ] adjust to upstream changes (#69) Lint #86: Commit 56a21a3 pushed by stefan-hoeck
December 20, 2024 08:36 1m 19s main
main
December 20, 2024 08:36 1m 19s
[ compat ] adjust to upstream changes (#69) Build #257: Commit 56a21a3 pushed by stefan-hoeck
December 20, 2024 08:36 3m 10s main
main
December 20, 2024 08:36 3m 10s
[ compat ] adjust to upstream changes Lint #85: Pull request #69 synchronize by stefan-hoeck
December 20, 2024 08:32 1m 15s dependent
dependent
December 20, 2024 08:32 1m 15s
[ compat ] adjust to upstream changes Build #256: Pull request #69 synchronize by stefan-hoeck
December 20, 2024 08:32 3m 12s dependent
dependent
December 20, 2024 08:32 3m 12s
[ pack ] back to using main branches Lint #84: Commit 2790443 pushed by stefan-hoeck
December 20, 2024 08:31 1m 20s dependent
dependent
December 20, 2024 08:31 1m 20s
[ pack ] back to using main branches Build #255: Commit 2790443 pushed by stefan-hoeck
December 20, 2024 08:31 3m 21s dependent
dependent
December 20, 2024 08:31 3m 21s
[ compat ] adjust to upstream changes Build #254: Pull request #69 opened by stefan-hoeck
December 20, 2024 08:23 34s dependent
dependent
December 20, 2024 08:23 34s
[ compat ] adjust to upstream changes Lint #83: Pull request #69 opened by stefan-hoeck
December 20, 2024 08:23 1m 17s dependent
dependent
December 20, 2024 08:23 1m 17s
[ compat ] adjust to upstream changes Build #253: Commit 38b5ff7 pushed by stefan-hoeck
December 20, 2024 08:23 3m 10s dependent
dependent
December 20, 2024 08:23 3m 10s
[ compat ] adjust to upstream changes Lint #82: Commit 38b5ff7 pushed by stefan-hoeck
December 20, 2024 08:23 1m 13s dependent
dependent
December 20, 2024 08:23 1m 13s
[ make ] install .so file in correct location (#68) Lint #81: Commit 7965b0f pushed by stefan-hoeck
October 2, 2024 06:45 1m 12s main
main
October 2, 2024 06:45 1m 12s
[ make ] install .so file in correct location (#68) Build #252: Commit 7965b0f pushed by stefan-hoeck
October 2, 2024 06:45 3m 2s main
main
October 2, 2024 06:45 3m 2s
[ make ] install .so file in correct location Build #251: Pull request #68 synchronize by stefan-hoeck
October 2, 2024 06:38 3m 9s install_so
install_so
October 2, 2024 06:38 3m 9s
[ make ] install .so file in correct location Lint #80: Pull request #68 synchronize by stefan-hoeck
October 2, 2024 06:38 1m 11s install_so
install_so
October 2, 2024 06:38 1m 11s
[ lint ] use tabs in Makefile Build #250: Commit fa435bb pushed by stefan-hoeck
October 2, 2024 06:38 2m 57s install_so
install_so
October 2, 2024 06:38 2m 57s
[ lint ] use tabs in Makefile Lint #79: Commit fa435bb pushed by stefan-hoeck
October 2, 2024 06:38 1m 15s install_so
install_so
October 2, 2024 06:38 1m 15s
[ make ] install .so file in correct location Build #249: Pull request #68 opened by stefan-hoeck
October 2, 2024 06:36 2m 56s install_so
install_so
October 2, 2024 06:36 2m 56s
[ make ] install .so file in correct location Lint #78: Pull request #68 opened by stefan-hoeck
October 2, 2024 06:36 1m 10s install_so
install_so
October 2, 2024 06:36 1m 10s
[ make ] install .so file in correct location Lint #77: Commit db5d41f pushed by stefan-hoeck
October 2, 2024 06:35 1m 13s install_so
install_so
October 2, 2024 06:35 1m 13s
[ make ] install .so file in correct location Build #248: Commit db5d41f pushed by stefan-hoeck
October 2, 2024 06:35 2m 57s install_so
install_so
October 2, 2024 06:35 2m 57s
[ ipkg ] add brief description (#67) Build #247: Commit ab06f53 pushed by stefan-hoeck
August 22, 2024 12:51 3m 4s main
main
August 22, 2024 12:51 3m 4s
[ ipkg ] add brief description (#67) Lint #76: Commit ab06f53 pushed by stefan-hoeck
August 22, 2024 12:51 1m 12s main
main
August 22, 2024 12:51 1m 12s
[ ipkg ] add brief description Build #246: Pull request #67 opened by stefan-hoeck
August 22, 2024 12:47 3m 3s brief
brief
August 22, 2024 12:47 3m 3s
[ ipkg ] add brief description Lint #75: Pull request #67 opened by stefan-hoeck
August 22, 2024 12:47 1m 14s brief
brief
August 22, 2024 12:47 1m 14s
[ ipkg ] add brief description Build #245: Commit e274243 pushed by stefan-hoeck
August 22, 2024 12:47 3m 12s brief
brief
August 22, 2024 12:47 3m 12s