Skip to content

Actions: pallene-lang/pallene

Actions

Github Actions CI

Actions

Loading...

Show workflow options

Create status badge

60 workflow runs
60 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

Include variable verifications in checking
Github Actions CI #455: Pull request #571 synchronize by bjornbm
April 5, 2023 21:06 51s bjornbm:allchecks
April 5, 2023 21:06 51s
Include variable verifications in checking
Github Actions CI #454: Pull request #571 synchronize by bjornbm
April 5, 2023 21:02 52s bjornbm:allchecks
April 5, 2023 21:02 52s
Include variable verifications in checking
Github Actions CI #453: Pull request #571 synchronize by bjornbm
April 5, 2023 20:28 1m 5s bjornbm:allchecks
April 5, 2023 20:28 1m 5s
Include variable verifications in checking
Github Actions CI #452: Pull request #571 synchronize by bjornbm
April 5, 2023 19:54 1m 2s bjornbm:allchecks
April 5, 2023 19:54 1m 2s
Include variable verifications in checking
Github Actions CI #451: Pull request #571 opened by bjornbm
April 5, 2023 18:13 51s bjornbm:allchecks
April 5, 2023 18:13 51s
Merge pull request #566 from pallene-lang/only-check
Github Actions CI #450: Commit 4b333a8 pushed by hugomg
April 4, 2023 02:23 50s master
April 4, 2023 02:23 50s
Add a type-checking command line flag
Github Actions CI #449: Pull request #566 synchronize by hugomg
April 4, 2023 02:21 1m 2s only-check
April 4, 2023 02:21 1m 2s
Merge pull request #570 from alurm/patch-2
Github Actions CI #448: Commit 2844066 pushed by hugomg
April 4, 2023 02:20 1m 4s master
April 4, 2023 02:20 1m 4s
Manual: sum_list example: remove unnecessary “do”
Github Actions CI #447: Pull request #570 synchronize by alurm
March 30, 2023 19:56 1m 1s alurm:patch-2
March 30, 2023 19:56 1m 1s
Merge pull request #569 from bjornbm/patch-4
Github Actions CI #446: Commit 7086af1 pushed by hugomg
March 30, 2023 04:53 1m 2s master
March 30, 2023 04:53 1m 2s