Skip to content

Actions: idris-lang/Idris2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
add local include and lib on OpenBSD Lint Code Base #7889: Pull request #3859 synchronize by PeterHajdu
1m 57s PeterHajdu:main
PeterHajdu:main
1m 57s
add local include and lib on OpenBSD Idris2 and External Libs #2302: Pull request #3859 synchronize by PeterHajdu
1h 3m 25s PeterHajdu:main
PeterHajdu:main
1h 3m 25s
add local include and lib on OpenBSD Lint the sources #7981: Pull request #3859 synchronize by PeterHajdu
7s PeterHajdu:main
PeterHajdu:main
7s
add local include and lib on OpenBSD Sphinx #6040: Pull request #3859 synchronize by PeterHajdu
36s PeterHajdu:main
PeterHajdu:main
36s
add local include and lib on OpenBSD Lint Code Base #7888: Pull request #3859 opened by PeterHajdu
1m 49s PeterHajdu:main
PeterHajdu:main
1m 49s
add local include and lib on OpenBSD Lint the sources #7980: Pull request #3859 opened by PeterHajdu
11s PeterHajdu:main
PeterHajdu:main
11s
add local include and lib on OpenBSD Idris2 and External Libs #2301: Pull request #3859 opened by PeterHajdu
11m 2s PeterHajdu:main
PeterHajdu:main
11m 2s
add local include and lib on OpenBSD Sphinx #6039: Pull request #3859 opened by PeterHajdu
36s PeterHajdu:main
PeterHajdu:main
36s
uv in /docs for Pygments - Update #1581200131 Dependabot Updates #42: by dependabot Bot
48s main
main
48s
uv in /docs for urllib3 - Update #1581200120 Dependabot Updates #41: by dependabot Bot
52s main
main
52s
uv in /docs for requests - Update #1581200113 Dependabot Updates #40: by dependabot Bot
52s main
main
52s
uv in /docs for idna - Update #1581200086 Dependabot Updates #39: by dependabot Bot
55s main
main
55s
Bump soupsieve from 2.8.4 to 2.9 in /docs Sphinx #6038: Pull request #3858 opened by dependabot Bot
44s dependabot/uv/docs/soupsieve-2.9
dependabot/uv/docs/soupsieve-2.9
44s
Bump soupsieve from 2.8.4 to 2.9 in /docs Lint the sources #7979: Pull request #3858 opened by dependabot Bot
7s dependabot/uv/docs/soupsieve-2.9
dependabot/uv/docs/soupsieve-2.9
7s
Bump soupsieve from 2.8.4 to 2.9 in /docs Lint Code Base #7887: Pull request #3858 opened by dependabot Bot
1m 55s dependabot/uv/docs/soupsieve-2.9
dependabot/uv/docs/soupsieve-2.9
1m 55s
uv in /docs for requests - Update #1581186561 Dependabot Updates #38: by dependabot Bot
50s main
main
50s
uv in /docs for idna - Update #1581186526 Dependabot Updates #37: by dependabot Bot
53s main
main
53s
uv in /docs for urllib3 - Update #1581186580 Dependabot Updates #36: by dependabot Bot
46s main
main
46s
uv in /docs for Pygments - Update #1581186556 Dependabot Updates #35: by dependabot Bot
44s main
main
44s
uv in /docs for soupsieve - Update #1581186495 Dependabot Updates #34: by dependabot Bot
1m 10s main
main
1m 10s
Add building of installers Sphinx #6037: Pull request #3857 opened by transcendentalduncan
Action required transcendentalduncan:main
transcendentalduncan:main
Action required
Add building of installers Lint Code Base #7886: Pull request #3857 opened by transcendentalduncan
Action required transcendentalduncan:main
transcendentalduncan:main
Action required
Add building of installers Lint the sources #7978: Pull request #3857 opened by transcendentalduncan
Action required transcendentalduncan:main
transcendentalduncan:main
Action required
Add building of installers Idris2 and External Libs #2300: Pull request #3857 opened by transcendentalduncan
Action required transcendentalduncan:main
transcendentalduncan:main
Action required
[docs] Clarify type declaration requirements for non-Type parameter… Sphinx #6036: Pull request #3856 opened by tangclfs
38s tangclfs:interfaces-docs
tangclfs:interfaces-docs
38s