Skip to content

Actions: IntersectMBO/formal-ledger-specifications

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,737 workflow runs
2,737 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add agda-fls backend to generate VV in html output CI #19: Pull request #794 synchronize by carlostome
June 4, 2025 14:58 35m 12s carlos-agda-fls-backend
carlos-agda-fls-backend
June 4, 2025 14:58 35m 12s
Add agda-fls backend to generate VV in html output Shellcheck #438: Pull request #794 synchronize by carlostome
June 4, 2025 14:58 48s carlos-agda-fls-backend
carlos-agda-fls-backend
June 4, 2025 14:58 48s
Add agda-fls backend to generate VV in html output CI #18: Pull request #794 synchronize by carlostome
June 4, 2025 14:05 11m 42s carlos-agda-fls-backend
carlos-agda-fls-backend
June 4, 2025 14:05 11m 42s
Add agda-fls backend to generate VV in html output Shellcheck #437: Pull request #794 synchronize by carlostome
June 4, 2025 14:05 50s carlos-agda-fls-backend
carlos-agda-fls-backend
June 4, 2025 14:05 50s
Add agda-fls backend to generate VV in html output Shellcheck #436: Pull request #794 synchronize by carlostome
June 4, 2025 13:32 45s carlos-agda-fls-backend
carlos-agda-fls-backend
June 4, 2025 13:32 45s
Add agda-fls backend to generate VV in html output CI #17: Pull request #794 synchronize by carlostome
June 4, 2025 13:32 13m 38s carlos-agda-fls-backend
carlos-agda-fls-backend
June 4, 2025 13:32 13m 38s
Add agda-fls backend to generate VV in html output CI #16: Pull request #794 synchronize by carlostome
June 4, 2025 13:31 14m 36s carlos-agda-fls-backend
carlos-agda-fls-backend
June 4, 2025 13:31 14m 36s
Add agda-fls backend to generate VV in html output Shellcheck #435: Pull request #794 synchronize by carlostome
June 4, 2025 13:31 42s carlos-agda-fls-backend
carlos-agda-fls-backend
June 4, 2025 13:31 42s
Add agda-fls backend to generate VV in html output CI #15: Pull request #794 synchronize by carlostome
June 4, 2025 13:29 16m 23s carlos-agda-fls-backend
carlos-agda-fls-backend
June 4, 2025 13:29 16m 23s
Add agda-fls backend to generate VV in html output Shellcheck #434: Pull request #794 synchronize by carlostome
June 4, 2025 13:29 44s carlos-agda-fls-backend
carlos-agda-fls-backend
June 4, 2025 13:29 44s
Add agda-fls backend to generate VV in html output Shellcheck #433: Pull request #794 synchronize by carlostome
June 4, 2025 13:19 44s carlos-agda-fls-backend
carlos-agda-fls-backend
June 4, 2025 13:19 44s
Add agda-fls backend to generate VV in html output CI #14: Pull request #794 synchronize by carlostome
June 4, 2025 13:19 2m 34s carlos-agda-fls-backend
carlos-agda-fls-backend
June 4, 2025 13:19 2m 34s
Add agda-fls backend to generate VV in html output CI #13: Pull request #794 synchronize by carlostome
June 4, 2025 13:17 2m 25s carlos-agda-fls-backend
carlos-agda-fls-backend
June 4, 2025 13:17 2m 25s
Add agda-fls backend to generate VV in html output Shellcheck #432: Pull request #794 synchronize by carlostome
June 4, 2025 13:17 43s carlos-agda-fls-backend
carlos-agda-fls-backend
June 4, 2025 13:17 43s
Add agda-fls backend to generate VV in html output CI #12: Pull request #794 synchronize by carlostome
June 4, 2025 13:10 12m 45s carlos-agda-fls-backend
carlos-agda-fls-backend
June 4, 2025 13:10 12m 45s
Add agda-fls backend to generate VV in html output Shellcheck #431: Pull request #794 synchronize by carlostome
June 4, 2025 13:10 48s carlos-agda-fls-backend
carlos-agda-fls-backend
June 4, 2025 13:10 48s
Add agda-fls backend to generate VV in html output Shellcheck #430: Pull request #794 synchronize by carlostome
June 4, 2025 13:07 48s carlos-agda-fls-backend
carlos-agda-fls-backend
June 4, 2025 13:07 48s
Add agda-fls backend to generate VV in html output CI #11: Pull request #794 synchronize by carlostome
June 4, 2025 13:07 12m 59s carlos-agda-fls-backend
carlos-agda-fls-backend
June 4, 2025 13:07 12m 59s
Add agda-fls backend to generate VV in html output CI #10: Pull request #794 synchronize by carlostome
June 4, 2025 08:40 22m 12s carlos-agda-fls-backend
carlos-agda-fls-backend
June 4, 2025 08:40 22m 12s
Add agda-fls backend to generate VV in html output Shellcheck #429: Pull request #794 synchronize by carlostome
June 4, 2025 08:40 42s carlos-agda-fls-backend
carlos-agda-fls-backend
June 4, 2025 08:40 42s
Add agda-fls backend to generate VV in html output CI #9: Pull request #794 synchronize by carlostome
June 4, 2025 08:38 22m 4s carlos-agda-fls-backend
carlos-agda-fls-backend
June 4, 2025 08:38 22m 4s
Add agda-fls backend to generate VV in html output Shellcheck #428: Pull request #794 synchronize by carlostome
June 4, 2025 08:38 47s carlos-agda-fls-backend
carlos-agda-fls-backend
June 4, 2025 08:38 47s
Add agda-fls backend to generate VV in html output CI #8: Pull request #794 synchronize by carlostome
June 4, 2025 08:34 22m 1s carlos-agda-fls-backend
carlos-agda-fls-backend
June 4, 2025 08:34 22m 1s
Add agda-fls backend to generate VV in html output Shellcheck #427: Pull request #794 synchronize by carlostome
June 4, 2025 08:34 42s carlos-agda-fls-backend
carlos-agda-fls-backend
June 4, 2025 08:34 42s
Add agda-fls backend to generate VV in html output Shellcheck #426: Pull request #794 synchronize by carlostome
June 4, 2025 08:26 42s carlos-agda-fls-backend
carlos-agda-fls-backend
June 4, 2025 08:26 42s