Skip to content

Actions: plfa/plfa.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
533 workflow runs
533 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pip in /. - Update #856063054 Dependabot Updates #1: by dependabot bot
July 15, 2024 19:22 51s
July 15, 2024 19:22 51s
pages build and deployment pages-build-deployment #290: by github-pages bot
July 14, 2024 10:34 42s
July 14, 2024 10:34 42s
fix sub-abs in summary of the sigma algebra (#1014) CI #777: Commit d2f70f4 pushed by github-merge-queue bot
July 14, 2024 10:08 25m 33s dev
dev
July 14, 2024 10:08 25m 33s
CI CI #776: Merge group checks requested
July 14, 2024 09:44 23m 47s
July 14, 2024 09:44 23m 47s
fix sub-abs in summary of the sigma algebra CI #775: Pull request #1014 opened by jsiek
July 14, 2024 01:41 25m 13s fix-sub-abs
fix-sub-abs
July 14, 2024 01:41 25m 13s
pages build and deployment pages-build-deployment #289: by github-pages bot
July 9, 2024 00:59 39s
July 9, 2024 00:59 39s
Bump JamesIves/github-pages-deploy-action from 4.6.1 to 4.6.3 (#1012) CI #774: Commit d6468f7 pushed by github-merge-queue bot
July 9, 2024 00:13 52m 16s dev
dev
July 9, 2024 00:13 52m 16s
CI CI #773: Merge group checks requested
July 8, 2024 23:28 44m 40s
July 8, 2024 23:28 44m 40s
Bump JamesIves/github-pages-deploy-action from 4.6.1 to 4.6.3 CI #772: Pull request #1012 opened by dependabot bot
July 8, 2024 19:54 46m 1s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.3
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.6.3
July 8, 2024 19:54 46m 1s
pages build and deployment pages-build-deployment #288: by github-pages bot
June 25, 2024 02:20 45s
June 25, 2024 02:20 45s
Bump sass from 1.77.5 to 1.77.6 (#1011) CI #771: Commit 74fc937 pushed by github-merge-queue bot
June 25, 2024 01:46 33m 45s dev
dev
June 25, 2024 01:46 33m 45s
CI CI #770: Merge group checks requested
June 25, 2024 01:14 31m 44s
June 25, 2024 01:14 31m 44s
Bump sass from 1.77.5 to 1.77.6 CI #769: Pull request #1011 opened by dependabot bot
June 24, 2024 19:33 33m 50s dependabot/npm_and_yarn/sass-1.77.6
dependabot/npm_and_yarn/sass-1.77.6
June 24, 2024 19:33 33m 50s
pages build and deployment pages-build-deployment #287: by github-pages bot
June 18, 2024 13:14 43s
June 18, 2024 13:14 43s
pages build and deployment pages-build-deployment #286: by github-pages bot
June 18, 2024 12:54 37s
June 18, 2024 12:54 37s
Bump braces from 3.0.2 to 3.0.3 (#1009) CI #768: Commit 2456d65 pushed by github-merge-queue bot
June 18, 2024 12:47 26m 45s dev
dev
June 18, 2024 12:47 26m 45s
Bump ws, engine.io-client and socket.io (#1010) CI #767: Commit 0df9c8b pushed by github-merge-queue bot
June 18, 2024 12:29 25m 48s dev
dev
June 18, 2024 12:29 25m 48s
CI CI #766: Merge group checks requested
June 18, 2024 12:03 43m 21s
June 18, 2024 12:03 43m 21s
CI CI #765: Merge group checks requested
June 18, 2024 12:03 25m 28s
June 18, 2024 12:03 25m 28s
pages build and deployment pages-build-deployment #285: by github-pages bot
June 18, 2024 11:05 37s
June 18, 2024 11:05 37s
Bump ws, engine.io-client and socket.io CI #764: Pull request #1010 opened by dependabot bot
June 18, 2024 10:39 47m 12s dependabot/npm_and_yarn/multi-5a796cd6e7
dependabot/npm_and_yarn/multi-5a796cd6e7
June 18, 2024 10:39 47m 12s
Bump braces from 3.0.2 to 3.0.3 CI #763: Pull request #1009 opened by dependabot bot
June 18, 2024 10:39 43m 24s dependabot/npm_and_yarn/braces-3.0.3
dependabot/npm_and_yarn/braces-3.0.3
June 18, 2024 10:39 43m 24s
Bump sass from 1.77.4 to 1.77.5 (#1007) CI #762: Commit 34347d6 pushed by github-merge-queue bot
June 18, 2024 10:39 26m 2s dev
dev
June 18, 2024 10:39 26m 2s
CI CI #761: Merge group checks requested
June 18, 2024 09:56 42m 24s
June 18, 2024 09:56 42m 24s
Update introduction to Relations.lagda.md CI #760: Pull request #1008 opened by DavidPratten
June 18, 2024 09:42 25m 22s DavidPratten:patch-3
DavidPratten:patch-3
June 18, 2024 09:42 25m 22s