Skip to content

Actions: frex-project/idris-frex

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
26 workflow runs
26 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ compat ] Be agnosting to the real implementation of NonZero Ubuntu #362: Commit 7fec3e1 pushed by gallais
November 27, 2024 08:30 11m 7s main
main
November 27, 2024 08:30 11m 7s
[ compat ] Be agnostic to the real implementation of NonZero Ubuntu #361: Pull request #75 synchronize by buzden
October 30, 2024 09:33 11m 31s buzden:use-issucc
buzden:use-issucc
October 30, 2024 09:33 11m 31s
[ compat ] Be agnostic to the real implementation of NonZero Ubuntu #360: Pull request #75 synchronize by buzden
October 30, 2024 09:11 9m 0s buzden:use-issucc
buzden:use-issucc
October 30, 2024 09:11 9m 0s
[ compat ] Be agnostic to the real implementation of NonZero Ubuntu #359: Pull request #75 opened by buzden
October 30, 2024 08:59 9m 11s buzden:use-issucc
buzden:use-issucc
October 30, 2024 08:59 9m 11s
pages build and deployment pages-build-deployment #9: by github-pages bot
October 8, 2024 08:35 42s gh-pages
gh-pages
October 8, 2024 08:35 42s
[ fix ] Fix coverage issue (#74) Ubuntu #358: Commit 213e508 pushed by gallais
October 8, 2024 08:27 10m 34s main
main
October 8, 2024 08:27 10m 34s
[ fix ] Fix coverage issue Ubuntu #357: Pull request #74 synchronize by dunhamsteve
October 8, 2024 03:27 10m 45s dunhamsteve:coverage-issue
dunhamsteve:coverage-issue
October 8, 2024 03:27 10m 45s
add missing exports to fixity declarations (#72) Ubuntu #355: Commit 7bffa5c pushed by gallais
April 3, 2024 14:05 1m 47s main
main
April 3, 2024 14:05 1m 47s
add missing exports to fixity declarations Ubuntu #354: Pull request #72 synchronize by gallais
April 3, 2024 14:02 1m 47s andrevidela:fixity-again
andrevidela:fixity-again
April 3, 2024 14:02 1m 47s
add missing exports to fixity declarations Ubuntu #353: Pull request #72 synchronize by gallais
April 3, 2024 13:59 1m 35s andrevidela:fixity-again
andrevidela:fixity-again
April 3, 2024 13:59 1m 35s
add missing exports to fixity declarations Ubuntu #352: Pull request #72 synchronize by gallais
April 3, 2024 13:57 1m 42s andrevidela:fixity-again
andrevidela:fixity-again
April 3, 2024 13:57 1m 42s
add missing exports to fixity declarations Ubuntu #351: Pull request #72 synchronize by andrevidela
April 1, 2024 17:59 1m 36s andrevidela:fixity-again
andrevidela:fixity-again
April 1, 2024 17:59 1m 36s
add missing exports to fixity declarations Ubuntu #350: Pull request #72 synchronize by andrevidela
April 1, 2024 17:40 1m 35s andrevidela:fixity-again
andrevidela:fixity-again
April 1, 2024 17:40 1m 35s
Fix spelling of Nathan's name in the ipkg file. (#73) Ubuntu #349: Commit 9d0d223 pushed by yallop
March 31, 2024 23:59 1m 46s main
main
March 31, 2024 23:59 1m 46s
Fix spelling of Nathan's name in the ipkg file. Ubuntu #348: Pull request #73 opened by yallop
March 31, 2024 23:59 1m 38s yallop:corbyn
yallop:corbyn
March 31, 2024 23:59 1m 38s
add missing exports to fixity declarations Ubuntu #347: Pull request #72 opened by andrevidela
March 31, 2024 14:19 1m 31s andrevidela:fixity-again
andrevidela:fixity-again
March 31, 2024 14:19 1m 31s
export fixity declarations (#71) Ubuntu #346: Commit a8b668e pushed by ohad
March 31, 2024 13:04 8m 55s main
main
March 31, 2024 13:04 8m 55s
export fixity declarations Ubuntu #345: Pull request #71 synchronize by andrevidela
March 30, 2024 01:57 9m 27s andrevidela:fixity-update
andrevidela:fixity-update
March 30, 2024 01:57 9m 27s
pages build and deployment pages-build-deployment #8: by github-pages bot
March 20, 2024 09:29 45s gh-pages
gh-pages
March 20, 2024 09:29 45s
switch CI back to upstream Idris project Ubuntu #343: Commit 0bb1d1c pushed by gallais
March 20, 2024 09:21 8m 53s main
main
March 20, 2024 09:21 8m 53s
switch CI back to upstream Idris project Ubuntu #342: Pull request #70 opened by mattpolzin
March 19, 2024 13:24 8m 47s mattpolzin:back-to-main-idris
mattpolzin:back-to-main-idris
March 19, 2024 13:24 8m 47s
pages build and deployment pages-build-deployment #7: by github-pages bot
March 19, 2024 08:13 40s gh-pages
gh-pages
March 19, 2024 08:13 40s
Use Data.Vect.Quantifiers.All from base instead of Data.HVect from co… Ubuntu #341: Commit bdf8afe pushed by gallais
March 19, 2024 08:04 9m 11s main
main
March 19, 2024 08:04 9m 11s
Use Data.Vect.Quantifiers.All from base instead of Data.HVect from contrib. Ubuntu #340: Pull request #69 synchronize by ohad
March 16, 2024 20:08 8m 59s mattpolzin:hvect-from-base
mattpolzin:hvect-from-base
March 16, 2024 20:08 8m 59s
Use Data.Vect.Quantifiers.All from base instead of Data.HVect from contrib. Ubuntu #338: Pull request #69 synchronize by mattpolzin
February 15, 2024 16:49 37s mattpolzin:hvect-from-base
mattpolzin:hvect-from-base
February 15, 2024 16:49 37s