Skip to content

Actions: serokell/tztime

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
20 workflow runs
20 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
[Chore] Update "actions/checkout" CI #105: Pull request #4 opened by rvem
December 12, 2023 11:43 16m 26s update-checkout-action
update-checkout-action
December 12, 2023 11:43 16m 26s
[Chore] Update "actions/checkout" CI #104: Commit d9801ad pushed by rvem
December 12, 2023 11:43 16m 47s update-checkout-action
update-checkout-action
December 12, 2023 11:43 16m 47s
Merge pull request #3 from serokell/diogo/v0.1.1.0 CI #103: Commit 542a7be pushed by dcastro
September 25, 2023 16:18 8m 45s v0.1.1.0
v0.1.1.0
September 25, 2023 16:18 8m 45s
Merge pull request #3 from serokell/diogo/v0.1.1.0 CI #102: Commit 542a7be pushed by dcastro
September 25, 2023 16:17 6m 2s main
main
September 25, 2023 16:17 6m 2s
v0.1.1.0 release CI #101: Pull request #3 opened by dcastro
September 25, 2023 15:55 20m 48s diogo/v0.1.1.0
diogo/v0.1.1.0
September 25, 2023 15:55 20m 48s
v0.1.1.0 release CI #100: Commit f855b45 pushed by dcastro
September 25, 2023 15:54 19m 50s diogo/v0.1.1.0
diogo/v0.1.1.0
September 25, 2023 15:54 19m 50s
Merge pull request #2 from serokell/diogo/OverloadedRecordDot CI #99: Commit e6c7a1b pushed by dcastro
September 25, 2023 15:39 22m 10s main
main
September 25, 2023 15:39 22m 10s
Improve support for OverloadedRecordDot CI #98: Pull request #2 opened by dcastro
September 25, 2023 15:13 21m 52s diogo/OverloadedRecordDot
diogo/OverloadedRecordDot
September 25, 2023 15:13 21m 52s
Add support for OverloadedRecordDot CI #97: Commit df7b7da pushed by dcastro
September 25, 2023 15:12 8m 43s diogo/OverloadedRecordDot
diogo/OverloadedRecordDot
September 25, 2023 15:12 8m 43s
fixup! Upgrade to GHC 9.2.8 CI #96: Commit 3a159f1 pushed by dcastro
September 25, 2023 11:25 19m 59s diogo/OverloadedRecordDot
diogo/OverloadedRecordDot
September 25, 2023 11:25 19m 59s
fixup! Upgrade to GHC 9.2.8 CI #95: Commit d692097 pushed by dcastro
September 25, 2023 11:16 9m 8s diogo/OverloadedRecordDot
diogo/OverloadedRecordDot
September 25, 2023 11:16 9m 8s
fixup! Test with GHC 9.4.7 CI #94: Commit d8d7c2b pushed by dcastro
September 25, 2023 10:43 13m 54s diogo/OverloadedRecordDot
diogo/OverloadedRecordDot
September 25, 2023 10:43 13m 54s
fixup! Test with GHC 9.4.7 CI #93: Commit b031273 pushed by dcastro
September 25, 2023 10:41 13m 25s diogo/OverloadedRecordDot
diogo/OverloadedRecordDot
September 25, 2023 10:41 13m 25s
fixup! Test with GHC 9.4.7 CI #92: Commit c4d5946 pushed by dcastro
September 25, 2023 10:11 17s diogo/OverloadedRecordDot
diogo/OverloadedRecordDot
September 25, 2023 10:11 17s
fixup! Test with GHC 9.4.7 CI #91: Commit 9323415 pushed by dcastro
September 25, 2023 09:51 7m 23s diogo/OverloadedRecordDot
diogo/OverloadedRecordDot
September 25, 2023 09:51 7m 23s
Test with GHC 9.4.7 CI #90: Commit 1af3be8 pushed by dcastro
September 22, 2023 16:52 13m 51s diogo/OverloadedRecordDot
diogo/OverloadedRecordDot
September 22, 2023 16:52 13m 51s
Tested with GHC 9.4.7 CI #89: Commit 421e1a3 pushed by dcastro
September 22, 2023 16:44 14m 21s diogo/OverloadedRecordDot
diogo/OverloadedRecordDot
September 22, 2023 16:44 14m 21s
fixup! Add support for OverloadedRecordDot CI #88: Commit 315b02f pushed by dcastro
September 22, 2023 16:40 9m 29s diogo/OverloadedRecordDot
diogo/OverloadedRecordDot
September 22, 2023 16:40 9m 29s
Add support for OverloadedRecordDot CI #87: Commit 1eccd12 pushed by dcastro
September 22, 2023 12:09 2m 35s diogo/OverloadedRecordDot
diogo/OverloadedRecordDot
September 22, 2023 12:09 2m 35s
Upgrade to GHC 9.2.8 CI #86: Commit 78a7817 pushed by dcastro
September 22, 2023 11:46 19m 52s diogo/OverloadedRecordDot
diogo/OverloadedRecordDot
September 22, 2023 11:46 19m 52s